💻 CS

computer science, automata, theory, computation

Project Gemini – new internet technology for interconnected text documents
geminiprotocol.net·5h·
Discuss: Hacker News
📡Network Protocol Design
Really interesting article on impact of LoC on code review quality and the LGTM phenomenon.
infoq.com·3d·
Discuss: r/programming
🔄Reproducible Builds
Show HN: Macuse – Give Your AI Superpowers on macOS
macuse.app·3d·
Discuss: Hacker News
🍎Apple
A circle and a hyperbola living in one plot
tobylam.xyz·2d·
Discuss: Hacker News
➡️Category Theory
A Software for One
jasonthorsness.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I analyzed ChatGPT with Chrome devtools to uncover its web search query patterns
acme.bot·2d·
Discuss: Hacker News
✓Automated Theorem Proving
We've got to stop sending files to each other
shkspr.mobi·3d·
Discuss: Lobsters, Hacker News, shkspr.mobi
❄️Nix
Learn Commodore 64 Basic Programming – Type-In Text-Based Games
retrogamestart.com·6d·
Discuss: Hacker News
💾Retro Computing
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·4d·
Discuss: Hacker News
🐫Embedded OCaml
The AI Replaces Labour Myth
aimode.substack.com·3d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Graph Representations for Reading Comprehension Analysis using Large Language Model and Eye-Tracking Biomarker
arxiv.org·4d
➡️Category Theory
A Lightweight and Robust Framework for Real-Time Colorectal Polyp Detection Using LOF-Based Preprocessing and YOLO-v11n
arxiv.org·5d
🐫Embedded OCaml
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·3d
✓Automated Theorem Proving
Time series classification of satellite data using LSTM networks: an approach for predicting leaf-fall to minimize railroad traffic disruption
arxiv.org·4d
✓Automated Theorem Proving
Need graphics card ideas for old Supermicro X7DWE
reddit.com·1d·
Discuss: r/homelab
💾Retro Computing
Imperative vs declarative
github.com·5d·
Discuss: r/programming
🔬Static Analysis
Physics-Informed Linear Model (PILM): Analytical Representations and Application to Crustal Strain Rate Estimation
arxiv.org·4d
🐫OCaml
Discovering Governing Equations in the Presence of Uncertainty
arxiv.org·6d
🏹Effect Systems
For those who hate mock and patch hell
medium.com·1d·
Discuss: r/programming
🧪Property-Based Testing
Data-Driven Meta-Analysis and Public-Dataset Evaluation for Sensor-Based Gait Age Estimation
arxiv.org·4d
🔬Unikernels