💻 CS

computer science, automata, theory, computation

The Good, the Bad and the Ugly in Cybersecurity – Week 31
sentinelone.com·1d
🛡Cybersecurity
Show Your Papers: The Internet Is About to Change Forever – Ludlow Institute
ludlowinstitute.org·5h·
Discuss: Hacker News
🧅Tor Networks
The Beman Project: Tomorrow's C++ Standard Libraries Today
bemanproject.org·1d·
Discuss: Hacker News
📚MARC Archaeology
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·20h·
Discuss: Hacker News
⚔️Lean Tactics
The Emacs dumper dispute (2016)
lwn.net·16h·
Discuss: Hacker News
🔩Systems Programming
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·3d·
Discuss: Hacker News
🧮Constraint SMT
Less Glue, More Product: Why Elixir Shrinks Architectural Complexity
iamkonstantin.eu·8h·
Discuss: Lobsters, Hacker News
🌊Apache Kafka
Verification debt is the AI era's technical debt
kevinbrowne.ca·1d·
Discuss: Hacker News
⚙️Proof Engineering
Dora Research: Concerns beyond the accuracy of AI output
dora.dev·1d·
Discuss: Hacker News
🔍Concolic Testing
Build AI Game Characters and Robots That Outsmart You
thenewstack.io·2d
🔲Cellular Automata
Ask HN: Why do so many developers dislike C when I find it inspiring?
news.ycombinator.com·3d·
Discuss: Hacker News
🔩Systems Programming
Wrap Once, Run Everywhere_ Integrating Python with .NET, Java, and Node.js using Javonet
dev.to·2d·
Discuss: DEV
🌐WASI
🎉 I’ve Moved from `rs-calculator` to `rsc` — Here’s What’s New!
dev.to·8h·
Discuss: DEV
📚Lempel-Ziv
Isle FPGA Computer
projectf.io·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Python Fundamentals: conda
dev.to·6h·
Discuss: DEV
🔄Archive Workflows
Top 10 Python Libraries Every DevOps Engineer Should Master (With Use Cases & Code)
dev.to·8h·
Discuss: DEV
🏠Homelab Orchestration
FairReason: Balancing Reasoning and Social Bias in MLLMs
arxiv.org·1d
📏Linear Logic
LLM-Assisted Cheating Detection in Korean Language via Keystrokes
arxiv.org·1d
🧠Intelligence Compression
ZeRO by hand with a 4-parameter model
dev.to·1d·
Discuss: DEV
⚡SIMD Optimization
Career Opportunities After Completing AI & Data Science Degree
dev.to·3d·
Discuss: DEV
🗺️Competency Maps