fanf2

6 ms·

91.
Unicode variation selector 15 and text vs. emoji presentation styles(benjaminwil.info)
2 points by fanf2 3mo ago|0 comments
92.
Are emoji allowed in XMPP addresses?(op-co.de)
2 points by fanf2 3mo ago|0 comments
93.
Hardening Rust Code for Production(corrode.dev)
2 points by fanf2 3mo ago|0 comments
94.
Rewriting the Futhark Type Checker(futhark-lang.org)
7 points by fanf2 3mo ago|1 comments
95.
Tech ain't that deep – and that's a problem(deadsimpletech.com)
1 points by fanf2 3mo ago|0 comments
96.
Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code [pdf](drops.dagstuhl.de)
2 points by fanf2 3mo ago|0 comments
97.
Qalculate Time Hacks(chiark.greenend.org.uk)
1 points by fanf2 3mo ago|0 comments
98.
Qalculate Hacks(anarc.at)
2 points by fanf2 3mo ago|0 comments
99.
Inkwell: It's a New Kind of Wrapper for Exposing LLVM in Safe Rust(github.com)
1 points by fanf2 3mo ago|0 comments
100.
An overview of language features and implementation tasks that contribute toward(ghc.serokell.io)
2 points by fanf2 3mo ago|0 comments
101.
Native Inotify in FreeBSD(klarasystems.com)
3 points by fanf2 3mo ago|1 comments
102.
6× faster batched binary search in Rust(pythonspeed.com)
2 points by fanf2 3mo ago|1 comments
103.
Reaction: A daemon that scans program outputs for repeated patterns, and takes a(framagit.org)
4 points by fanf2 3mo ago|0 comments
104.
Digital show and tell: how digital audio signals behave in the real world(wiki.xiph.org)
2 points by fanf2 3mo ago|0 comments
105.
Mechanized type inference for record concatenation as in Nix(haskellforall.com)
3 points by fanf2 3mo ago|0 comments
106.
Rust service isn't leaking: when do glibc / jemalloc / mimalloc call munmap(pranitha.dev)
2 points by fanf2 3mo ago|0 comments
107.
In-place functional programming with Koka(dl.acm.org)
1 points by fanf2 3mo ago|0 comments
108.
CO2 helps viruses stay alive longer in the air(statnews.com)
3 points by fanf2 3mo ago|0 comments
109.
Ditching Vagrant: VMs with KVM and Virsh on Debian(benjamintoll.com)
101 points by fanf2 3mo ago|45 comments
110.
A floating point option shield to check for sensible C compiler configurations(gist.github.com)
2 points by fanf2 3mo ago|0 comments
111.
Proving the fundamental theorem of arithmetic in Agda(byorgey.github.io)
2 points by fanf2 3mo ago|0 comments
112.
Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC, or(minoki.github.io)
4 points by fanf2 3mo ago|0 comments
113.
The Economics of Starlink and SpaceX(ispcol.potaroo.net)
2 points by fanf2 3mo ago|0 comments
114.
by fanf2 3mo ago
Also NASA / Lockheed Martin https://www.nasa.gov/mission/quesst/
115.
An arbitrary-palette positional dithering algorithm(bisqwit.iki.fi)
3 points by fanf2 3mo ago|0 comments
116.
Towards efficient matching of regexes with backreferences using register set aut(dl.acm.org)
2 points by fanf2 3mo ago|0 comments
117.
Flap: A deterministic parser with fused lexing(arxiv.org)
3 points by fanf2 3mo ago|0 comments
118.
Unfathomable bugs #10: The Broken Windows Build(algassert.com)
3 points by fanf2 4mo ago|0 comments
119.
Question: Is matching fixed regexes with back-references in P?(branchfree.org)
1 points by fanf2 4mo ago|0 comments
120.
Prism: An impure functional language with typed effects(stephendiehl.com)
3 points by fanf2 4mo ago|0 comments

More ›