babble.pdf
1.3 MB
babble: Learning Better Abstractions with E-Graphs and Anti-unification
https://dl.acm.org/doi/epdf/10.1145/3571207
https://dl.acm.org/doi/epdf/10.1145/3571207
🔥2
Tcl Combinator Engine
https://wiki.tcl-lang.org/page/Combinator%20Engine
https://wiki.tcl-lang.org/page/Combinator%20Engine
wiki.tcl-lang.org
Combinator Engine
Tclers wiki
🦄2👾2
FORCE.pdf
67 KB
FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic
https://dl.acm.org/doi/pdf/10.1145/764808.764839
https://dl.acm.org/doi/pdf/10.1145/764808.764839
🗿2
2DPDA-simulation.pdf
97.8 KB
Simulation of Two-Way Pushdown Automata Revisited
https://arxiv.org/pdf/1309.5142
https://arxiv.org/pdf/1309.5142
🔥2😱1
abstract-interpretation-symbolic.pdf
502.2 KB
Abstract Interpretation, Symbolic Execution and Constraints
https://drops.dagstuhl.de/storage/01oasics/oasics-vol086-gabbriellis-festschrift/OASIcs.Gabbrielli.7/OASIcs.Gabbrielli.7.pdf
https://drops.dagstuhl.de/storage/01oasics/oasics-vol086-gabbriellis-festschrift/OASIcs.Gabbrielli.7/OASIcs.Gabbrielli.7.pdf
🔥5🙏2❤1
Practical Guide to Bare Metal C++
https://arobenko.github.io/bare_metal_cpp/
https://arobenko.github.io/bare_metal_cpp/
arobenko.github.io
Practical Guide to Bare Metal C++
🗿7🔥3
Designing a SIMD Algorithm from Scratch (Rust)
https://mcyoung.xyz/2023/11/27/simd-base64/
https://mcyoung.xyz/2023/11/27/simd-base64/
mcyoung.xyz
Designing a SIMD Algorithm from Scratch · mcyoung
🔥5🗿4
Abstraction and Computation
https://scispace.com/pdf/abstraction-and-computation-type-theory-algebraic-structures-3ttu401nkv.pdf
https://scispace.com/pdf/abstraction-and-computation-type-theory-algebraic-structures-3ttu401nkv.pdf
❤7
What Category Theory Teaches Us About DataFrames
https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/
https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/
mchav.github.io
What Category Theory Teaches Us About DataFrames
Every dataframe library ships with hundreds of operations. pandas alone has over 200 methods on a DataFrame. Is pivot different from melt? Is apply different from map? What about transform, agg, applymap, pipe? Some of these seem like the same operation wearing…
❤4
Win32 Is The Only Stable ABI on Linux
https://blog.hiler.eu/win32-the-only-stable-abi/
https://blog.hiler.eu/win32-the-only-stable-abi/
💯4😢2👾1
I've spent way too much time creating benchmarks of C++ hashmaps
https://martin.ankerl.com/2022/08/27/hashmap-bench-01/
https://martin.ankerl.com/2022/08/27/hashmap-bench-01/
Martin Leitner-Ankerl
Comprehensive C++ Hashmap Benchmarks 2022
Where I've spent way too much time creating benchmarks of C++ hashmaps
🤯6👍1🔥1
2602.19141v1.pdf
1.3 MB
Sycophantic Chatbots Cause Delusional Spiraling, Even in Ideal Bayesians
https://arxiv.org/abs/2602.19141
https://arxiv.org/abs/2602.19141
👍3
Welcome to Bare Metal Rust
https://google.github.io/comprehensive-rust/bare-metal.html
https://google.github.io/comprehensive-rust/bare-metal.html
🔥5❤2
Every time you open LinkedIn in a Chrome-based browser, LinkedIn’s JavaScript executes a silent scan of your installed browser extensions. The scan probes for thousands of specific extensions by ID, collects the results, encrypts them, and transmits them to LinkedIn’s servers.
https://browsergate.eu/how-it-works/
https://browsergate.eu/how-it-works/
BrowserGate
The Attack: How it works
Every time you open LinkedIn in a Chrome-based browser, LinkedIn’s JavaScript executes a silent scan of your installed browser extensions. The scan probes for thousands of specific extensions by ID, collects the results, encrypts them, and transmits them…
🤨12🔥3
2507.09089v2.pdf
5.4 MB
Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
https://arxiv.org/abs/2507.09089
https://arxiv.org/abs/2507.09089
👾3
single-operator.pdf
495.3 KB
All elementary functions from a single binary operator
https://arxiv.org/pdf/2603.21852
https://arxiv.org/pdf/2603.21852
👍6❤3
Want to Write a Compiler? Just Read These Two Papers
https://prog21.dadgum.com/30.html
https://prog21.dadgum.com/30.html
🗿8❤2
The Quiet Colossus: Ada, the language that the Department of Defense built, the industry ignored, and every modern language quietly becamehttps://www.iqiipi.com/the-quiet-colossus.html
🦄6❤5👍1
the-future-of-everything-is-lies.pdf
360.2 KB
The Future of Everything is Lies, I Guess
https://aphyr.com/data/posts/411/the-future-of-everything-is-lies.pdf
https://aphyr.com/data/posts/411/the-future-of-everything-is-lies.pdf
❤3🤯2