Next >
1
Three Cases Against If Not Exists / If Exists in PostgreSQL DDL (2021) (postgres.ai)
10 hours ago | fanf2 | postgres.ai | newest
6
phkmalloc (freebsd.dk)
16 hours ago | fanf2 | freebsd.dk | frontpage
1
Netbird: Connect your devices into a WireGuard overlay network with SSO, MFA and (github.com/netbirdio)
19 hours ago | fanf2 | github.com | newest
2
Let's create a Tree-sitter grammar (jonashietala.se)
a day ago | fanf2 | jonashietala.se | newest
1
UK Online Safety Act Notes for Small Sites (2024) (garrett.co.uk)
a day ago | fanf2 | garrett.co.uk | newest
1
A Python frozenset interpretation of dependent type theory (philipzucker.com)
a day ago | fanf2 | philipzucker.com | newest
2
The database row that did and didn't exist according to Django (mistys-internet.website)
2 days ago | fanf2 | mistys-internet.website | newest
1
The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) g [pdf] (clemson.edu)
3 days ago | fanf2 | clemson.edu | newest
3
The Epic Verse calculus: a core calculus for functional logic programming (peytonjones.org)
3 days ago | fanf2 | peytonjones.org | frontpage
2
Against Curry-Howard Mysticism (liamoc.net)
3 days ago | fanf2 | liamoc.net | newest
2
The Manchester Compiler Compiler and CPL: reflections of a user 50 years on [pdf] (manchester.ac.uk)
4 days ago | fanf2 | manchester.ac.uk | newest
62
10 Years of Pomological Watercolors (parkerhiggins.net)
4 days ago | fanf2 | parkerhiggins.net | best
2
ECFiber: Building a fibre-to-the-premises network in rural Vermont (2021) (apnic.net)
4 days ago | fanf2 | apnic.net | newest
2
Bluefishjs: Composing Diagrams in with Declarative Relations (acm.org)
5 days ago | fanf2 | acm.org | newest
2
Heron: Modern Hardware Graph Reduction (2024) (acm.org)
5 days ago | fanf2 | acm.org | newest
2
Portable dynamically linked packages on Linux (brioche.dev)
5 days ago | fanf2 | brioche.dev | newest
1
I Got Plenty o' Nuttin': linear dependent types [pdf] (strath.ac.uk)
5 days ago | fanf2 | strath.ac.uk | newest
1
A collection of articles about retries (justinblank.com)
5 days ago | fanf2 | justinblank.com | newest
1
Arithmetic with Continued Fractions (plover.com)
6 days ago | fanf2 | plover.com | newest
2
BNFGen: A random text generator based on context-free grammars (baturin.org)
6 days ago | fanf2 | baturin.org | newest
2
Staged compilation with two-level type theory [pdf] (andraskovacs.github.io)
6 days ago | fanf2 | github.io | newest
1
Autosetup: A Tcl-based build environment "autoconfigurator" (msteveb.github.io)
6 days ago | fanf2 | github.io | newest
1
Haflang: Hardware Acceleration of Functional Languages (haflang.github.io)
a week ago | fanf2 | github.io | newest
9
Bluefishjs: A diagram drawing framework for JavaScript (bluefishjs.org)
a week ago | fanf2 | bluefishjs.org | frontpage
1
The Joys of Unix Keyboards (donatstudios.com)
a week ago | fanf2 | donatstudios.com | newest
1
Thoughts on Hashing in Rust (purplesyringa.moe)
a week ago | fanf2 | purplesyringa.moe | newest
1
A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf] (leafpetersen.com)
a week ago | fanf2 | leafpetersen.com | newest
1
A Retrospective on SCCS, the Source Code Control System [pdf] (mrochkind.com)
a week ago | fanf2 | mrochkind.com | newest
1
Fast type class resolution with a trie (welltypedwit.ch)
a week ago | fanf2 | welltypedwit.ch | newest
3
Fixing the traffic jam in the science of technology safety (citizensandtech.org)
a week ago | fanf2 | citizensandtech.org | newest
1
Dependent types and program equivalence [pdf] (2010) (upenn.edu)
a week ago | fanf2 | upenn.edu | newest
1
Fend: An arbitrary-precision unit-aware calculator (github.com/printfn)
a week ago | fanf2 | github.com | newest
1
What's higher-order about so-called higher-order references? (williamjbowman.com)
a week ago | fanf2 | williamjbowman.com | newest
1
Faer: A general-purpose linear algebra library for Rust (docs.rs)
a week ago | fanf2 | docs.rs | newest
1
Rewriting the Ruby Parser (railsatscale.com)
a week ago | fanf2 | railsatscale.com | newest
1
Dependent types at work in Agda [pdf] (chalmers.se)
a week ago | fanf2 | chalmers.se | newest
1
The complexity and performance of parsing with derivatives (acm.org)
a week ago | fanf2 | acm.org | newest
2
Simulating time with square-root space (arxiv.org)
a week ago | fanf2 | arxiv.org | newest
3
Deploying IPv6-mostly access networks (ripe.net)
a week ago | fanf2 | ripe.net | newest
1
Boolean Blindness (existentialtype.wordpress.com)
a week ago | fanf2 | wordpress.com | newest
25
Posit floating point numbers: thin triangles and other tricks (2019) (marc-b-reynolds.github.io)
a week ago | fanf2 | github.io | frontpage
3
Jef Raskin: Intuitive equals familiar. (1994) (acm.org)
a week ago | fanf2 | acm.org | newest
2
Efficient communication and collection with compact normal forms in Haskell [pdf] (ezyang.com)
a week ago | fanf2 | ezyang.com | newest
2
Pattern matching and exhaustiveness checking algorithms implemented in Rust (github.com/yorickpeterse)
a week ago | fanf2 | github.com | newest
2
HashChain: A family of fast factor-based sublinear exact-matching string se (github.com/nishihatapalmer)
a week ago | fanf2 | github.com | newest
1
Eidophor: 1950's space age video projection technology. [video] (youtube.com)
a week ago | fanf2 | youtube.com | newest
1
Triangle of power notation: exponents roots and logarithms (emory.edu)
a week ago | fanf2 | emory.edu | newest
1
Situated Software (archive.org)
2 weeks ago | fanf2 | archive.org | newest
1
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict reso [pdf] (clemson.edu)
2 weeks ago | fanf2 | clemson.edu | newest
2
JA4: A suite of network fingerprinting standards (github.com/foxio-llc)
2 weeks ago | fanf2 | github.com | newest
2
Static interpretation of higher-order modules in Futhark: functional GPU program (acm.org)
2 weeks ago | fanf2 | acm.org | newest
1
Logarithms of algebraic data types for property-based testing (2022) (acm.org)
2 weeks ago | fanf2 | acm.org | newest
1
Implementing dependent types in pi-forall (2023) (arxiv.org)
2 weeks ago | fanf2 | arxiv.org | newest
1
What is cosh(List(Bool))? Or beyond algebra: analysis of data types (cofault.com)
2 weeks ago | fanf2 | cofault.com | newest
1
London Cycle Orbital: peaceful cycling at London's margins (london-cycle-orbital.org.uk)
2 weeks ago | fanf2 | london-cycle-orbital.org.uk | newest
15
What is systems programming, really? (2018) (willcrichton.net)
2 weeks ago | fanf2 | willcrichton.net | frontpage
3
Exploit a binary with sigreturn oriented programming (SROP) (rog3rsm1th.github.io)
2 weeks ago | fanf2 | github.io | newest
1
Diagnosing a double-free concurrency bug in Rust's unbounded channels (materialize.com)
2 weeks ago | fanf2 | materialize.com | newest
1
Postgres Extensions in Rust (depth-first.com)
2 weeks ago | fanf2 | depth-first.com | newest
6
The crisis of zombie social science (forkingpaths.co)
2 weeks ago | fanf2 | forkingpaths.co | frontpage
4
Initialization in C++ is seriously bonkers (mikelui.io)
2 weeks ago | fanf2 | mikelui.io | newest
3
Gif320: A GIF viewer for DEC VT320 terminals (github.com/jmason)
2 weeks ago | fanf2 | github.com | frontpage
2
Clowns to the left of me, jokers to the right - Dissecting Data Structures [pdf] (2008) (strath.ac.uk)
2 weeks ago | fanf2 | strath.ac.uk | newest
1
Distance-based ISA for efficient register renaming (sigarch.org)
2 weeks ago | fanf2 | sigarch.org | newest
2
Tools built on Tree-sitter's concrete syntax trees (scannedinavian.com)
2 weeks ago | fanf2 | scannedinavian.com | newest
3
The YAML Document from Hell (ruudvanasseldonk.com)
2 weeks ago | fanf2 | ruudvanasseldonk.com | newest
1
Ki: Wireless power for kitchen appliances. [video] (youtube.com)
2 weeks ago | fanf2 | youtube.com | newest
2
Reservoir sampling: who discovered Algorithm R? (markkm.com)
2 weeks ago | fanf2 | markkm.com | newest
29
EBCDIC Is Incompatible with GDPR (2021) (shkspr.mobi)
2 weeks ago | fanf2 | shkspr.mobi | frontpage
1
How to Take the Inverse of a Type (2022) (ecoop.org)
3 weeks ago | fanf2 | ecoop.org | newest
1
Bidirectional Typing (acm.org)
3 weeks ago | fanf2 | acm.org | newest
2
Syntactic musings on match expressions in Rust (yoshuawuyts.com)
3 weeks ago | fanf2 | yoshuawuyts.com | newest
50
Hokusai Moyo Gafu: an album of dyeing patterns (ndl.go.jp)
3 weeks ago | fanf2 | ndl.go.jp | best
1
Zero-cost 'tagless initial' in Rust with GADT-style enums (inferara.com)
3 weeks ago | fanf2 | inferara.com | newest
1
Nanowar of Steel – HelloWorld.java (github.com/nanowarofsteel)
3 weeks ago | fanf2 | github.com | newest
2
The ATS programming language: unleashing the potential of types and templates (bu.edu)
3 weeks ago | fanf2 | bu.edu | frontpage
1
A simple ray tracer written in the meson.build language (github.com/annacrombie)
3 weeks ago | fanf2 | github.com | newest
2
DejaGNU (2011) (airs.com)
3 weeks ago | fanf2 | airs.com | newest
2
Jujutsu and Magit (alarsyo.net)
3 weeks ago | fanf2 | alarsyo.net | newest
2
AA-56: an astronomical ephemeris calculator program (moshier.net)
3 weeks ago | fanf2 | moshier.net | newest
1
Roons: Modular Marble Logic (whomtech.com)
3 weeks ago | fanf2 | whomtech.com | newest
1
Silent bugs matter: a study of compiler-introduced security bugs (usenix.org)
3 weeks ago | fanf2 | usenix.org | newest
2
WASM SpecTec has been adopted (webassembly.org)
3 weeks ago | fanf2 | webassembly.org | newest
2
Implementation of Dependent Types (chalmers.se)
3 weeks ago | fanf2 | chalmers.se | newest
4
Displaying Korean Text Efficiently (oberg.org)
3 weeks ago | fanf2 | oberg.org | frontpage
1
Faster remainder by multiplication, with applications to compilers and software (arxiv.org)
3 weeks ago | fanf2 | arxiv.org | newest
2
When should a Java JIT compiler expand garbage collection barriers? (robcasloz.github.io)
3 weeks ago | fanf2 | github.io | frontpage
2
Crossness pumping station: seduced by symmetry (anthonybaines.co.uk)
3 weeks ago | fanf2 | anthonybaines.co.uk | newest
2
Skim: The implementation of functional languages using custom hardware (cam.ac.uk)
3 weeks ago | fanf2 | cam.ac.uk | frontpage
1
De Bruijn's Combinatorics (vixra.org)
3 weeks ago | fanf2 | vixra.org | newest
4
Dijkstra on Mathematical Notation [pdf] (utexas.edu)
3 weeks ago | fanf2 | utexas.edu | newest
1
Gerrit, GitButler, and Jujutsu projects collaborating on a change-id commit foot (kernel.org)
3 weeks ago | fanf2 | kernel.org | newest
4
MicroHs: Haskell implemented with combinators by Lennart Augustsson (github.com/augustss)
3 weeks ago | fanf2 | github.com | newest
2
How to write mathematics. (1973) [pdf] (washington.edu)
3 weeks ago | fanf2 | washington.edu | newest
2
Surety: The oldest blockchain has been hiding in the New York Times si (vice.com)
4 weeks ago | fanf2 | vice.com | newest
2
But can DOOM run it? Programming Satan's computer (calabi-yau.space)
4 weeks ago | fanf2 | calabi-yau.space | newest
2
10 years of stable Rust: an infrastructure story (rustfoundation.org)
4 weeks ago | fanf2 | rustfoundation.org | newest
2
Behind the scenes of Rust string formatting and format_args () (m-ou.se)
4 weeks ago | fanf2 | m-ou.se | newest
2
Dissolving the Fermi Paradox (arxiv.org)
4 weeks 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
Next >