alokrai

21 ms·

181.
Verifpal Dramatically Speeds Up Formal Modeling for Pandemic-Tracing Protocol(blog.symbolic.software)
5 points by alokrai 7y ago|0 comments
182.
Physics of Cricket (2005)(physics.usyd.edu.au)
71 points by alokrai 7y ago|22 comments
183.
CS50’s Introduction to Artificial Intelligence with Python(cs50.harvard.edu)
5 points by alokrai 7y ago|0 comments
184.
Developing Developers(felleisen.org)
4 points by alokrai 7y ago|0 comments
185.
There's a mathematician in your compiler(humanreadablemag.com)
82 points by alokrai 7y ago|17 comments
186.
by alokrai 7y ago
It doesn't come off as snobby or even pretentious, merely facile. The author has publications in distributed systems in reputed journals, is currently researching and teaching on distributed systems, and has worked with the Scala comm
187.
A Survey of Deep Learning for Scientific Discovery(arxiv.org)
117 points by alokrai 7y ago|16 comments
188.
Learn Git Branching(learngitbranching.js.org)
4 points by alokrai 7y ago|0 comments
189.
CSS Diner(flukeout.github.io)
1 points by alokrai 7y ago|0 comments
190.
Submarine Cable Map(submarinecablemap.com)
1 points by alokrai 7y ago|0 comments
191.
Helipad: Agent-Based Modeling in Python(helipad.dev)
3 points by alokrai 7y ago|0 comments
192.
Quantum Mechanics Distilled(quantum.country)
6 points by alokrai 7y ago|0 comments
193.
Dive into Deep Learning: An interactive deep learning book(d2l.ai)
4 points by alokrai 7y ago|0 comments
194.
Deep Learning for Symbolic Mathematics(github.com)
6 points by alokrai 7y ago|0 comments
195.
Micro: A modern and intuitive terminal-based text editor(micro-editor.github.io)
5 points by alokrai 7y ago|0 comments
196.
AbstractAlgebra: Computer algebra package for Julia language(nemocas.github.io)
126 points by alokrai 7y ago|16 comments
197.
Open Source Python Game Agent Framework(serpent.ai)
2 points by alokrai 7y ago|0 comments
198.
by alokrai 7y ago
I didn't build it but found it useful!
199.
MassCode: A free and open source code snippets manager for developers(masscode.io)
49 points by alokrai 7y ago|10 comments
200.
An ultra-simplified example of a modern compiler written in JavaScript(github.com)
93 points by alokrai 7y ago|27 comments
201.
PyTorch3D: An open-source library for 3D deep learning(ai.facebook.com)
3 points by alokrai 7y ago|0 comments
202.
Harry Potter and the Methods of Rationality(hpmor.com)
3 points by alokrai 7y ago|0 comments
203.
When Dinosaurs Roamed Antarctica(bbcearth.com)
1 points by alokrai 7y ago|0 comments
204.
Workers’ Comp Benefits: How Much Is a Limb Worth?(projects.propublica.org)
1 points by alokrai 7y ago|0 comments
205.
Chinese Scientists Try to Cure One Man's HIV with Crispr(wired.com)
3 points by alokrai 7y ago|0 comments
206.
Verifpal – new software for verifying the security of cryptographic protocols(verifpal.com)
2 points by alokrai 7y ago|0 comments
207.
Biohackers are pirating a cheap version of a million-dollar gene therapy(technologyreview.com)
5 points by alokrai 7y ago|0 comments
208.
Gene-edited cattle have a major screwup in their DNA(technologyreview.com)
3 points by alokrai 7y ago|0 comments
209.
Physicists Find a Way to See the ‘Grin’ of Quantum Gravity(quantamagazine.org)
1 points by alokrai 7y ago|0 comments
210.
Artificial Intelligence: Foundations of Computational Agents, 2nd Edition(artint.info)
2 points by alokrai 7y ago|0 comments

More ›