cju

11 ms·

61.
by cju 13y ago
A Galois project: http://smaccmpilot.org/ http://corp.galois.com/blog/2013/10/2/smaccmpilot-open-sourc...
62.
Ivory language: an eDSL for safe systems programming from Galois(smaccmpilot.org)
1 points by cju 13y ago|0 comments
63.
IEEE 2014 Conference on Norbert Wiener in the 21st Century(21stcenturywiener.org)
1 points by cju 13y ago|0 comments
64.
Schneier and the Math T-Shirt(zerodayclothing.com)
1 points by cju 13y ago|0 comments
65.
by cju 13y ago
The Embedded Muse by Jack Ganssle, a free biweekly newsletter on embedded system published since 1997. http://www.ganssle.com/tem-back.htm
66.
by cju 13y ago
«Structured Computer Organization » by Andrew S. Tanenbaum. I don't know the newer edition but the 3rd edition is the first computer book I have read and its layered approach is great (and I think, was new at that time)
67.
by cju 13y ago
To be exact, he started with the Baroque Cycle ( http://www.ericaustinlee.com/2008/10/neal-stephensons-writin... ).
68.
by cju 13y ago
A book idea : "A Little History of the World" by Ernst Gombrich, the author of "The Story of Art". The book is aimed at children ("für junge Leser" in original title) but not too much and may let him discover n
69.
by cju 13y ago
I use tarsnap[1] for my backups and I'm sure a lot of HNers also use it. It's not directly communication but the flow between my computer and the server is encrypted (and data on the server also are, of course). [1] http:/&#
70.
by cju 13y ago
IIRC it's one of the few big applications written with Mercury functional logic language.
71.
by cju 13y ago
As anyone tried it for embedded code on microcontrollers ? It looks usable for soft realtime, almost keeping speed and control of C and adding ease (and fun) of coding. GC is tunable and there are compilation options for embedded systems (
72.
3 Seconds: travel on a beam of light in this graphic novel(wired.co.uk)
1 points by cju 13y ago|0 comments
73.
by cju 13y ago
I like the idea of the unary negation. It feels natural to seasoned programmers but also to beginners according to the last paragraph.
74.
by cju 13y ago
In France most white collar workers have the "cadre" status that was originally only used for managers. It somehow means you are free to organize your work time under the condition to work a certain number of days per year (often
75.
by cju 13y ago
> There is this Haskell like language with effects based typesystem that might be worth looking at, the name continues to escape me. Disciple ? (DDC) http://disciple.ouroborus.net/
76.
by cju 13y ago
If I understand badclient correctly, the (alleged) attitude of M. Nissan towards Arabs and Israël comes from his problems with M. Ghosn. I'm just saying that if it's the case, it make no sens.
77.
by cju 13y ago
It's quite strange to see Carlos Ghosn described as an Arab. As far as I know, he has never spoke publicly about Israël. https://en.wikipedia.org/wiki/Carlos_Ghosn
78.
by cju 13y ago
> TSO (Three, Six, Zero) Already the "360" that have been used later.
79.
by cju 13y ago
A great classic: Scotland Yard http://boardgamegeek.com/boardgame/438/scotland-yard A more recent board game, also based in London but much earlier : London 1888 Beautiful board. Rules are relatively complex if I recall correctly. http:/
80.
by cju 13y ago
Also not really a board game but I really like Eleusis Express and by experience many software developers also do. The Express version is a much simpler set of rules of Eleusis: one of the player choose a rule the cards have to follow to fi
81.
by cju 13y ago
No really a board game but Werewolf (a.k.a. Mafia) is great. It's fun and simple to learn. However it depends a lot on the quality of the game organizer and the athmosphere he is able to provide. http://www.eblong.com/zarf/werewolf.html
82.
by cju 13y ago
Over an infinite summer : http://infinitesummer.org/
83.
by cju 13y ago
If you liked DFW and Borges, you may like Matt Ruff (especialy "Set this House in Order", "The Mirage" and "Fool on the Hill"). It's not as complex but the style is similar and really enjoyable.
84.
The fiction of Matt Ruff, Cult classic(economist.com)
1 points by cju 13y ago|0 comments
85.
by cju 13y ago
I like Opa ( http://opalang.org/ )
86.
by cju 13y ago
RhodeCode started as a Mercurial tool but it now also support Git. http://pythonhosted.org/RhodeCode/usage/git_support.html
87.
by cju 13y ago
A quote is missing in your URL. https://simple.wikipedia.org/wiki/List_of_Saturn%27s_moons is correct.
88.
by cju 13y ago
Did you used original French names (Tintin, Milou, Haddock, Tournesol, Dupont & Dupond) or English ones (Tintin, Snowy, Haddock, Calculus, Thomson & Thompson)?
89.
by cju 13y ago
A nice (and shorter) article from Marco Arment on Phish: http://www.marco.org/2011/05/26/geek-intro-to-phish
90.
by cju 14y ago
The Macronomicon by Michael Fogus http://blip.tv/clojure/michael-fogus-the-macronomicon-597023...

More ›