Sets & Heaps in Haskell and Rust
mmhaskell.comยท2d
๐Ÿ”’Type Safety
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.comยท21h
๐Ÿ“Geometric Hashing
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systemsยท20hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ“žSession Types
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.deยท1h
๐Ÿš€Compiler Optimizations
The Lobster Programming Language
strlen.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Claude Code's 19 cent Parser
blogger.comยท1d
๐Ÿ”งBinary Parsers
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.comยท23h
โœ…Format Verification
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.orgยท12hยท
Discuss: Hacker News
๐Ÿš€SIMD Text Processing
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Anonymous structavaganza in zig
lirk.topยท1dยท
Discuss: Hacker News, r/Zig, r/programming
๐Ÿ”—Concatenative Programming
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.comยท22hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Stable, Mutable References for Ante
antelang.orgยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”’Type Safety
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.toยท18hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Introduction to Artificial Neural Networks โ€“ Part 1 (2013)
theprojectspot.comยท8hยท
Discuss: Hacker News
๐Ÿง Machine Learning
Do I not like Ruby anymore? (2024)
sgt.hootr.clubยท1dยท
Discuss: Hacker News, r/programming
๐ŸŽฏGradual Typing
Nullable vs. Nullable in C#
einarwh.noยท1dยท
Discuss: Lobsters, Hacker News, r/programming
โœ…Format Verification
Implementing Forth in Go and C
eli.thegreenplace.netยท8hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฑGalois Cryptography
Sotasearch.ai โ€“ privacy-first research assistant (100% local)
sotasearch.aiยท2hยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Show HN: CodeBoarding โ€“ Visualize Code Structure
codeboarding.orgยท11hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros