All
5+
10+
25+
50+
100+
< Prev
Next >
2
JA4: A suite of network fingerprinting standards (github.com/foxio-llc)
4 weeks ago |
fanf2
| github.com
|
newest
2
Static interpretation of higher-order modules in Futhark: functional GPU program (acm.org)
4 weeks ago |
fanf2
| acm.org
|
newest
1
Logarithms of algebraic data types for property-based testing (2022) (acm.org)
4 weeks ago |
fanf2
| acm.org
|
newest
1
Implementing dependent types in pi-forall (2023) (arxiv.org)
4 weeks ago |
fanf2
| arxiv.org
|
newest
1
What is cosh(List(Bool))? Or beyond algebra: analysis of data types (cofault.com)
4 weeks ago |
fanf2
| cofault.com
|
newest
1
London Cycle Orbital: peaceful cycling at London's margins (london-cycle-orbital.org.uk)
a month ago |
fanf2
| london-cycle-orbital.org.uk
|
newest
15
What is systems programming, really? (2018) (willcrichton.net)
a month ago |
fanf2
| willcrichton.net
|
frontpage
3
Exploit a binary with sigreturn oriented programming (SROP) (rog3rsm1th.github.io)
a month ago |
fanf2
| github.io
|
newest
1
Diagnosing a double-free concurrency bug in Rust's unbounded channels (materialize.com)
a month ago |
fanf2
| materialize.com
|
newest
1
Postgres Extensions in Rust (depth-first.com)
a month ago |
fanf2
| depth-first.com
|
newest
6
The crisis of zombie social science (forkingpaths.co)
a month ago |
fanf2
| forkingpaths.co
|
frontpage
4
Initialization in C++ is seriously bonkers (mikelui.io)
a month ago |
fanf2
| mikelui.io
|
newest
3
Gif320: A GIF viewer for DEC VT320 terminals (github.com/jmason)
a month 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 month ago |
fanf2
| strath.ac.uk
|
newest
1
Distance-based ISA for efficient register renaming (sigarch.org)
a month ago |
fanf2
| sigarch.org
|
newest
2
Tools built on Tree-sitter's concrete syntax trees (scannedinavian.com)
a month ago |
fanf2
| scannedinavian.com
|
newest
3
The YAML Document from Hell (ruudvanasseldonk.com)
a month ago |
fanf2
| ruudvanasseldonk.com
|
newest
1
Ki: Wireless power for kitchen appliances. [video] (youtube.com)
a month ago |
fanf2
| youtube.com
|
newest
2
Reservoir sampling: who discovered Algorithm R? (markkm.com)
a month ago |
fanf2
| markkm.com
|
newest
29
EBCDIC Is Incompatible with GDPR (2021) (shkspr.mobi)
a month ago |
fanf2
| shkspr.mobi
|
frontpage
1
How to Take the Inverse of a Type (2022) (ecoop.org)
a month ago |
fanf2
| ecoop.org
|
newest
1
Bidirectional Typing (acm.org)
a month ago |
fanf2
| acm.org
|
newest
2
Syntactic musings on match expressions in Rust (yoshuawuyts.com)
a month ago |
fanf2
| yoshuawuyts.com
|
newest
50
Hokusai Moyo Gafu: an album of dyeing patterns (ndl.go.jp)
a month ago |
fanf2
| ndl.go.jp
|
best
1
Zero-cost 'tagless initial' in Rust with GADT-style enums (inferara.com)
a month ago |
fanf2
| inferara.com
|
newest
1
Nanowar of Steel – HelloWorld.java (github.com/nanowarofsteel)
a month ago |
fanf2
| github.com
|
newest
2
The ATS programming language: unleashing the potential of types and templates (bu.edu)
a month ago |
fanf2
| bu.edu
|
frontpage
1
A simple ray tracer written in the meson.build language (github.com/annacrombie)
a month ago |
fanf2
| github.com
|
newest
2
DejaGNU (2011) (airs.com)
a month ago |
fanf2
| airs.com
|
newest
2
Jujutsu and Magit (alarsyo.net)
a month ago |
fanf2
| alarsyo.net
|
newest
2
AA-56: an astronomical ephemeris calculator program (moshier.net)
a month ago |
fanf2
| moshier.net
|
newest
1
Roons: Modular Marble Logic (whomtech.com)
a month ago |
fanf2
| whomtech.com
|
newest
1
Silent bugs matter: a study of compiler-introduced security bugs (usenix.org)
a month ago |
fanf2
| usenix.org
|
newest
2
WASM SpecTec has been adopted (webassembly.org)
a month ago |
fanf2
| webassembly.org
|
newest
2
Implementation of Dependent Types (chalmers.se)
a month ago |
fanf2
| chalmers.se
|
newest
4
Displaying Korean Text Efficiently (oberg.org)
a month ago |
fanf2
| oberg.org
|
frontpage
1
Faster remainder by multiplication, with applications to compilers and software (arxiv.org)
a month ago |
fanf2
| arxiv.org
|
newest
2
When should a Java JIT compiler expand garbage collection barriers? (robcasloz.github.io)
a month ago |
fanf2
| github.io
|
frontpage
2
Crossness pumping station: seduced by symmetry (anthonybaines.co.uk)
a month ago |
fanf2
| anthonybaines.co.uk
|
newest
2
Skim: The implementation of functional languages using custom hardware (cam.ac.uk)
a month ago |
fanf2
| cam.ac.uk
|
frontpage
1
De Bruijn's Combinatorics (vixra.org)
a month ago |
fanf2
| vixra.org
|
newest
4
Dijkstra on Mathematical Notation [pdf] (utexas.edu)
a month ago |
fanf2
| utexas.edu
|
newest
1
Gerrit, GitButler, and Jujutsu projects collaborating on a change-id commit foot (kernel.org)
a month ago |
fanf2
| kernel.org
|
newest
4
MicroHs: Haskell implemented with combinators by Lennart Augustsson (github.com/augustss)
a month ago |
fanf2
| github.com
|
newest
2
How to write mathematics. (1973) [pdf] (washington.edu)
a month ago |
fanf2
| washington.edu
|
newest
2
Surety: The oldest blockchain has been hiding in the New York Times si (vice.com)
a month ago |
fanf2
| vice.com
|
newest
2
But can DOOM run it? Programming Satan's computer (calabi-yau.space)
a month ago |
fanf2
| calabi-yau.space
|
newest
2
10 years of stable Rust: an infrastructure story (rustfoundation.org)
a month ago |
fanf2
| rustfoundation.org
|
newest
2
Behind the scenes of Rust string formatting and format_args () (m-ou.se)
a month ago |
fanf2
| m-ou.se
|
newest
2
Dissolving the Fermi Paradox (arxiv.org)
a month ago |
fanf2
| arxiv.org
|
newest
2
A formulae-as-type notion of control: classical logic and call/cc in Scheme (acm.org)
a month ago |
fanf2
| acm.org
|
newest
2
Violating memory safety with Haskell's value restriction (welltypedwit.ch)
a month ago |
fanf2
| welltypedwit.ch
|
newest
3
Type-level bounded recursion in Rust (catgirl.ai)
a month ago |
fanf2
| catgirl.ai
|
frontpage
1
Comrak: A CommonMark and GFM compatible Markdown parser and renderer in Rust (github.com/kivikakk)
a month ago |
fanf2
| github.com
|
newest
1
Why Specs Matter (diveintomark.link)
a month ago |
fanf2
| diveintomark.link
|
newest
2
ΠΣ: Dependent Types Without the Sugar [pdf] (2010) (kosmikus.org)
a month ago |
fanf2
| kosmikus.org
|
newest
2
Build123d: A Python CAD programming library (github.com/gumyr)
a month ago |
fanf2
| github.com
|
newest
1
Lalrpop: A Parser Generator for Rust (2015) (smallcultfollowing.com)
a month ago |
fanf2
| smallcultfollowing.com
|
newest
2
How to Sync Anything (neighbourhood.ie)
a month ago |
fanf2
| neighbourhood.ie
|
newest
3
Parametric subtyping for structural parametric polymorphism (sigplan.org)
a month ago |
fanf2
| sigplan.org
|
newest
2
DIY book lamp: simple electronics meets paper craft (voltpaperscissors.com)
a month ago |
fanf2
| voltpaperscissors.com
|
newest
2
A non-uniform quasirandom number generator for games (taylorpetrick.com)
a month ago |
fanf2
| taylorpetrick.com
|
newest
1
Let's Debug figures out why you can't issue a certificate with Let's Encrypt (letsdebug.net)
a month ago |
fanf2
| letsdebug.net
|
newest
1
Squiggle: A simple programming language for intuitive probabilistic estimation (squiggle-language.com)
a month ago |
fanf2
| squiggle-language.com
|
frontpage
2
XTerm Control Sequences [pdf] (invisible-island.net)
a month ago |
fanf2
| invisible-island.net
|
frontpage
1
Facet: Type reflection, serialization, deserialization – know the shape of you (github.com/facet-rs)
a month ago |
fanf2
| github.com
|
newest
3
Specifying WASM with SpecTec (github.com/wasm-dsl)
a month ago |
fanf2
| github.com
|
newest
1
Preventing outages with pkill's new –require-handler flag (chrisdown.name)
a month ago |
fanf2
| chrisdown.name
|
newest
1
Far-UVC: germicidal ultraviolet light can inactivate a wide range of pathogens w (blueprintbiosecurity.org)
a month ago |
fanf2
| blueprintbiosecurity.org
|
newest
4
Scaling the Let's Encrypt rate limits to prepare for a billion active TLS cert (letsencrypt.org)
a month ago |
fanf2
| letsencrypt.org
|
frontpage
1
Examples of MVC for the Web (github.com/madhadron)
a month ago |
fanf2
| github.com
|
newest
2
A continuation-passing evaluation semantics for classical proofs (cornell.edu)
a month ago |
fanf2
| cornell.edu
|
newest
1
Travertine: CVE-2025-24118 safe memory reclamation race in the XNU Mac OS kernel (jprx.io)
a month ago |
fanf2
| jprx.io
|
newest
1
Venera 8 Kosmos 482 descent craft reentry forecasts (sattrackcam.blogspot.com)
a month ago |
fanf2
| blogspot.com
|
newest
1
Modular Type Classes [pdf] (cmu.edu)
a month ago |
fanf2
| cmu.edu
|
newest
3
PubSub and RPC with dynamic types in Rust (jakobmeier.ch)
a month ago |
fanf2
| jakobmeier.ch
|
frontpage
1
Programming Mantras Are Proverbs (lukeplant.me.uk)
a month 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
7
Violating memory safety with Haskell's value restriction (welltypedwit.ch)
a month ago |
fanf2
| welltypedwit.ch
|
frontpage
2
From Haskell to a new structured combinator processor for graph reduction in har (hw.ac.uk)
a month ago |
fanf2
| hw.ac.uk
|
newest
2
It's the Latency, Stupid (stuartcheshire.org)
a month ago |
fanf2
| stuartcheshire.org
|
newest
1
Anatomy of a Thunk Leak in Haskell (ezyang.com)
a month ago |
fanf2
| ezyang.com
|
newest
3
A bestiary of mathematical functions for systems designers (brunodias.dev)
a month ago |
fanf2
| brunodias.dev
|
frontpage
1
Julia 1.6: what has changed since Julia 1.0? (oxinabox.net)
a month ago |
fanf2
| oxinabox.net
|
newest
5
The Ignorability of Attributes in C++ (brevzin.github.io)
a month ago |
fanf2
| github.io
|
frontpage
2
Cloaca: A concurrent hardware garbage collector for non-strict functional langua (acm.org)
a month ago |
fanf2
| acm.org
|
newest
2
A collection of quotes on the design of notation as a tool of thought (github.com/kai-qu)
a month ago |
fanf2
| github.com
|
newest
2
Programming in Martin-Lof's type theory: an introduction. (1990) (chalmers.se)
a month ago |
fanf2
| chalmers.se
|
newest
2
Encoding Hangeul, Koreas writing system (brookjeynes.dev)
a month ago |
fanf2
| brookjeynes.dev
|
frontpage
2
Optimal bounds for open addressed hash tables without reordering (arxiv.org)
a month ago |
fanf2
| arxiv.org
|
newest
1
SQL OFFSET is worse than keyset pagination (use-the-index-luke.com)
a month ago |
fanf2
| use-the-index-luke.com
|
frontpage
3
Efficient communication and garbage collection in Haskell with compact normal fo (ezyang.com)
a month ago |
fanf2
| ezyang.com
|
newest
3
YamlScriot: YAML Done Wisely (yamlscript.org)
a month ago |
fanf2
| yamlscript.org
|
newest
4
I think about C99 strict aliasing rules (alanwu.space)
a month ago |
fanf2
| alanwu.space
|
frontpage
3
HVM: Higher-order virtual machine, a parallel, optimal functional runtime (github.com/higherorderco)
a month ago |
fanf2
| github.com
|
newest
2
Setenv() isn't threadsafe and even safe Rust didn't save us (geldata.com)
2 months ago |
fanf2
| geldata.com
|
frontpage
1
Factoring in gravitomagnetism could do away with dark matter (2021) (sciencedaily.com)
2 months ago |
fanf2
| sciencedaily.com
|
newest
3
Verb: Emacs Org Mode HTTP client (github.com/federicotdn)
2 months ago |
fanf2
| github.com
|
newest
1
Stacking lookup tables in a lexer generator (maciej.codes)
2 months ago |
fanf2
| maciej.codes
|
newest
< Prev
Next >