💻 CS

computer science, automata, theory, computation

Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Learning codes and computer with harvard course
pll.harvard.edu·1d·
Discuss: r/programming
📡Network Protocol Design
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·13h·
Discuss: r/programming
🐫OCaml
Book review: A New Kind of Science (2005)
bactra.org·2d·
Discuss: Hacker News
🎮Verification Games
💥Job Ready AI Powered Cohort: Complete Web Development + DSA + Aptitude GOOD or BAD !!!!!!!💥
sheryians.com·2d·
Discuss: r/programming
🤖Program Synthesis
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·23h·
Discuss: Hacker News
🤖Program Synthesis
Binding Application in Idris
andrevidela.com·12h·
Discuss: Hacker News
🔠Type-Level Programming
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·12h·
Discuss: r/programming
🔬Static Analysis
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·18h·
Discuss: Hacker News
🔬Static Analysis
The Next Wave
dumindu.github.io·15h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·7h
⚙️PL Implementation
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
Secure Your Keys with Keyand.me
thasso.xyz·3h·
Discuss: Hacker News
🛡️seL4
Ready lists
11011110.github.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·7h
🐫OCaml
I Built a Real-Time Voice Assistant That Talks Like ChatGPT – From Scratch in Python
youtu.be·8h·
Discuss: r/programming
🐫Embedded OCaml
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·7h
👁️System Observability
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·18h·
Discuss: Hacker News
⚙️PL Implementation