🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
💻 CS
computer science, automata, theory, computation
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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
Loading...
Loading more...
Page 2 »