nickmain

15 ms·

121.
by nickmain 11y ago
This caused me to investigate the native text substitution on OS X and I found it that it is actually OK for most basic needs.
122.
The Journey of Hello World Through the Haxe Compiler(haxe.org)
2 points by nickmain 11y ago|0 comments
123.
by nickmain 11y ago
Previous discussion about the paper: https://news.ycombinator.com/item?id=11358471
124.
A Python implementation for Racket(github.com)
3 points by nickmain 11y ago|1 comments
125.
by nickmain 11y ago
The source code ? https://github.com/pedropramos/PyonR
126.
by nickmain 11y ago
All the images are 404
127.
by nickmain 11y ago
IntelliJ IDEA Community Edition has a decent Haxe plugin.
128.
Racket version 6.4 is now available(blog.racket-lang.org)
8 points by nickmain 11y ago|1 comments
129.
ZipPy – a Python 3 implementation on the JVM(bitbucket.org)
69 points by nickmain 11y ago|21 comments
130.
Swift at IBM(developer.ibm.com)
2 points by nickmain 11y ago|0 comments
131.
The Lean Theorem Prover(homotopytypetheory.org)
2 points by nickmain 11y ago|0 comments
132.
Type Folding in Guile(wingolog.org)
25 points by nickmain 11y ago|1 comments
133.
by nickmain 11y ago
How does it JIT on iOS given that normal apps cannot write to executable memory ?
134.
On Beyond OWL: Challenges for Ontologies on the Web(slideshare.net)
28 points by nickmain 11y ago|0 comments
135.
Deep Learning Machine Teaches Itself Chess in 72 Hours(technologyreview.com)
1 points by nickmain 11y ago|0 comments
136.
by nickmain 11y ago
I have the book but haven't opened it yet. Can someone who has comment on whether the proof assistant is tightly integrated with Scheme or whether it might be possible to implement it in another language such as Clojure ?
137.
The Little Prover(mitpress.mit.edu)
135 points by nickmain 11y ago|20 comments
138.
by nickmain 11y ago
Haxe has a full AST available to its macros.
139.
The Racket Manifesto(ccs.neu.edu)
152 points by nickmain 12y ago|49 comments
140.
by nickmain 12y ago
https://github.com/LLK/scratch-flash
141.
Behavioral Programming(wisdom.weizmann.ac.il)
4 points by nickmain 12y ago|0 comments
142.
by nickmain 12y ago
PlantUML provides a nice front-end to dot/Graphviz: http://plantuml.sourceforge.net
143.
by nickmain 12y ago
length implies an ordered sequence.
144.
Clojure Distilled(yogthos.github.io)
168 points by nickmain 12y ago|51 comments
145.
Pyonkee (Scratch on iPad)(news.squeak.org)
1 points by nickmain 12y ago|0 comments
146.
Typographic Programming Language(joshondesign.com)
107 points by nickmain 12y ago|73 comments
147.
InterState: A Language and Environment for Expressing Interface Behavior [pdf](joelbrandt.org)
2 points by nickmain 12y ago|0 comments
148.
Single-Field Credit Card Input Pattern(bradfrostweb.com)
1 points by nickmain 12y ago|0 comments
149.
by nickmain 12y ago
Coincidentally I received a used SQLite textbook from Amazon today with this database design tucked inside. https://pbs.twimg.com/media/BsigXtOCcAAIGJh.jpg Discovering design notes in old textbooks is one of the joys o
150.
by nickmain 12y ago
Pluggable Type Systems: http://docs.oracle.com/javase/tutorial/java/annotations/type...

More ›