Mariposa: a lightweight Swift CLI to automate sharing blog posts to social media
jessesquires.com·12h
🦀Rust
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·2d·
🧩Theorem Proving
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·4d
🗄️Database Theory
Flag this post
Weeknotes: Nov. 1-7, 2025
tracydurnell.com·1h
🔄Category Theory
Flag this post
Learning to Model the World with Language
dynalang.github.io·1d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Co-Optimizing GPU Architecture And SW To Enhance Edge Inference Performance (NVIDIA)
semiengineering.com·2d
🎲Probabilistic Programming
Flag this post
Large language models still struggle to tell fact from opinion, analysis finds
techxplore.com·3d
🔗Parser Combinators
Flag this post
Help with snake clon
reddit.com·18h·
Discuss: r/godot
🧫Cellular Automata
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·3d·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Hyper-Specific Sub-Field Selection: **Predictive Maintenance of Semiconductor Fabrication Equipment**
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Automated Vacuum Energy Fluctuations Analysis via Adaptive Bayesian Sampling
dev.to·5h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Flag this post
Evaluating Machine Translation Datasets for Low-Web Data Languages: A Gendered Lens
arxiv.org·23h
🧮Programming Language Theory
Flag this post
LLMs and Cultural Values: the Impact of Prompt Language and Explicit Cultural Framing
arxiv.org·23h
🎲Probabilistic Programming
Flag this post
Victor Wembanyama and Kevin Durant trade poster dunks as NBA's past and future collide
nytimes.com·1h
🕸️Graph Theory
Flag this post
D2-UC: A Distributed-Distributed Quantum-Classical Framework for Unit Commitment
arxiv.org·1d
🔐Cryptography
Flag this post
Digital minimalism is out, digital intentionality is in
lesswrong.com·2d
🏗️Software Architecture
Flag this post
A Criminology of Machines
arxiv.org·1d
🧮Programming Language Theory
Flag this post