Hacker News
- Science and Statistics (1976) [pdf] https://www-sop.inria.fr/members/Ian.Jermyn/philosophy/writings/Boxonmaths.pdf 3 comments
- Synchronous languages http://www-sop.inria.fr/meije/rp/ROS/Tt-SM.html 19 comments
- Interactive Sketching of Urban Procedural Models http://www-sop.inria.fr/reves/Basilic/2016/NGGBB16/ 3 comments
- GAIA - Implementation of Bourbaki's Elements of Mathematics in Coq http://www-sop.inria.fr/marelle/gaia/ 3 comments math
- Anyone use scheme2js for web development? http://www-sop.inria.fr/mimosa/scheme2js/ 5 comments scheme
- "we showed that it is possible to retrieve the IP address for more than 70% of BitTorrent users on top of Tor. Moreover, once the IP address of a peer is retrieved, it is possible to link to the IP address other applications used by this peer on top of Tor." http://www-sop.inria.fr/members/arnaud.legout/projects/bluebear.html 31 comments netsec
- Compiling Scheme to JavaScript [pdf] http://www-sop.inria.fr/mimosa/personnel/florian.loitsch/scheme2js/files/icfp2006.pdf 3 comments programming
- How to compile Bigloo Scheme into JVM .class files http://www-sop.inria.fr/mimosa/fp/bigloo/doc/bigloo-24.html 3 comments programming
- Scheme2Js http://www-sop.inria.fr/mimosa/personnel/florian.loitsch/scheme2js/ 3 comments programming
Lambda the Ultimate
- FunLoft reactive, concurrent programming language http://www-sop.inria.fr/mimosa/rp/FunLoft/index.html 11 comments LtU Forum
- Fair cooperative multithreading, or: Typing termination in a higher-order concurrent imperative language http://www-sop.inria.fr/mimosa/Gerard.Boudol/#fcm 3 comments Parallel/Distributed
- Scheme2Js http://www-sop.inria.fr/mimosa/personnel/Florian.Loitsch/scheme2js/ 0 comments General
- A Theory of Distributed Objects http://www-sop.inria.fr/oasis/caromel/TDO/ 0 comments Misc Books , OOP , Parallel/Distributed
- Skribe 1.2b released http://www-sop.inria.fr/mimosa/fp/Skribe/ 19 comments DSL , Functional , Implementation
- The pi-calculus: a Theory of Mobile Processes http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/Book_pi.html 3 comments Misc-Books