HNHacker News
TopNewBestAskShowJobs

fanf2

44,301 karma · joined August 9, 2010

dot@dotat.at

https://dotat.at (home page)

https://dotat.at/@/ (blog)

https://dotat.at/:/ (links)

erstwhile fanf@isc.org hostmaster@cam.ac.uk postmaster@cam.ac.uk fanf@exim.org fanf@apache.org

submissionscomments

SIMD within a bignum in pure Python

da.vidbuchanan.co.uk·2 pts·fanf2·
0

Unicode variation selector 15 and text vs. emoji presentation styles

benjaminwil.info·2 pts·fanf2·
0

Are emoji allowed in XMPP addresses?

op-co.de·2 pts·fanf2·
0

Hardening Rust Code for Production

corrode.dev·2 pts·fanf2·
0

Rewriting the Futhark Type Checker

futhark-lang.org·7 pts·fanf2·
1

Tech ain't that deep – and that's a problem

deadsimpletech.com·1 pts·fanf2·
0

Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code [pdf]

drops.dagstuhl.de·2 pts·fanf2·
0

Qalculate Time Hacks

chiark.greenend.org.uk·1 pts·fanf2·
0

Qalculate Hacks

anarc.at·2 pts·fanf2·
0

Inkwell: It's a New Kind of Wrapper for Exposing LLVM in Safe Rust

github.com·1 pts·fanf2·
0

An overview of language features and implementation tasks that contribute toward

ghc.serokell.io·2 pts·fanf2·
0

Native Inotify in FreeBSD

klarasystems.com·3 pts·fanf2·
1

6× faster batched binary search in Rust

pythonspeed.com·2 pts·fanf2·
1

Reaction: A daemon that scans program outputs for repeated patterns, and takes a

framagit.org·4 pts·fanf2·
0

Digital show and tell: how digital audio signals behave in the real world

wiki.xiph.org·2 pts·fanf2·
0

Mechanized type inference for record concatenation as in Nix

haskellforall.com·3 pts·fanf2·
0

Rust service isn't leaking: when do glibc / jemalloc / mimalloc call munmap

pranitha.dev·2 pts·fanf2·
0

In-place functional programming with Koka

dl.acm.org·1 pts·fanf2·
0

CO2 helps viruses stay alive longer in the air

statnews.com·3 pts·fanf2·
0

Ditching Vagrant: VMs with KVM and Virsh on Debian

benjamintoll.com·101 pts·fanf2·
45

A floating point option shield to check for sensible C compiler configurations

gist.github.com·2 pts·fanf2·
0

Proving the fundamental theorem of arithmetic in Agda

byorgey.github.io·2 pts·fanf2·
0

Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC, or

minoki.github.io·4 pts·fanf2·
0

The Economics of Starlink and SpaceX

ispcol.potaroo.net·2 pts·fanf2·
0

An arbitrary-palette positional dithering algorithm

bisqwit.iki.fi·3 pts·fanf2·
0

Towards efficient matching of regexes with backreferences using register set aut

dl.acm.org·2 pts·fanf2·
0

Flap: A deterministic parser with fused lexing

arxiv.org·3 pts·fanf2·
0

Unfathomable bugs #10: The Broken Windows Build

algassert.com·3 pts·fanf2·
0

Question: Is matching fixed regexes with back-references in P?

branchfree.org·1 pts·fanf2·
0

Prism: An impure functional language with typed effects

stephendiehl.com·3 pts·fanf2·
0
← PreviousPage 5 of 34Next →