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