💻 CS

computer science, automata, theory, computation

Eliza Resurrected using original code after 60 years
suramya.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Decentralized Microfrontend Architecture - (my approach for my project)
positive-intentions.com·2d·
Discuss: r/programming, r/reactjs
🖥️Self-hosted Infrastructure
Open Sesame: Poems with Entropy
benwr.net·3d·
Discuss: Lobsters, Hacker News
🐫OCaml
Measuring the latency that GIL introduces to Python applications
coroot.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Tao: The Power of the Graph (2013)
engineering.fb.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Tests that AIs Often Fail and Humans Ace Could Pave the Way for Artificial General Intelligence
scientificamerican.com·2d·
Discuss: Hacker News
🎮Verification Games
Zero-cost statics in C++
cofault.com·6d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Tell HN: Humanloop acquired, sunsetting Sept 8th
news.ycombinator.com·3d·
Discuss: Hacker News
🍎Apple
Vibe Coding with AI: Ensuring User Needs Are Met
kamil.chm.ski·3d·
Discuss: Hacker News
🔄Reproducible Builds
In Defense of Not-Invented-Here Syndrome
joelonsoftware.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Three unrelated thoughts about working with LLMs
henrycourse.com·3d·
Discuss: Hacker News
🔬Unikernels
Home server setup living in a university dorm
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Fourier Basis Mapping: A Time-Frequency Learning Framework for Time Series Forecasting
arxiv.org·5d
➡️Category Theory
Cognitive Dissonance Artificial Intelligence (CD-AI): The Mind at War with Itself. Harnessing Discomfort to Sharpen Critical Thinking
arxiv.org·5d
✓Automated Theorem Proving
Posture-Driven Action Intent Inference for Playing style and Fatigue Assessment
arxiv.org·3d
🎮Verification Games
Talk me into a return or recommend a case
reddit.com·2d·
Discuss: r/homelab
🔬Unikernels
Machine Learning for Evolutionary Graph Theory
arxiv.org·6d
➡️Category Theory
GeoReg: Weight-Constrained Few-Shot Regression for Socio-Economic Estimation using LLM
arxiv.org·2d
🐫Embedded OCaml
Last Layer Hamiltonian Monte Carlo
arxiv.org·5d
✓Automated Theorem Proving
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·4d
🎮Verification Games