fanf2's submissions | Hacker News

1.		Removing the AUICGP instruction from CHERIoT RISC V (cheriot.org)
		2 points by fanf2 24 minutes ago \| past \| discuss
2.		The longest train journey in the EU (jonworth.eu)
		12 points by fanf2 1 day ago \| past \| 1 comment
3.		Jumping into cold water can stop your heart (jorgenmelau.substack.com)
		90 points by fanf2 1 day ago \| past \| 37 comments
4.		Gecko: A fast GLR parser with automatic syntax error recovery (vnmakarov.github.io)
		3 points by fanf2 2 days ago \| past \| discuss
5.		Cryptographic right answers: post quantum and Rust edition (kerkour.com)
		2 points by fanf2 2 days ago \| past \| discuss
6.		An algorithmic reconstruction of normalisation by evaluation (yangzhixuan.github.io)
		1 point by fanf2 3 days ago \| past \| discuss
7.		Garbage collection and the edge of safe Rust (kyju.org)
		6 points by fanf2 4 days ago \| past \| discuss
8.		Using QUIC backscatter to infer hypergiant deployment configurations (apnic.net)
		3 points by fanf2 4 days ago \| past \| discuss
9.		Performance of the Wren Programming Language (wren.io)
		2 points by fanf2 5 days ago \| past \| discuss
10.		Jujutsu / jj megamerges for fun and profit (isaaccorbrey.com)
		3 points by fanf2 5 days ago \| past \| 1 comment
11.		Ggsql: A SQL extension for declarative data visualisation based on the Grammar O (github.com/posit-dev)
		2 points by fanf2 5 days ago \| past \| discuss
12.		Plotnine: Grammar of Graphics for Python (plotnine.org)
		1 point by fanf2 5 days ago \| past \| discuss
13.		Verus is a tool for verifying the correctness of code written in Rust (verus-lang.github.io)
		80 points by fanf2 5 days ago \| past \| 12 comments
14.		Vega-lite: a high-level grammar of interactive graphics in JavaScript (vega.github.io)
		1 point by fanf2 6 days ago \| past \| discuss
15.		Generating random numbers using C++ standard library: the problems (codingnest.com)
		5 points by fanf2 7 days ago \| past \| discuss
16.		Running modern code on a 1960s UNIVAC computer via a RISC V emulator (farlow.dev)
		5 points by fanf2 7 days ago \| past \| discuss
17.		Practical Antiforgery in Software Design (hudlow.org)
		5 points by fanf2 8 days ago \| past \| discuss
18.		Fixing DNS tail latency with a 5-line config and a 50-line function (numa.rs)
		3 points by fanf2 8 days ago \| past \| discuss
19.		Let sleeping CPUs lie: S0ix (freebsdfoundation.org)
		1 point by fanf2 9 days ago \| past \| discuss
20.		Rationale for the design of the Ada programming language (acm.org)
		6 points by fanf2 10 days ago \| past \| discuss
21.		SI Units for Request Rate (2024) (entropicthoughts.com)
		85 points by fanf2 10 days ago \| past \| 66 comments
22.		Retrofitting JIT compilers into C interpreters (tratt.net)
		2 points by fanf2 10 days ago \| past \| discuss
23.		Uses for Nested Promises in JavaScript (jcoglan.com)
		1 point by fanf2 11 days ago \| past \| discuss
24.		Usand: Minimal Unshare(1)-Based Sandbox (github.com/richfelker)
		1 point by fanf2 11 days ago \| past \| discuss
25.		Rust should have stable tail calls (trifectatech.org)
		1 point by fanf2 11 days ago \| past \| discuss
26.		Leibniz on Binary [pdf] (scispace.com)
		3 points by fanf2 12 days ago \| past \| discuss
27.		Debloat Your Async Rust (tweedegolf.nl)
		2 points by fanf2 12 days ago \| past \| discuss
28.		Running Ada Lovelace's program to calculate Bernoulli numbers (enigmaticcode.wordpress.com)
		2 points by fanf2 12 days ago \| past \| discuss
29.		Gutd: eBPF WireGuard Traffic Obfuscator (github.com/sh0rch)
		3 points by fanf2 13 days ago \| past \| discuss
30.		Ronja: Optical point-to-point data link with 1.4km range and 10Mbps full duplex (twibright.com)
		1 point by fanf2 13 days ago \| past \| discuss
		More