All
5+
10+
25+
50+
100+
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 >