namin

7 ms·

31.
Show HN: LLM Verified with Monte Carlo Tree Search(github.com)
102 points by namin 3y ago|15 comments
32.
Edited Works of Locke(earlymoderntexts.com)
3 points by namin 4y ago|0 comments
33.
Show HN: Turn GitHub repos into tutorials with code that can be edited and run(io.livecode.ch)
4 points by namin 4y ago|1 comments
34.
Understanding Machine Learning: From Theory to Algorithms (Downloadable Book)(cs.huji.ac.il)
80 points by namin 7y ago|3 comments
35.
by namin 7y ago
You can play with the software online here: http://io.livecode.ch/learn/namin/scheme-mechanics The notation chapter with live snippets is reproduced here: http://io.livecode.ch/learn/namin&#x2
36.
UCL Course on Reinforcement Learning including Videos (2015)(www0.cs.ucl.ac.uk)
2 points by namin 9y ago|0 comments
37.
Defining Intelligence (Stuart Russell)(edge.org)
2 points by namin 10y ago|0 comments
38.
by namin 10y ago
What browsers are you using? Can you file an issue? Thanks.
39.
by namin 10y ago
Apart the character of physical laws and the easy pieces, what's the gateway book to understand feynann more advanced work?
40.
interactive programming tutorials, powered by GitHub and Docker(io.livecode.ch)
7 points by namin 11y ago|0 comments
41.
Verified Programming in F*: A Tutorial(fstar-lang.org)
95 points by namin 11y ago|28 comments
42.
by namin 12y ago
The challenge they envision to address reminds me of a section in Bret Victor's talk, The Future of Programming. "[13:54] So, say you’ve got this network of computers, and you’ve got some program out here that was written by someb
43.
Can the Crowd Solve Medical Mysteries?(pbs.org)
29 points by namin 12y ago|2 comments
44.
by namin 12y ago
I liked the Vagrant env but I don't see it mentioned as an option here: https://docs.docker.com/installation/#installation Are there any up-to-date installation instructions for the Vagrant env?
45.
The Intelligent Plant(newyorker.com)
1 points by namin 12y ago|0 comments
46.
Listing of Turing lectures(amturing.acm.org)
3 points by namin 12y ago|0 comments
47.
by namin 12y ago
Quantum Computing since Democritus http://www.scottaaronson.com/democritus/
48.
Debunking AI Doomsday Scenarios(ieet.org)
5 points by namin 12y ago|0 comments
49.
by namin 12y ago
How I cancelled my phone plan in <1 minute. Me: I would like to cancel my plan. Rep: Why? Me: I am leaving the country. Rep: Congratulations! Your plan is cancelled. Best wishes. Me: Thank you!
50.
David Nolen – The Functional Final Frontier (Video)(youtube.com)
6 points by namin 13y ago|0 comments
51.
by namin 13y ago
Revised the game above: http://www.puzzlescript.net/play.html?p=6857334
52.
by namin 13y ago
And here's another game: http://www.puzzlescript.net/play.html?p=6854805
53.
by namin 13y ago
Very inspiring and fun. I just create a clone of lunar lockout: http://www.puzzlescript.net/play.html?p=6853173
54.
Racket is ...(ccs.neu.edu)
4 points by namin 13y ago|0 comments
55.
Computer Systems Lab Assignments for Self-Study(csapp.cs.cmu.edu)
2 points by namin 13y ago|0 comments
56.
by namin 14y ago
http://www.infoq.com/presentations/miniKanren miniKanren is an embedding of logic programming in Scheme. In this interactive presentation, William E. Byrd and Dan Friedman introduce miniKanren, from the basic building blocks to the method
57.
Functional Differential Geometry(groups.csail.mit.edu)
2 points by namin 14y ago|0 comments
58.
by namin 14y ago
Does anybody know what tool he is using to make the little demo samples with the play button?
59.
Amb: A Redex Tutorial(docs.racket-lang.org)
26 points by namin 14y ago|3 comments
60.
IOIO -- connect electronic circuits to Android device(github.com)
1 points by namin 14y ago|0 comments

More ›