Bitcoin Forum
June 17, 2024, 12:31:29 AM *
News: Voting for pizza day contest
 
  Home Help Search Login Register More  
  Show Posts
Pages: « 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 [27] 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 ... 206 »
521  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 11:13:44 PM
For charities to think carefully about fundraising requests, statements and examples that are used on marketing materials, and aim not to mislead the public. Claims such as ‘£2 can buy a watering can’ need to be explained, and both how costs are arrived at and what these costs include communicated to donors. Claims that cannot be substantiated should not be made, and the language used in marketing materials should be consistent. Charities should bear in mind the impression given to donors by marketing materials and when seeking donations. For example, '£2 buys a watering can' is a much stronger statement than '£2 could buy a watering can' and charities should consider whether such statements can be delivered upon. The former statement states that a donation of £2 will buy a watering can whereas the latter suggests a watering can as an example of what £2 could buy.

It is advisable for charities to consider carefully the presentation of lists of possible donations, possible gifts and the language and design that is used, and ensure fundraising and marketing materials do not give a misleading impression. Charities should also consider whether the language used implies or suggests that a donation will be treated as a restricted fund.

It is good practice for charities to ensure appropriate sensitivity towards beneficiaries when using graphics, images or text, and to consider the potential impact on beneficiary groups and stakeholders. Charities should be able to explain why a particular stance has been taken for a marketing or campaigning appeal, and should not subject donors or potential donors to unjustifiable pressure to donate. If charities are fundraising in partnership with one or more organisations, charities must state how monies will be split between the organisations.

I CAN ASK HOW DONATIONS ARE SPENT^^^

And i will ask Wink  Is it a DONATION or INVESTMENT?

Uk your done if mess up for bad spending frauds < CHARITY FRAUD <DONATIONS ..

USA your done for not registering with the SEC  Cheesy Cheesy

Bring a safe blockchain out then all should be fine  Wink..

4 years in the making BUT feels like it was done 2 weeks ago Wink..
Yes 4 years we been at it  Cheesy..I should of known better than to believe a FRENCH DUDE <LAZY Cheesy..

38 hour no more or we smash Paris up Cheesy

NO i will never be happy Angry Cheesy Cheesy Keeps you on your toes Wink Wink
522  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 10:45:12 PM
You all bought TEZOS  so why did you by it?  was it to trade hoping to bail out for a higher price once it
hits the markets ? Of course it was  Wink..

Now if you didn't what are you wanting TEZOS to do for this token to be worth what it suppose to be worth..?

CAN SOMEONE TELL ME WHAT TEZOS CAN DO?   Please no mumbling OR coughing ..

Now if your saying it can do something ARE YOU DOING IT< As in will it be used in everyday life?..

So with 1 billion don't you think you should actually be making something TEZOS can be used for ?..

I know everyone wants no one poking their noses in peoples money matters BUT we can do this plus pay our ways for a better nice future ..

Nothing like a nice smooth road < Now because of a decentralised capital world we have POT HOLES ..

EASY TO BORROW < ICO  And not pay it back < DECENTRALISED  Wink<CRAFTY  Wink

Well if they fail they got paid <Plus holidays all around the world on ICO expense ..

This time more than any other time this time we get it right derr derr der der this time we get it right.
Little song while we wait  ^^

Are you making us wait so we will all kill ourselves?  I find people will kill the mothers for
1 BILLION DOLLARS ..<AUSTIN POWERS

When donations are made in the UK we can request to see how they been spent in case of fraud ..
I just happen to know someone who knows someone who donated to TEZOS from the UK.. Wink Cheesy

OH HOW MY FISHEES IN THE SEA WILL BE GETTING SOME MONIES.. Wink

If been bullshitted ..We in the UK don't like computer FRAUD and for a donation makes it even worse..
 
523  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 10:01:55 PM
If you want to live in a DEMOCRACY that takes laws  and to uphold the laws needs roads schools and what not   plus hospitals to look after the sick as almost everyone gets sick  Wink..

Now if you want to live in a DEMOCRACY and have these laws they cost MONIES ..
Because how many police officers army nurses  water workers will work for NOTHING ??

NOT MANY Roll Eyes..
So they need to be paid by what? CORRECT  TAXES ..<Means a centralised world Wink..

Now decentralised means paying the governments NOTHING ..
BUT when you get robbed you cry to WHO?..< A centralised body <But don't want to pay for it..

Now the best place to do this TOTAL FREEDOM is the JUNGLE because i need police and hospitals
and that takes taxes OR borrowing off the future children     then our future are in debt..

Paying more in interest than what it was worth..< the future will..

Now with some really good ideas   we can make tezos usable plus pays it's way and by paying it's way
and being safe TEZOS has every right to complain to a CENTRAL body to get someone done for THEFT..

Because why should a decentralised system be allowed in a centralised world ?
Decentralised means the JUNGLE LAWS..

Why not BOTH Centralised + decentralised ?..

The community has the power BUT if any theft we can call a centralised body to get them done because we payed our taxes ?..< we payed we have a right to use it..

No paying you have not right to the law if been ROBBED..
524  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 09:31:22 PM
You and I sell apples we make good money both are happy both trust each other BUT doesn't mean
someone nothing to do with you and i will try and steal our apples or business ..

Many ways to rob steal businesses plus monies EVEN destroying a business so your business takes over.
All the things people will do to get MONIES..

And some people thinks like kate sills who by the way now works for TEZOS Shocked Shocked..
Yep i am very shocked by her comments ..

She trust peoples Cheesy Cheesy Cheesy..Or bring out the TEZOS if everyone gets robbed SO WHAT?
Well that's what your saying kate sills ..

So what did you get before hand ?..

Like ICO they get the monies then don't give a shit just BULLSHIT mumbling and long tail and blah blah blah..And Gevers court cases By the way i think very odd ..

Get the money then bullshit everyone and we don't care because we been paid for our BULLSHIT..

Now until TEZOS is out   i will go on and on and on and on ..

NO ONE IS GETTING AWAY WITH A SCAM..
Bullshit someone else but not me please ..

Now i am not saying it's a scam i am saying what's wrong CAPTAIN KIRK< From SPOCK..
525  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 09:20:43 PM
Why Decentralised ?  Can people explain please ?..What is it your scared of?

Dilution of money? Please tell me so i can see if my logic will counter what you are saying and if not
i will shut ones face Wink..

Without TAXES how does public services get paid ? In a decentralised world  Cheesy
No no one will want to pay anything PLUS many will be thinking of ways to scam rob hack your monies
sometimes people put their whole lives into it only to be ROBBED..

Then what you want a CENTRALISED SYSTEM to help you out BUT don't want to pay the TAXES for it?

So then your government borrows off the future children which one day will be yours then your children are wondering why am i paying 1 million dollars for a 30k home ?

Well because the PRESENT wanted a decentralised system were they pay nothing and put you the future in DEBT..<<GREEDY PEOPLES..

DECENTRALISED to hide your monies <What are you scared of? Obviously the TAXMAN..

Lool, drunk revenue service officer out there, thinking loudly and from the heart.. Smiley
Seems, such people will never understand the shape, taste and supremacy of freedom, total freedom.
[/quote]
Lool, drunk revenue service officer out there,  Cheesy
Seems, such people will never understand the shape, taste and supremacy of freedom, total freedom.

OH i do understand TOTAL FREEDOM ..

Living in the jungle with pygmies< TOTAL FREEDOM ..<No government ..

Even the ROAD has laws < so deal with it.. PYGMIES LAW IS TOTAL FREEDOM ..

Yep kill next village and eat them < TOTAL FREEDOM..
 

@kate_sills
 22h22 hours ago
More
I think this is a false dichotomy - you can want to reduce the amount of bad behavior and also can want to design systems that don't break when people are terrible..

SO kate SILLS if the BANK empties your monies from your account

                                                 ^^^
you can want to reduce the amount of bad behavior and also can want to design systems that don't break when people are terrible.

So KATE SILLS   if someone empties your bank account BY YOU and your words  YOU WONT MOAN?..
Of course you would ..You be banging on the banks door crying to the police CRY CRY CRY..

So don't talk BULLSHIT..

Get a good amount of TEZZIES did you? ..If you think life is to be trusted THEN YOU ARE THICK..

526  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 07:04:42 PM
Star trek  Captain Kirk was the boss..

Who had the most LOGIC Wink Yes popcorn1 Cheesy

Now even though the captain was the boss didn't SPOCK  tell on many occasions what captain Kirk
should do?..

They even argued BUT SPOCK used LOGIC on many occasion won the argument..Not always though Wink.

Logic wins ..
Will my logic tell us will TEZOS in anyway shape or form can we be cheated ?..
Now if my logic points out we can then wouldn't it wise to change it?..
CALLED LOGIC..
527  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 06:46:29 PM
Why Decentralised ?  Can people explain please ?..What is it your scared of?

Dilution of money? Please tell me so i can see if my logic will counter what you are saying and if not
i will shut ones face Wink..

Without TAXES how does public services get paid ? In a decentralised world  Cheesy
No no one will want to pay anything PLUS many will be thinking of ways to scam rob hack your monies
sometimes people put their whole lives into it only to be ROBBED..

Then what you want a CENTRALISED SYSTEM to help you out BUT don't want to pay the TAXES for it?

So then your government borrows off the future children which one day will be yours then your children are wondering why am i paying 1 million dollars for a 30k home ?

Well because the PRESENT wanted a decentralised system were they pay nothing and put you the future in DEBT..<<GREEDY PEOPLES..

DECENTRALISED to hide your monies <What are you scared of? Obviously the TAXMAN..
528  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 06:40:44 PM
Decentralised < No law   NO police No government < MAD MAX WORLD..

Centralised < The law   The police   The government < CRY TO THE LAW IF BEEN ROBBED..

So i see TEZOS as  Centralised + decentralised  Wink..

This is interesting comparison which apply on this project in ongoing situation but in future it will be trully decentralized.
Explain how please.

If no Taxes get paid then how do you have roads to travel on to sell stuffs
Then no police to stop people from robbing your stuffs?..

You be amazed how people can come up with ideas to rob you silly..
529  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 06:08:40 PM
To the SEC i have noticed that program languages don't need to be REGISTERED ?..

Now TEZOS is a Utility token to be able to use PROGRAM LANGUAGES ..

PYTHON language is not registered with the sec BUT many use it to make money off..
JAVASCRIPT not registered
Ocaml not registered

But many companies use their LANGUAGES to make monies off..

So one could argue many things but one could say that everyone donated so people could use a type
of code language called TEZOS..

And Tezos is to be used as a utility token to be able to use TEZOS code I.E languages ..

Check for yourself..

SEC.gov | Registration Under the Securities Act of 1933
https://www.sec.gov/fast-answers/answersregis33htm.html
2 Sep 2011 - The SEC accomplishes these goals primarily by requiring that companies disclose important financial information through the registration of securities. This information enables investors, not the government, to make informed judgments about whether to purchase a company's securities. Here's an ...
530  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 05:45:16 PM
TEZOS  ^^^^MORE OF A UTILITY TOKEN ..
531  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 05:43:22 PM
Companies using OCaml
“OCaml helps us to quickly adapt to changing market conditions, and go from prototypes to production systems with less effort ... Billions of dollars of transactions flow through our systems every day, so getting it right matters.” — Jane Street

Facebook
Facebook, United States
Facebook has built a number of major development tools using OCaml. Hack is a compiler for a variant of PHP that aims to reconcile the fast development cycle of PHP with the discipline provided by static typing. Flow is a similar project that provides static type checking for Javascript. Both systems are highly responsive, parallel programs that can incorporate source code changes in real time. Pfff is a set of tools for code analysis, visualizations, and style-preserving source transformations, written in OCaml, but supporting many languages.

Docker, Inc.
Docker, United States
Docker provides an integrated technology suite that enables development and IT operations teams to build, ship, and run distributed applications anywhere. Their native applications for Mac and Windows, use OCaml code taken from the MirageOS library operating system project.

Bloomberg L.P.
Bloomberg L.P., United States
Bloomberg, the global business and financial information and news leader, gives influential decision makers a critical edge by connecting them to a dynamic network of information, people and ideas. Bloomberg employs OCaml in a advanced financial derivatives risk management application delivered through its Bloomberg Professional service.

Citrix
Citrix, United Kingdom
Citrix uses OCaml in XenServer, a world-class server virtualization system. We also offer a full open-source variant of XenServer called the Xen Cloud Platform, or XCP. Follow along with our OCaml development at github.com/xen-org. This work was originally presented by Anil Madhavapeddy at CUFP 2008. See his abstract and slides.

Aesthetic Integration
Aesthetic Integration, United Kingdom
Aesthetic Integration (AI) is a financial technology startup based in the City of London. AI's patent-pending formal verification technology is revolutionising the safety, stability and transparency of global financial markets.

Ahrefs
Ahrefs, Singapore
Ahrefs develops custom distributed petabyte-scale storage and runs an internet-wide crawler to collect the index of the whole Web. On top of that the company is building various analytical services for end-users. OCaml is the main language of the Ahrefs backend, which is currently processing up to 6 billion pages a day. Ahrefs is a multinational team with roots from Ukraine and headquarters in Singapore.

AMNH
American Museum of Natural History, United States
The Computational Sciences Department at the AMNH has been using OCaml for almost a decade in their software package POY for phylogenetic inference. See AMNH's GitHub page for more projects.

ANSSI
ANSSI, France
The ANSSI core missions are: to detect and react to cyber attacks, to prevent threats, to provide advice and support to governmental entities and operators of critical infrastructure, and to keep companies and the general public informed about information security threats. See ANSII's GitHub page for some of its OCaml software.

Ashima Group
Ashima Group, United States
Ashima Group uses OCaml for geometric reasoning, GPU shader translation, and high-performance servers. OCaml's type system, compiler, tools, community, and design philosophy make it an extremely powerful and versatile tool for diverse systems development tasks.

Be Sport
Be Sport, France
Be Sport's mission is to enhance the value that sport brings to our lives with appropriate use of digital and social media innovations. Be Sport is a 100% OCaml and OCsigen project, leveraged as the only building blocks to develop the platform.

cacaoweb
CACAOWEB, United Kingdom and Hong Kong
Cacaoweb is a developing an application platform of a new kind. It runs on top of our peer-to-peer network, which happens to be one of the largest in the world. The capabilities of the platform are diverse and range from multimedia streaming to social communication, offline storage or data synchronisation. We design and implement massively distributed data stores, programming languages, runtime systems and parallel computation frameworks.

CEA
CEA, France
CEA is a French state company, member of the OCaml Consortium. It uses OCaml mainly to develop a platform dedicated to source-code analysis of C software, called Frama-C.

CloudFounders
CloudFounders, Belgium
CloudFounders offers solutions for Data Center functionality. They use the Arakoon key/value store and have written an OCaml client for Seagate Kinetic devices. The Open vStorage Backend is also written in OCaml.

Coherent Graphics
Coherent Graphics Ltd, United Kindgom
Coherent Graphics is a developer of both server tools and desktop software for the processing of PDF documents. We use OCaml as a general-purpose high level language, chosen for its expressiveness and speed.

Cryptosense
Cryptosense, France
Based in Paris, France, Cryptosense creates security analysis software with a particular focus on cryptographic systems. A spin-off of the institute for computer science research (Inria), Cryptosense’s founders combine more than 40 years experience in research and industry. Cryptosense provides its solutions to an international clientèle in particular in the financial, industrial and government sectors.

Dassault
Dassault Systèmes, France
Dassault Systèmes, the 3DEXPERIENCE Company, provides businesses and people with virtual universes to imagine sustainable innovations.

Dernier Cri
Dernier Cri, France
Dernier Cri is a French company based in Lille and Paris using functional programming to develop web and mobile applications. OCaml is principally used to develop internal tools.

Digirati dba Hostnet
Digirati dba Hostnet, Brazil
Digirati dba Hostnet is a web hosting company. We use OCaml mostly for internal systems programming and infrastructure services. We also have contributed with the community by releasing a few open source OCaml libraries.

Digital Solutions
Digital Solutions, Uganda
General programming, with wide base and experience in Mobile Telephony programming and web application development.

Esper
Esper, United States
Esper's software assists assistants. In doing so, we save the time of executives. We want to lead the way to a more productive world with an assistant for every professional and Esper for every assistant. We envision a future without endless e-mail scheduling, without cognitive overload, and where technology serves us, not distracts us. To accomplish these goals, we're building a mobile/web suite that streamlines communication between assistants and executives, automates rote tasks, and shares information.

Our Web backend is written in OCaml and provides an API used by our own Web, Android, and iOS clients.

Esterel Technologies
Esterel Technologies, France
Esterel Technologies is a leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial and automotive domains.

Fasoo
Fasoo, Korea
Fasoo uses OCaml to develop a static analysis tool.

Flying Frog
Flying Frog Consultancy, United Kindgom
Flying Frog Consultancy Ltd. consult and write books and software on the use of OCaml in the context of scientific computing. OCaml excels in the niche of intrinsically complicated programs between large-scale, array-based programs written in languages such as HPF and small-scale, graphical programs written in languages such as Mathematica.

ForAllSecure
ForAllSecure, United States
ForAllSecure's mission is to test the world's software and provide actionable information to our customers. We have started with Linux. Our mission with Linux is to test all programs in current distributions, such as Debian, Ubuntu, and Red Hat. With time, we will cover other platforms, such as Mac, Windows, and mobile. In the mean time, we promise to do one thing well.

Framtidsforum
Framtidsforum I&M, Sweden
Framtidsforum I&M sells ExcelEverywhere, which creates web pages that look and function the same as your MS Excel spreadsheet. JavaScript is used for calculation. Supports 140 Excel-functions. Typically used for expense report, survey, order forms, reservation forms, employment application, financial advisor, ROI. There are also versions that generate ASP, ASP.NET and JSP/Java code. The compiler is written using OCaml.

Galois
Galois, United States
Galois has developed a domain specific declarative language for cryptographic algorithms. One of our research compilers is written in OCaml and makes very extensive use of camlp4.

Incubaid
Incubaid, Belgium
Incubaid has developed Arakoon, a distributed key-value store that guarantees consistency above anything else. We created Arakoon due to a lack of existing solutions fitting our requirements, and is available as Open Source software.

Issuu
Issuu, Denmark
Issuu is a digital publishing platform delivering exceptional reading experiences of magazines, catalogues, and newspapers. Each month Issuu serves over 6 billion page views and 60 million users through their worldwide network. OCaml is used as part of the server-side systems, platforms, and web applications. The backend team is relatively small and the simplicity and scalability of both systems and processes are of vital importance.

IT Planning
IT Planning, Japan
We use OCaml for some kind of enterprise systems (i.e. production control, portfolio risk management and web services).

Jane Street
Jane Street, United States
Jane Street is a quantitative proprietary trading firm that operates around the clock and around the globe. They bring a deep understanding of markets, a scientific approach, and innovative technology to bear on the problem of trading profitably in the world's highly competitive financial markets. Jane Street is perhaps the largest commercial user of OCaml, and has attracted a very strong team of functional programmers. They use OCaml for everything, from research infrastructure to trading systems to operations and accounting systems. Jane Street has over 50 OCaml programmers and over a million lines of OCaml, powering a technology platform that trades billions of dollars every day. See the GitHub page for their open source software.

LexiFi
LexiFi, France
LexiFi is an innovative provider of software applications and infrastructure technology for the capital markets industry. LexiFi Apropos is powered by an original formalism for describing financial contracts, the result of a long-term research and development effort.

Mashape
Mashape, USA
Mashape makes it easy to distribute, monetize, manage and consume cloud APIs. Mashape is building a world-class marketplace for cloud APIs driven by a passionate community of developers from all over the world as well as enterprise API management and analytics products. We use OCaml in our APIAnalytics product — as part of a mission-critical, lightweight HTTP proxy.

Wolfram MathCore
Wolfram MathCore, Sweden
Wolfram MathCore uses OCaml to implement its SystemModeler kernel. The kernel's main function is to translate models defined in the Modelica language into executable simulation code. This involves parsing and transforming Modelica code, mathematical processing of equations, code generation of C/C++ simulation code, and numerical runtime computations.

MEDIT
MEDIT, France
MEDIT develops SuMo, an advanced bioinformatic system for the analysis of protein 3D structures and the identification of drug-design targets. SuMo is written entirely in OCaml and provides interfaces to several commercial molecular-modelling packages.

MLstate
MLstate, France
MLstate is the creator of Opa: an open-source web development platform. It consists of a new programming language, a new web server, a new database and a new distributed execution engine, all of them tightly integrated to provide a great experience for web developers. Opa is concise, simple, concurrent, dynamically secure and secure out of the box. It is written mainly in OCaml and uses OCaml as an intermediate language for compilation.

Monoidics
Monoidics, United Kingdom
Monoidics develops Infer, a static analyzer for software verification. The analysis engine is entirely written in OCaml.

Mount Sinai
Mount Sinai, United States
The Hammer Lab at Mount Sinai develops and uses Ketrew for managing complex bioinformatics workflows. Ketrew includes an embedded domain-specific language to simplify the specification of workflows and an engine for the execution of workflows. Ketrew can be run as a command-line application or as a service.

Mr. Number
Mr. Number, United States
Mr. Number started as a Silicon Valley startup and developed the Mr. Number app for call blocking, later acquired by WhitePages. OCaml is used on the server side as the glue between the various third-party components and services.

MyLife
MyLife, United States
MyLife has developed a powerful people search tool that will empower those in need to find anyone, regardless of years past and the life that was built in between.

Narrow Gate Logic
Narrow Gate Logic, Poland
Narrow Gate Logic is a company using the OCaml language in business and non-business applications.

OCamlPro
OCamlPro, France
OCamlPro develops and maintains a development environment for the OCaml language. They provide services for companies deciding to use OCaml. Among these services: trainings, necessary expertises, tools and libraries long-term support, and specific developments to their applicative domains.

Park and Eaton
Park and Eaton, United States
Park and Eaton is a marketing and software consultant firm in Philadelphia. Offering a number of solutions including QA and security testing; redesigns for scalability and maintainability; and hardware options like digital signage, Park and Eaton specializes in OCaml web and desktop services.

Arena
Arena, United States
Arena helps organizations hire the right people. We do that by applying big data and predictive analytics to the hiring process. This results in less turnover for our clients and less discrimination for individuals. We use OCaml for all of our backend development.

PRUDENT Technologies
PRUDENT Technologies and Consulting, Inc., United States
Prudent Consulting offers IT solutions to large and mid-sized organizations by combining industry experience and technology expertise to help our customers achieve business goals with speed, agility and great impact.

Psellos
Psellos, United States
Psellos is a small group of computer scientists who became intrigued by the idea of coding iOS apps in OCaml. It has worked out better than we expected (you can buy our apps in the iTunes App Store), and at least one other company sells apps built with our tools. Our most recent iOS cross compiler is derived from OCaml 4.00.0.

RunOrg
RunOrg, France
RunOrg provides non-profits and organizations with a private intranet and public website using a SaaS model. The application is written entirely in OCaml for two reasons: one is performance, as OCaml generates fast binaries and supports elegant optimization patterns. The other reason is that the flexible and powerful compile-time type inference allows massive changes in the code base without causing any bugs, effectively acting as a compiler-generated unit testing suite. The software is powered by an open source in-house web framework, Ohm.

Sakhalin
Sakhalin, United States
Sakhalin develops marine charting apps for Apple iPads and iPhones. The full featured apps display marine charts, GPS and onboard sensor data, Automatic Identification System, weather data, anchor monitoring, etc. The apps have a wide range of users, from occasional recreational boaters to professional river/harbor pilots that board large freighters. They are free to download and try (with a paid upgrade to enable all features). They are written almost entirely in Ocaml with a minor amount of glue to interface with IOS API's. Ocaml was chosen because it (1) enables the rapid development of extremely reliable and high performance software, (2) is a mature stable platform, and (3) has a wide range of libraries. It was made possible by the great work done by Psellos in porting OCaml to the Apple iOS platform. Feel free to contact Sakhalin if you have any questions about using OCaml on iOS.

Shiro Games
Shiro Games, France
Shiro Games is developing games using Haxe, a language built with a compiler written in OCaml.

Skylable
Skylable, United Kingdom
Skylable's mission is to build a fast, robust and cost-effective object-storage solution for the Open-Source community and Enterprises. Skylable used OCaml for their LibreS3 product — an open source replacement for the Amazon S3 service, implementing (a subset of) the S3 REST API. It is written in a monadic style, currently using Lwt and Ocsigenserver as implementations.

Sleekersoft
Sleekersoft P/L, Australia
Specialises in functional programming software development, consultation and training.

Solvuu
Solvuu, United States
Solvuu's software allows users to store big and small data sets, share the data with collaborators, execute computationally intensive algorithms and workflows, and visualize results. Its initial focus is on genomics data, which has important implications for healthcare, agriculture, and fundamental research. Virtually all of Solvuu's software stack is implemented in OCaml.

StackHut
StackHut, United Kingdom
StackHut are working to make developers lives easier by cutting the the amount of code they write; we want developers to spend more time writing core business-logic and less time thinking about infrastructure. The core platform, toolkit, and run-time are written in OCaml, interfacing with Linux containers and also Erlang on the distributed side.

Studio Associato 4Sigma
Studio Associato 4Sigma, Italy
4Sigma is a small firm making websites and some interesting web applications. OCaml is not the main language used but it is used here and there, particularly in a small server that is a key component of a service we offer our customers.

TrustInSoft
TrustInSoft, France
TrustInSoft is a company that changes the rules in cybersecurity. TrustInSoft is the software publisher of the software analysis Frama-C platform. Our only moto is simple: make the formal methods accessible to the majority of software developers.

Vector Fabrics
Vector Fabrics, The Netherlands
Vector Fabrics is a high-tech software company, developing tools for embedded multicore programming. Its technology and expertise is getting widespread recognition in the industry as being innovative and unique in their ability to address heterogeneous multicore application-specific silicon platforms. Due to the advanced nature of its tools, Vector Fabrics operates at the forefront of the next generation of embedded platforms for diverse markets ranging from supercomputers to automotive to cell phones.
532  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 05:43:09 PM
What Is EOS? Introduction To The EOS Token | Crypto Briefing
https://cryptobriefing.com/what-is-eos-introduction-to-the-eos-token/
23 Mar 2018 - EOS is a network and platform for applications built on Ethereum that performs many of the same functions, but with much greater capacity -- up to millions of transactions per second. Our introduction to EOS explains why scalability is so important, and how the unusual ICO works.
What Is EOS? - WeUseCoins

So EOS is Ethereum BUT can handle more transactions ?

SO more people to HACK Wink  YEP the SAFE with the hole in the back will now be able to fill up more people to hack..

The winner of the crypto space is it's usability and for it to be safe to use   I.E not stolen ..

Also the inventor of EOS how many crypto currencies has he brought out?..
Any chance you can stick to the ONE and actually make them DO SOMETHING..?

Tezos if done right will be MASSIVE ..

OCaml

533  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 05:14:23 PM
Facebook registered with the SEC on this day..

Filing Detail
SEC Home » Search the Next-Generation EDGAR System » Company Search » Current Page
Form SC 13G/A - Statement of acquisition of beneficial ownership by individuals: [Amend] SEC Accession No. 0001193125-15-049853
Filing Date
2015-02-13
Accepted
2015-02-13 16:03:52
Documents
1
Document Format Files

Seq   Description   Document   Type   Size
1   SC 13G/A   d873125dsc13ga.htm   SC 13G/A   44728
    Complete submission text file   0001193125-15-049853.txt       45971
Mailing Address
1601 WILLOW ROAD
MENLO PARK CA 94025
Business Address
1601 WILLOW ROAD
MENLO PARK CA 94025
650-618-7714
Facebook Inc (Subject) CIK: 0001326801 (see all company filings)
IRS No.: 201665019 | State of Incorp.: DE | Fiscal Year End: 1231
Type: SC 13G/A | Act: 34 | File No.: 005-87272 | Film No.: 15614249
SIC: 7370 Services-Computer Programming, Data Processing, Etc.
Assistant Director 3

Mailing Address
C/O FACEBOOK, INC.
1601 WILLOW ROAD
MENLO PARK CA 94025
Business Address
Zuckerberg Mark (Filed by) CIK: 0001548760 (see all company filings)
Type: SC 13G/A

Now people INVESTED IN FACEBOOK at this time ?..

A brief history of Facebook | Technology | The Guardian
https://www.theguardian.com/technology/2007/jul/25/media.newmedia
25 Jul 2007 - In February 2004 Mr Zuckerberg launched "The facebook", as it was originally known; the name taken from the sheets of paper distributed to freshmen, profiling students and staff. Within 24 hours, 1,200 Harvard students had signed up, and after one month, over half of the undergraduate population had a ...

BONO out of U2 made many millions .  Did he give his money to mark zuckerberg as an investment?

so facebook should of filed with the SEC as soon as an investment was made with the SEC but they never did ..

All people who invent     Remember they are the sole persons we have to rely on to bring that product out for us to get a return on our investment ?..

SO NOW BITCOIN..

When bitcoin first started out WHY did people INVEST in BITCOIN?

Correct..So they could many times their investment they put in..
Now if the blockchain broke people need to rely on someone else to fix the problem
BUT bitcoin never REGISTERED with the SEC..

So to the SEC   if people give money over expecting a higher return plus the fact they need to be relying on 1 person to produce this item YOU SEC  are saying it's an investment?..

Now this must be REGISTERED with the SEC if so? ..

So every invention and those who give money to people to make it hoping for a higher return must register with the SEC..EVERY INVENTION ?..

Would it not be wise to see what it can do before you judge ?..
Like your chart in the VIDEO is it a utility toke or an investment?

Isn't everything an investment if i give money over hoping for a higher return? EVERYTHING..

Now i see TEZOS as a UTILITY TOKEN..So because of this fact it mostly will be CENTRALISED ..

534  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 04:56:44 PM
Decentralised < No law   NO police No government < MAD MAX WORLD..

Centralised < The law   The police   The government < CRY TO THE LAW IF BEEN ROBBED..

So i see TEZOS as  Centralised + decentralised  Wink..
535  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 04:09:21 PM

It’s encouraging to hear this message coming from the Chairman. The question of SEC jurisdiction over open blockchain tokens is a complicated one that we’ve been analyzing since 2015. Over the past three years Coin Center has also stressed that a continuum exists, and we’ve characterized it with respect to technical and community variables surrounding any given token project. Our analysis is based on two key questions inherent in the flexible test that demarcates SEC jurisdiction over investment contracts, the Howey test. Those two questions boil down to:

Is the token valuable primarily as an investment or as a useful item?
Is there an issuer backing up that value or is the value the result of a network of unaffiliated participants in an industry and market.

Search Results
Coin Center: Regulation of Token Sales - YouTube
Video for Coin Center: Regulation of Token Sales youtube▶ 23:16
https://www.youtube.com/watch?v=tz8t5OTc7R0
24 Oct 2017 - Uploaded by Coin Center
Slide and presentation by Peter Van Valkenburgh, Director of Research at Coin Center.

I have some QUESTIONS  Wink     About what you see as an investment or a Utility  ..Having my dinner so be back after my food  Grin Cheesy

Oh no he coming back Cheesy YES I AM Wink
536  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 04:04:09 PM
you can explain detail Tezos coin
you want ico selling but, nothing roadmap, nothing explain coin and more
how much total coin youre produce, tipe coin and more

i wait youre explain detail tezos coin
who tell op make a crowdsale for tezoscoin like you said, they just want discusss about tezos projet in future, read the thread carefully before you post
By tezos being in court it is a discussion about TEZOS future  Roll Eyes< Jeez some people.
537  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 03:35:37 PM
Ragnar Lifthrasir ⚑
‏@Ragnarly
 17h17 hours ago
More
Replying to @NickSzabo4
Maybe I'm in my bubble, but are there any other cryptocurrency / blockchain communities besides bitcoin that are filled with highly critical, skeptical, paranoid, constantly arguing people? It seems like all the ICOs and altcoins enjoy fat tail dangerous kumbayaness.

CAPTAIN we are falling off a CLIFF<<ARR fuck it let us fall <Well we don't like      cryptocurrency / blockchain communities besides bitcoin that are filled with highly critical, skeptical, paranoid, constantly arguing people? ..

NOPE JUST DON'T WANT TO FALL OFF A FUCKING CLIFF Wink Roll Eyes

Critical thinking should be WELCOMED < It stops you FALLING OFF A CLIFF Wink Wink..
538  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 13, 2018, 03:26:15 PM
Kate Sills  Twitter   she is one of the TEZOS members  Roll Eyes Roll Eyes..
 16h16 hours ago
More
I don't know the context of the quote, but I think it's wrong to assume that trustless systems will always have Wild West behavior. Just like the market allows enemies to become trading partners, trustless systems can create civility where there was none, through common interests..

Did your mother give you a handy pack when you went to school?< Mine never Cry Cry< I was jealous of those kids .
Now i was threw out on the street and guess what?    it was the Wild West behaviour < I learn't never trust anyone..

Now growing up i thought this world is very bad BUT guess what it's 100 times worse than when i was a child..
The kids where i live will shoot at each other with no thought what so ever       my days you went on the field and used your fist ..

Now we live in the REAL wild wild west..CAPITALISM < get rich or die trying< Peoples minds in this day and age..
We had SOCIALISM doctor come to visit you in your home NO MORE< the care in the COMMUNITY AS GONE Cry..

NOW WAKE UP KATE SILLS..Like having a STUPID TEACHER who knows nothing about life ..

TRUST IN ACTION..

UK High Court Orders Moolah to Hand Over Syscoin's 750 BTC
https://www.coindesk.com › Exchanges
27 Oct 2014 - Moopay LTD and ex-CEO Alex Green have been ordered by a UK court to hand over 750 BTC to the team that developed the syscoin cryptocurrency. The final injunction, issued by the High Court in London, was granted in response to a request from UK-based law firm Selachii LLP on behalf of syscoin.

British court orders Moolah to return 750 BTC to Syscoin's developers
https://99bitcoins.com › News
A High Court in London has ordered Moolah, Alex Green's allegedly insolvent exchange, to return 750 BTC to the team of developers that created a cryptocurrency called Syscoin. Moopay – Moolah's parent company – and Green, the firm's ex-CEO, were holding the money, but have been ordered to repay the full amount ...

NO we don't want government involved UNTIL YOU GET ROBBED    < 2 FACED OR WHAT..^^^^
When you get stolen of BTC    OH government help me Cheesy..

Austrian Bitcoin Scam: 10,000 Victims Lose 12,000 BTC ($115 Million)
https://www.ccn.com/austrian-bitcoin-scam-10000-victims-lose-12000-btc-115-million/
15 Feb 2018 - An alleged scam involving investments in bitcoin in Austria has reportedly affected over ten thousand investors in the country and around Europe.


KATE SILLS     STOP TALKING POO   < PLEASE ..

If 2 people are making good money then maybe you wont rob each other BUT even PARTNERS rob off each other in the end..
And the whole idea of CRYPTO is so you cannot get ROBBED..< This is suppose to be one of the things that crypto SUPPOSE to be good at..

But how many scam from devs to traders to sellers to exchanges many many SCAMS..<Much easier to rob crypto than CASH..

Crypto you can be sitting in a bed room and steal              CASH you need to make the effort by going out to steal it..

So unless it's safe then CASH will always win ..
539  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 11, 2018, 09:17:24 PM
SEC.gov | Statement on Cryptocurrencies and Initial Coin Offerings
https://www.sec.gov/news/public-statement/statement-clayton-2017-12-11
11 Dec 2017 - Investors should understand that to date no initial coin offerings have been registered with the SEC. .... digital assets, including bitcoin and other cryptocurrencies, may be structured as securities products subject to registration under the Securities Act of 1933 or the Investment Company Act of 1940.

The SEC is throwing a damper on ethereum madness - The Verge
https://www.theverge.com/.../sec-ethereum-cryptocurrency-dao-ico-bitcoin-blockchai...
27 Jul 2017 - A security is a tradable financial asset that, in the United States, is regulated by the federal government. The SEC has determined that the tokens sold in DAO's ICO meet the legal definition of a security, noting that “investors who purchased DAO Tokens were investing in a common enterprise and..

SO who ever used ETH and BTC to buy TEZOS   will be sued as well 100% <You cannot call 1 a criminal without the other being a criminal ..

Now SEC i would tell all those to back off TEZOS because your country USA done an Illegal auction and sold many thousands of btc without them being registered to TIM DRAPER ..

They wasn't registered with the SEC or no government services for legal tender ..
So your own country broke the LAW..

Now back off TEZOS or i sue the whole lot of you..

Why can i sue ? FOR BEING 2 FACED..

Now back off TEZOS and tell everyone by 2020 everyone must be REGISTERED or fines and possible jail..
You should also be SUED you sold many thousands of BITCOINS to TIM DRAPER   Illegally < they was not registered at the time and they still haven't
been registered ..

All those in the USA using them and selling them are all breaking the LAW..
So set a time BUT you cannot do TEZOS because they sold it last year when everyone was breaking the law even the buyers to the sellers..

And you USA sold many illegal BTC to TIM DRAPER ..

Now let TEZOS GO.

Now TEZOS you say it was a donation ? OK we have laws in the UK for DONATIONS < Lets just say if it don't act like a donation you will be done for
FRAUD ..I always donate to the poppy funds..So like to know if my monies are getting used what they said they was going to use them for
Because if not THEN BYE BYE ..CHARITY FRAUD  <BAD BAD BAD..

540  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tezos discussion on: April 11, 2018, 08:51:38 PM
Law suits against tezos.
USA all cryptos need to be registered or they are illegal to use ?.

So basically those peoples who sued Tezos because of the fact some say donation some say investment BUT let have the facts right and by LAW..

If i swap crack cocaine for heroin  can i sue you for telling lies about the heroin ?.

Eth is not registered btc is not registered both illegal tenders to buy anything FACT..

Example..
If i forged a 20 dollar bill and made another one without the governments say so it's fraud ?..
Now imagine i made a forged 20 dollar bill then bought a coat can i then sue you if the coat is ripped?..
OR would i also be done for forging a 20 dollar bill?..

Now lets look at crypto..
If i buy a token worth 1 dollar for 50 tokens and those tokens become worth 1 dollar each that means your 1 dollar as been forged 50x ..

Now say i pump it up myself i have basically forged 20 dollar bills no different than making forged monies <Fact it's the same..

If it's registered then yes it's all legal BUT bitcoin is not classed as a legal tender in the USA and ETH is not a legal tender in the USA so who ever used
ETH and BTC to buy TEZOS in the USA also broke the law by using counterfeit types of currencies ..

Crypto if not registered with your governments and is to be used as tender or a form of purchasing power must be registered with your governments..

No different in me saying right  I will draw a picture and photo copy it and use it as money to buy things < against the law

One i never registered it with the government so i can't use my photo copied monies to purchase anything ..

So those that are suing Tezos and used ETH and BTC you should also be sued by the LAW ..

You cannot do one without the other..

Now i want to sue those that sue TEZOS in the USA for breaking the law for using counterfeit currencies to buy counterfeit currencies ..
YEP both as bad as each other JUDGE ..They used counterfeit currencies to but counterfeit currencies ..

Remember every willy nilly can't just go out and make their own monies <crypto a form of monies..

So now the LAW must be upheld ..Sue TEZOS sue the suing parties .<<BOTH are CRIMINALS ..

You cannot swap crack for smack then complain NO CHANCE..

Can i make a 20 DOLLAR BILL? < But i can make a computer one? without it been registered to use ?

Now is ETH or BTC registered to be used as legal tender YES or NO..
So who ever used ETH or BTC to buy TEZOS   they also should be sued    fact ARRESTED ..<Used counterfeit type monies not registered with government as a legal tender   REMEMBER they bought something with it they bought TEZOS with illegal tender NOT REGISTERED ..

SWAPPING CRACK for SMACK   then sue because you don't like your SMACK Cheesy..

Pages: « 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 [27] 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 ... 206 »
Powered by MySQL Powered by PHP Powered by SMF 1.1.19 | SMF © 2006-2009, Simple Machines Valid XHTML 1.0! Valid CSS!