Next >
1
Fast type class resolution with a trie (welltypedwit.ch)
6 hours ago | fanf2 | welltypedwit.ch | newest
3
Fixing the traffic jam in the science of technology safety (citizensandtech.org)
9 hours ago | fanf2 | citizensandtech.org | newest
1
Dependent types and program equivalence [pdf] (2010) (upenn.edu)
12 hours ago | fanf2 | upenn.edu | newest
1
Fend: An arbitrary-precision unit-aware calculator (github.com/printfn)
15 hours ago | fanf2 | github.com | newest
1
What's higher-order about so-called higher-order references? (williamjbowman.com)
18 hours ago | fanf2 | williamjbowman.com | newest
1
Faer: A general-purpose linear algebra library for Rust (docs.rs)
a day ago | fanf2 | docs.rs | newest
1
Rewriting the Ruby Parser (railsatscale.com)
a day ago | fanf2 | railsatscale.com | newest
1
Dependent types at work in Agda [pdf] (chalmers.se)
a day ago | fanf2 | chalmers.se | newest
1
The complexity and performance of parsing with derivatives (acm.org)
a day ago | fanf2 | acm.org | newest
2
Simulating time with square-root space (arxiv.org)
2 days ago | fanf2 | arxiv.org | newest
3
Deploying IPv6-mostly access networks (ripe.net)
2 days ago | fanf2 | ripe.net | newest
1
Boolean Blindness (existentialtype.wordpress.com)
2 days ago | fanf2 | wordpress.com | newest
25
Posit floating point numbers: thin triangles and other tricks (2019) (marc-b-reynolds.github.io)
3 days ago | fanf2 | github.io | frontpage
3
Jef Raskin: Intuitive equals familiar. (1994) (acm.org)
3 days ago | fanf2 | acm.org | newest
2
Efficient communication and collection with compact normal forms in Haskell [pdf] (ezyang.com)
3 days ago | fanf2 | ezyang.com | newest
2
Pattern matching and exhaustiveness checking algorithms implemented in Rust (github.com/yorickpeterse)
4 days ago | fanf2 | github.com | newest
2
HashChain: A family of fast factor-based sublinear exact-matching string se (github.com/nishihatapalmer)
4 days ago | fanf2 | github.com | newest
1
Eidophor: 1950's space age video projection technology. [video] (youtube.com)
4 days ago | fanf2 | youtube.com | newest
1
Triangle of power notation: exponents roots and logarithms (emory.edu)
4 days ago | fanf2 | emory.edu | newest
1
Situated Software (archive.org)
5 days ago | fanf2 | archive.org | newest
1
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict reso [pdf] (clemson.edu)
5 days ago | fanf2 | clemson.edu | newest
2
JA4: A suite of network fingerprinting standards (github.com/foxio-llc)
5 days ago | fanf2 | github.com | newest
2
Static interpretation of higher-order modules in Futhark: functional GPU program (acm.org)
5 days ago | fanf2 | acm.org | newest
1
Logarithms of algebraic data types for property-based testing (2022) (acm.org)
6 days ago | fanf2 | acm.org | newest
1
Implementing dependent types in pi-forall (2023) (arxiv.org)
6 days ago | fanf2 | arxiv.org | newest
1
What is cosh(List(Bool))? Or beyond algebra: analysis of data types (cofault.com)
6 days ago | fanf2 | cofault.com | newest
1
London Cycle Orbital: peaceful cycling at London's margins (london-cycle-orbital.org.uk)
a week ago | fanf2 | london-cycle-orbital.org.uk | newest
15
What is systems programming, really? (2018) (willcrichton.net)
a week ago | fanf2 | willcrichton.net | frontpage
3
Exploit a binary with sigreturn oriented programming (SROP) (rog3rsm1th.github.io)
a week ago | fanf2 | github.io | newest
1
Diagnosing a double-free concurrency bug in Rust's unbounded channels (materialize.com)
a week ago | fanf2 | materialize.com | newest
1
Postgres Extensions in Rust (depth-first.com)
a week ago | fanf2 | depth-first.com | newest
6
The crisis of zombie social science (forkingpaths.co)
a week ago | fanf2 | forkingpaths.co | frontpage
4
Initialization in C++ is seriously bonkers (mikelui.io)
a week ago | fanf2 | mikelui.io | newest
3
Gif320: A GIF viewer for DEC VT320 terminals (github.com/jmason)
a week ago | fanf2 | github.com | frontpage
2
Clowns to the left of me, jokers to the right - Dissecting Data Structures [pdf] (2008) (strath.ac.uk)
a week ago | fanf2 | strath.ac.uk | newest
1
Distance-based ISA for efficient register renaming (sigarch.org)
a week ago | fanf2 | sigarch.org | newest
2
Tools built on Tree-sitter's concrete syntax trees (scannedinavian.com)
a week ago | fanf2 | scannedinavian.com | newest
3
The YAML Document from Hell (ruudvanasseldonk.com)
a week ago | fanf2 | ruudvanasseldonk.com | newest
1
Ki: Wireless power for kitchen appliances. [video] (youtube.com)
a week ago | fanf2 | youtube.com | newest
2
Reservoir sampling: who discovered Algorithm R? (markkm.com)
a week ago | fanf2 | markkm.com | newest
29
EBCDIC Is Incompatible with GDPR (2021) (shkspr.mobi)
a week ago | fanf2 | shkspr.mobi | frontpage
1
How to Take the Inverse of a Type (2022) (ecoop.org)
a week ago | fanf2 | ecoop.org | newest
1
Bidirectional Typing (acm.org)
a week ago | fanf2 | acm.org | newest
2
Syntactic musings on match expressions in Rust (yoshuawuyts.com)
a week ago | fanf2 | yoshuawuyts.com | newest
50
Hokusai Moyo Gafu: an album of dyeing patterns (ndl.go.jp)
a week ago | fanf2 | ndl.go.jp | best
1
Zero-cost 'tagless initial' in Rust with GADT-style enums (inferara.com)
a week ago | fanf2 | inferara.com | newest
1
Nanowar of Steel – HelloWorld.java (github.com/nanowarofsteel)
2 weeks ago | fanf2 | github.com | newest
2
The ATS programming language: unleashing the potential of types and templates (bu.edu)
2 weeks ago | fanf2 | bu.edu | frontpage
1
A simple ray tracer written in the meson.build language (github.com/annacrombie)
2 weeks ago | fanf2 | github.com | newest
2
DejaGNU (2011) (airs.com)
2 weeks ago | fanf2 | airs.com | newest
2
Jujutsu and Magit (alarsyo.net)
2 weeks ago | fanf2 | alarsyo.net | newest
2
AA-56: an astronomical ephemeris calculator program (moshier.net)
2 weeks ago | fanf2 | moshier.net | newest
1
Roons: Modular Marble Logic (whomtech.com)
2 weeks ago | fanf2 | whomtech.com | newest
1
Silent bugs matter: a study of compiler-introduced security bugs (usenix.org)
2 weeks ago | fanf2 | usenix.org | newest
2
WASM SpecTec has been adopted (webassembly.org)
2 weeks ago | fanf2 | webassembly.org | newest
2
Implementation of Dependent Types (chalmers.se)
2 weeks ago | fanf2 | chalmers.se | newest
4
Displaying Korean Text Efficiently (oberg.org)
2 weeks ago | fanf2 | oberg.org | frontpage
1
Faster remainder by multiplication, with applications to compilers and software (arxiv.org)
2 weeks ago | fanf2 | arxiv.org | newest
2
When should a Java JIT compiler expand garbage collection barriers? (robcasloz.github.io)
2 weeks ago | fanf2 | github.io | frontpage
2
Crossness pumping station: seduced by symmetry (anthonybaines.co.uk)
2 weeks ago | fanf2 | anthonybaines.co.uk | newest
2
Skim: The implementation of functional languages using custom hardware (cam.ac.uk)
2 weeks ago | fanf2 | cam.ac.uk | frontpage
1
De Bruijn's Combinatorics (vixra.org)
2 weeks ago | fanf2 | vixra.org | newest
4
Dijkstra on Mathematical Notation [pdf] (utexas.edu)
2 weeks ago | fanf2 | utexas.edu | newest
1
Gerrit, GitButler, and Jujutsu projects collaborating on a change-id commit foot (kernel.org)
2 weeks ago | fanf2 | kernel.org | newest
4
MicroHs: Haskell implemented with combinators by Lennart Augustsson (github.com/augustss)
2 weeks ago | fanf2 | github.com | newest
2
How to write mathematics. (1973) [pdf] (washington.edu)
2 weeks ago | fanf2 | washington.edu | newest
2
Surety: The oldest blockchain has been hiding in the New York Times si (vice.com)
2 weeks ago | fanf2 | vice.com | newest
2
But can DOOM run it? Programming Satan's computer (calabi-yau.space)
2 weeks ago | fanf2 | calabi-yau.space | newest
2
10 years of stable Rust: an infrastructure story (rustfoundation.org)
2 weeks ago | fanf2 | rustfoundation.org | newest
2
Behind the scenes of Rust string formatting and format_args () (m-ou.se)
2 weeks ago | fanf2 | m-ou.se | newest
2
Dissolving the Fermi Paradox (arxiv.org)
3 weeks ago | fanf2 | arxiv.org | newest
2
A formulae-as-type notion of control: classical logic and call/cc in Scheme (acm.org)
3 weeks ago | fanf2 | acm.org | newest
2
Violating memory safety with Haskell's value restriction (welltypedwit.ch)
3 weeks ago | fanf2 | welltypedwit.ch | newest
3
Type-level bounded recursion in Rust (catgirl.ai)
3 weeks ago | fanf2 | catgirl.ai | frontpage
1
Comrak: A CommonMark and GFM compatible Markdown parser and renderer in Rust (github.com/kivikakk)
3 weeks ago | fanf2 | github.com | newest
1
Why Specs Matter (diveintomark.link)
3 weeks ago | fanf2 | diveintomark.link | newest
2
ΠΣ: Dependent Types Without the Sugar [pdf] (2010) (kosmikus.org)
3 weeks ago | fanf2 | kosmikus.org | newest
2
Build123d: A Python CAD programming library (github.com/gumyr)
3 weeks ago | fanf2 | github.com | newest
1
Lalrpop: A Parser Generator for Rust (2015) (smallcultfollowing.com)
3 weeks ago | fanf2 | smallcultfollowing.com | newest
2
How to Sync Anything (neighbourhood.ie)
3 weeks ago | fanf2 | neighbourhood.ie | newest
3
Parametric subtyping for structural parametric polymorphism (sigplan.org)
3 weeks ago | fanf2 | sigplan.org | newest
2
DIY book lamp: simple electronics meets paper craft (voltpaperscissors.com)
3 weeks ago | fanf2 | voltpaperscissors.com | newest
2
A non-uniform quasirandom number generator for games (taylorpetrick.com)
3 weeks ago | fanf2 | taylorpetrick.com | newest
1
Let's Debug figures out why you can't issue a certificate with Let's Encrypt (letsdebug.net)
3 weeks ago | fanf2 | letsdebug.net | newest
1
Squiggle: A simple programming language for intuitive probabilistic estimation (squiggle-language.com)
3 weeks ago | fanf2 | squiggle-language.com | frontpage
2
XTerm Control Sequences [pdf] (invisible-island.net)
3 weeks ago | fanf2 | invisible-island.net | frontpage
1
Facet: Type reflection, serialization, deserialization – know the shape of you (github.com/facet-rs)
3 weeks ago | fanf2 | github.com | newest
3
Specifying WASM with SpecTec (github.com/wasm-dsl)
3 weeks ago | fanf2 | github.com | newest
1
Preventing outages with pkill's new –require-handler flag (chrisdown.name)
3 weeks ago | fanf2 | chrisdown.name | newest
1
Far-UVC: germicidal ultraviolet light can inactivate a wide range of pathogens w (blueprintbiosecurity.org)
3 weeks ago | fanf2 | blueprintbiosecurity.org | newest
4
Scaling the Let's Encrypt rate limits to prepare for a billion active TLS cert (letsencrypt.org)
3 weeks ago | fanf2 | letsencrypt.org | frontpage
1
Examples of MVC for the Web (github.com/madhadron)
4 weeks ago | fanf2 | github.com | newest
2
A continuation-passing evaluation semantics for classical proofs (cornell.edu)
4 weeks ago | fanf2 | cornell.edu | newest
1
Travertine: CVE-2025-24118 safe memory reclamation race in the XNU Mac OS kernel (jprx.io)
4 weeks ago | fanf2 | jprx.io | newest
1
Venera 8 Kosmos 482 descent craft reentry forecasts (sattrackcam.blogspot.com)
4 weeks ago | fanf2 | blogspot.com | newest
1
Modular Type Classes [pdf] (cmu.edu)
4 weeks ago | fanf2 | cmu.edu | newest
3
PubSub and RPC with dynamic types in Rust (jakobmeier.ch)
4 weeks ago | fanf2 | jakobmeier.ch | frontpage
1
Programming Mantras Are Proverbs (lukeplant.me.uk)
4 weeks ago | fanf2 | lukeplant.me.uk | newest
3
Existential Types in Rust (lwn.net)
a month ago | fanf2 | lwn.net | frontpage
2
RP2040 DMA is Turing complete (cornell.edu)
a month ago | fanf2 | cornell.edu | newest
Next >