💻 CS

computer science, automata, theory, computation

Eliza Resurrected using original code after 60 years
suramya.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Decentralized Microfrontend Architecture - (my approach for my project)
positive-intentions.com·1d·
Discuss: r/programming, r/reactjs
🖥️Self-hosted Infrastructure
Open Sesame: Poems with Entropy
benwr.net·2d·
Discuss: Lobsters, Hacker News
🐫OCaml
Measuring the latency that GIL introduces to Python applications
coroot.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Tao: The Power of the Graph (2013)
engineering.fb.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Tests that AIs Often Fail and Humans Ace Could Pave the Way for Artificial General Intelligence
scientificamerican.com·1d·
Discuss: Hacker News
🎮Verification Games
OpenAI Quietly Turns to Google to Stay Online
gizmodo.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·6d·
Discuss: Hacker News
➡️Category Theory
Is your precious code safe? An easy way to ensure availability of code/repositories.
reddit.com·16h·
Discuss: r/homelab
🧱Immutable Infrastructure
Vibe Coding with AI: Ensuring User Needs Are Met
kamil.chm.ski·2d·
Discuss: Hacker News
🔄Reproducible Builds
Enabling Rapid Genomic Analysis with Illumina Dragen on Amazon EC2 F2 Instances
aws.amazon.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
In Defense of Not-Invented-Here Syndrome
joelonsoftware.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Multiplicative Modular Nim (MuM)
arxiv.org·4d
🐫OCaml
Fourier Basis Mapping: A Time-Frequency Learning Framework for Time Series Forecasting
arxiv.org·4d
➡️Category Theory
Cognitive Dissonance Artificial Intelligence (CD-AI): The Mind at War with Itself. Harnessing Discomfort to Sharpen Critical Thinking
arxiv.org·4d
✓Automated Theorem Proving
Posture-Driven Action Intent Inference for Playing style and Fatigue Assessment
arxiv.org·2d
🎮Verification Games
Talk me into a return or recommend a case
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels
Machine Learning for Evolutionary Graph Theory
arxiv.org·5d
➡️Category Theory
GeoReg: Weight-Constrained Few-Shot Regression for Socio-Economic Estimation using LLM
arxiv.org·1d
🐫Embedded OCaml
Last Layer Hamiltonian Monte Carlo
arxiv.org·4d
✓Automated Theorem Proving