Functional Programming, S-expressions, Code as Data, Recursion

Read more: Commission does not want counter-proposal to sustainability initiative
swissinfo.chยท1h
๐Ÿ“‹PREMIS Events
Flag this post
Reinventing Assertions
beust.comยท4dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.comยท3dยท
Discuss: Hacker News
โšกEffectful Programming
Flag this post
Choosing a dependency
blog.frankel.chยท1dยท
Discuss: r/programming
๐Ÿ”—Dependency Resolution
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.comยท4d
๐Ÿ“ŠQuantization
Flag this post
Show HN: I built a tool to version control datasets (like Git, but for data)
shodata.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฆGit LFS
Flag this post
D.J. Bernstein: The Good News Archive
aaronsw.comยท2dยท
Discuss: Hacker News
๐Ÿ”“Hacking
Flag this post
to transaction or not to transaction
reddit.comยท2dยท
Discuss: r/golang
๐Ÿ’พPersistence Strategies
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.comยท3dยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Flag this post
Borrow checker says โ€œNoโ€! An error that scares me every single time!
polymonster.co.ukยท4dยท
๐Ÿฆ€Rust Borrowing
Flag this post
Engineering a Rust optimization quiz
fasterthanli.meยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
A Project Is Not a Bundle of Tasks
secondthoughts.aiยท13hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Flag this post
How Small Problems in My App Led Me to Discover APIs
dev.toยท2dยท
Discuss: DEV
โšกgRPC
Flag this post
MindSpeak: Decoding Thoughts into Words
dev.toยท14hยท
Discuss: DEV
๐ŸŽงLearned Audio
Flag this post
BeetleFlow: An Integrative Deep Learning Pipeline for Beetle Image Processing
arxiv.orgยท8h
๐ŸŒŠStreaming Algorithms
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.orgยท8h
โšกLZ4 Streaming
Flag this post
Functional embeddings enable Aggregation of multi-area SEEG recordings over subjects and sessions
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
Flag this post
An introduction to the a posteriori error analysis of parabolic partial differential equations
arxiv.orgยท8h
๐ŸŽฏPerformance Proofs
Flag this post
Weakly Supervised Concept Learning with Class-Level Priors for Interpretable Medical Diagnosis
arxiv.orgยท8h
๐Ÿง Machine Learning
Flag this post
Weekly Bookmarks
inkdroid.orgยท2d
๐Ÿ Homelab Archaeology
Flag this post