fanf2

11 ms·

211.
QuickHeap: A Fast Priority Queue(curiouscoding.nl)
3 points by fanf2 6mo ago|0 comments
212.
What went into the machine and what came out: single-line fonts and engraving(205.tf)
2 points by fanf2 6mo ago|0 comments
213.
Servers with Personality(caolan.uk)
3 points by fanf2 6mo ago|0 comments
214.
Screw You Realtek(growse.com)
4 points by fanf2 6mo ago|1 comments
215.
A grounded conceptual model for ownership types in Rust(dl.acm.org)
4 points by fanf2 6mo ago|0 comments
216.
Rust clippy config should be stricter(emschwartz.me)
2 points by fanf2 6mo ago|0 comments
217.
Specialization in Stable Rust(goldstein.lol)
2 points by fanf2 6mo ago|0 comments
218.
Cross-site scripting vulnerabilities lead to a RIPE NCC RPKI exploit chain(mxsasha.eu)
2 points by fanf2 6mo ago|0 comments
219.
Terry Pratchett's Discworld, by those who knew him(inews.co.uk)
2 points by fanf2 6mo ago|0 comments
220.
X.400 Addresses Are Ugly(alvestrand.no)
3 points by fanf2 6mo ago|1 comments
221.
Height hunt: a quest to find and visit every possible low bridge / height restri(adamtownsend.com)
2 points by fanf2 6mo ago|0 comments
222.
Is Email Confidential in Transit Yet?(alexsci.com)
4 points by fanf2 6mo ago|0 comments
223.
From milliseconds to 26 nanoseconds: how a $20 eBay SFP module beat my NT(austinsnerdythings.com)
1 points by fanf2 6mo ago|0 comments
224.
Removing the AUICGP instruction from CHERIoT RISC V(cheriot.org)
3 points by fanf2 6mo ago|0 comments
225.
The longest train journey in the EU(jonworth.eu)
13 points by fanf2 6mo ago|1 comments
226.
Jumping into cold water can stop your heart(jorgenmelau.substack.com)
96 points by fanf2 6mo ago|37 comments
227.
Gecko: A fast GLR parser with automatic syntax error recovery(vnmakarov.github.io)
4 points by fanf2 6mo ago|0 comments
228.
Cryptographic right answers: post quantum and Rust edition(kerkour.com)
2 points by fanf2 6mo ago|1 comments
229.
An algorithmic reconstruction of normalisation by evaluation(yangzhixuan.github.io)
1 points by fanf2 6mo ago|0 comments
230.
Garbage collection and the edge of safe Rust(kyju.org)
7 points by fanf2 6mo ago|0 comments
231.
Using QUIC backscatter to infer hypergiant deployment configurations(blog.apnic.net)
3 points by fanf2 6mo ago|0 comments
232.
Performance of the Wren Programming Language(wren.io)
2 points by fanf2 6mo ago|0 comments
233.
Jujutsu / jj megamerges for fun and profit(isaaccorbrey.com)
3 points by fanf2 6mo ago|1 comments
234.
Ggsql: A SQL extension for declarative data visualisation based on the Grammar O(github.com)
2 points by fanf2 6mo ago|0 comments
235.
Plotnine: Grammar of Graphics for Python(plotnine.org)
1 points by fanf2 6mo ago|0 comments
236.
Verus is a tool for verifying the correctness of code written in Rust(verus-lang.github.io)
80 points by fanf2 6mo ago|12 comments
237.
Vega-lite: a high-level grammar of interactive graphics in JavaScript(vega.github.io)
1 points by fanf2 6mo ago|0 comments
238.
Generating random numbers using C++ standard library: the problems(codingnest.com)
5 points by fanf2 6mo ago|0 comments
239.
Running modern code on a 1960s UNIVAC computer via a RISC V emulator(farlow.dev)
5 points by fanf2 6mo ago|0 comments
240.
Practical Antiforgery in Software Design(hudlow.org)
5 points by fanf2 6mo ago|0 comments

More ›