[Caml-list] Functional Programming @ DFINITY

[Caml-list] Functional Programming @ DFINITY

[Mark Rafferty]

[-- Attachment #1: Type: text/plain, Size: 3726 bytes --]

Fancy applying your functional skills in the world-changing
decentralization industry?

Please consider joining the team at DFINITY building the “Internet
Computer”.

Check out some sample functional maestros on the team:-

*Andreas Rossberg*

Previously a Google Staff Engineer, Andreas is co-creator of WebAssembly
<https://webassembly.org/>, and maintains the reference specification in
OCaml. WebAssembly is a fast evolving open virtual machine standard that is
already supported by all the major Web browsers and will be run by backend
processes on the Internet Computer. In earlier lives, Andreas lead the V8
language team and was a researcher in programming language semantics, type
systems, module systems and functional programming. Coding WebAssembly
systems is the next big thing!

Location: Germany

*Paul Liu*

Previously an Intel Staff Engineer, Paul is a functional programming
specialist who was previously responsible for Intel Labs’ Haskell compiler,
which unlocked new levels of performance for software running on advanced
multi-core chipsets such as the Xeon Phi. Paul has deep software
development experience and currently works on the DFINITY client. He has a
PhD from Yale where his advisor was Paul Hudak (one of the inventors of
Haskell).

Location: California

*Ben Lynn*

Previously a senior engineer at Google, Ben has numerous claims to fame.
These include being the “L” from the groundbreaking BLS cryptography
<https://en.wikipedia.org/wiki/Boneh%E2%80%93Lynn%E2%80%93Shacham> scheme
applied by a DFINITY protocol to rapidly bring massive networks to
consensus. Ben currently works on the DFINITY client, his own
implementation of a WebAssembly virtual machine written in Haskell, and
various new languages and compilers for WebAssembly also written in
Haskell. Generally speaking, he likes making cool stuff
<https://crypto.stanford.edu/~blynn/>.

Location: California

*Maciej Wos* Maciej is a programming language enthusiast with a background
in compilers, cloud computing, and financial software. He studied Computer
Science at Oxford University and Cambridge University and joined DFINITY
after three years at Fugue where he helped build Ludwig, a modular,
compiled language for infrastructure as code.

Location: Japan

*This is just a small sample of people in our fast-growing functional
engineering team, which we are seeking to double in size. You will be
working for the DFINITY Foundation, which has accumulated enormous funding
to pursue one of the most ambitious technology projects of modern times.*

Our functional code provides reference implementations for sophisticated
distributed protocols, virtual machines, compilers, cryptography and other
interesting things.

The main requirement is that you are an awesome senior engineer and care
about this field. We encourage applications from people with unusual
backgrounds (autodidacts, hackers, and all comers). We provide brilliant
salaries, benefits and incentive packages.

Please contact hiring@dfinity.org <https://www.reddit.com/>

Thanks for reading!

-- 
 *White Paper* <http://bit.ly/DFINITY_WP1>  |  *Media Kit*
<http://bit.ly/DFN_MEDKIT>  |  *Testnet* <http://bit.ly/DFN_TestNet>  |
*Twitter* <https://twitter.com/dfinity>  |  *Medium*
<https://medium.com/dfinity>  |


*Mark Rafferty*

Recruiter | DFINITY


dfinity.org

DFINITY Explainer Video <https://www.youtube.com/watch?v=kyCfGRZaDnw>

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[-- Attachment #2: Type: text/html, Size: 19121 bytes --]

[Caml-list] int of infinity = 0

[Nicolas Ratier]

Hi,

Dangerous behaviour ...

# int_of_float (infinity);;
- : int = 0
# int_of_float (neg_infinity);;
- : int = 0
# 1+int_of_float (infinity);;
- : int = 1

Nicolas



-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] int of infinity = 0

[rixed]

Note that is is also true for large floats:

utop # int_of_float 1e99;;
- : int = 0

More surprisingly:

utop # int_of_float (float_of_int max_int);;
- : int = -4611686018427387904

Marked as won't fix in this ticket from 2007 with some explanation:

https://caml.inria.fr/mantis/view.php?id=4207


-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs