lelf

14 ms·

91.
Write site-specific extensions to replace sites' JavaScript code(gnu.org)
56 points by lelf 6y ago|72 comments
92.
Alloy and an Adventure with Database Concurrency(blog.typeable.io)
4 points by lelf 6y ago|1 comments
93.
Microsoft Power Fx: the low-code programming language for everyone(powerapps.microsoft.com)
3 points by lelf 6y ago|0 comments
94.
Personal Digital Assistant(en.wikipedia.org)
1 points by lelf 6y ago|0 comments
95.
PureScript v0.14.0(github.com)
3 points by lelf 6y ago|0 comments
96.
Programming, Logic and Semantics Lab(pls-lab.org)
8 points by lelf 6y ago|0 comments
97.
Automated Reasoning as an Annoying Child(galois.com)
29 points by lelf 6y ago|1 comments
98.
SrClient DLL Hijacking: a Windows Server 2012 0-day that won't be patched(blog.vonahi.io)
2 points by lelf 6y ago|0 comments
99.
Rust's Runtime(blog.mgattozzi.dev)
1 points by lelf 6y ago|0 comments
100.
California bill would decriminalize psychedelics(theguardian.com)
198 points by lelf 6y ago|127 comments
101.
Mars Photo Booth(mars.nasa.gov)
113 points by lelf 6y ago|35 comments
102.
How to C-Golf (2013)(blog.merovius.de)
1 points by lelf 6y ago|0 comments
103.
Designing a RISC-V CPU, Part 1: Learning hardware design as a software engineer(mcla.ug)
2 points by lelf 6y ago|0 comments
104.
How We ”Email” Hardware to Space (2014)(medium.com)
18 points by lelf 6y ago|3 comments
105.
DOBF: A Deobfuscation Pre-Training Objective for Programming Languages(arxiv.org)
4 points by lelf 6y ago|0 comments
106.
High-performance brain-to-text communication via imagined handwriting(biorxiv.org)
5 points by lelf 6y ago|0 comments
107.
Named Tensor Notation(namedtensor.github.io)
1 points by lelf 6y ago|0 comments
108.
List of Generic and Genericized Trademarks(en.wikipedia.org)
12 points by lelf 6y ago|3 comments
109.
Linear-base makes writing Linear Haskell easy and fun(tweag.io)
97 points by lelf 6y ago|4 comments
110.
History of FreeBSD – Part 4: BSD and TCP/IP(klarasystems.com)
1 points by lelf 6y ago|0 comments
111.
Adrian Sampson's “Advanced Compilers” Made into Open-Source Online Course(cs.cornell.edu)
3 points by lelf 6y ago|0 comments
112.
State of the Common Lisp ecosystem, 2020(lisp-journey.gitlab.io)
311 points by lelf 6y ago|133 comments
113.
An Ionizing Particle from Outer Space Helped a Mario Speedrunner Save Time(thegamer.com)
3 points by lelf 6y ago|0 comments
114.
Scheme Benchmarks(ecraven.github.io)
2 points by lelf 6y ago|0 comments
115.
Automated Propositional Sequent Proofs in the Browser with Tau Prolog(philipzucker.com)
2 points by lelf 6y ago|0 comments
116.
Rethinking Sanakirja(pijul.org)
71 points by lelf 6y ago|16 comments
117.
Mt. Gox demise as told by a Bitcoin insider(bloomberg.com)
140 points by lelf 6y ago|159 comments
118.
The APL Orchard(dyalog.com)
78 points by lelf 6y ago|30 comments
119.
McCLIM – GUI toolkit for Common Lisp(common-lisp.net)
145 points by lelf 6y ago|28 comments
120.
The visitor pattern is essentially the same thing as Church encoding(haskellforall.com)
177 points by lelf 6y ago|134 comments

More ›