Takeaways from the Cambridge Future Nostalgia “Copy that Floppy” Workshop
blogs.bodleian.ox.ac.uk·16m
🔄Deduplication
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·1d·
Discuss: Hacker News
Incremental Parsing
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
📏Linear Haskell
Flag this post
What Artifacts Teach Us
systemsapproach.org·1d
🌍Minimal HTTP
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.org·10h
🔍ML Language
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·15h·
📏Linear Memory
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.com·22h·
📚Self-Documenting Code
Flag this post
My First Open Source Journey
linkedin.com·1d·
Discuss: DEV
🏠indieweb
Flag this post
What is a distribution? Top 5 functions of a distro:
medium.com·14h
☁️Distributed Compilers
Flag this post
Provably Secure e2ee file transfer CLI (post-quantum-ready)
reddit.com·2d·
Discuss: r/webdev
📡Network Serialization
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·5h
🔍ML Language
Flag this post
The Design Innovations of NopGraphQL: From API Protocol to a General-Purpose Information Operation Engine
dev.to·1d·
Discuss: DEV
📡Protocol Buffers
Flag this post
On Designing Low-Latency Systems for High-Traffic Environments
hackernoon.com·17h
🌍HTTP Servers
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·5h
📋Tablegen
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·1d·
Discuss: Hacker News
🔄Nanopass
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·20h·
Discuss: Hacker News, r/cpp
🚀Code Motion
Flag this post
A Comparative Study of Hybrid Post-Quantum Cryptographic X.509 Certificate Schemes
arxiv.org·5h
📡Network Serialization
Flag this post
DiscoBSD
github.com·1d·
Discuss: Hacker News
📦Executable Size
Flag this post
Accessing SharedPreferences data across different modules
dev.to·6h·
Discuss: DEV
🔗Weak References
Flag this post