🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Programming Language Theory
Type Systems, Lambda Calculus, Semantics, Monads
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
014
inutil.bearblog.dev
·
13h
🧫
Cellular Automata
GURKE: Group Unidirectional Ratcheted Key Exchange
eprint.iacr.org
·
2d
🤝
Protocol Design
Congrats to the Algolia MCP Challenge Winners!
algolia.com
·
2d
·
Discuss:
DEV
🧩
Theorem Proving
I wrote a short post on learning the fundamentals of distributed systems, with a few suggested resources to read and a few suggested projects to try.
bsky.app
·
7h
·
Discuss:
Bluesky
🌍
Distributed Systems
Accelerating AI Development Workflows: The Kiro Best Practices Boilerplate
dev.to
·
1d
·
Discuss:
DEV
🔍
Static Analysis
\textsc{SimInstruct}: A Responsible Tool for Collecting Scaffolding Dialogues Between Experts and LLM-Simulated Novices
arxiv.org
·
2d
🔧
Compiler Design
🍲Beginners guide to "Leetcode 808: Soup Serving"(C++ | JavaScript | Python)
dev.to
·
1d
·
Discuss:
DEV
🎲
Probabilistic Programming
I Was Tired of Building Invoices, So I Built a Full-Stack React Document Designer
dev.to
·
13h
·
Discuss:
DEV
🔧
Compiler Design
Autodoc
funcall.blogspot.com
·
1d
·
Discuss:
www.blogger.com
📝
Lisp
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org
·
2d
🔗
Parser Combinators
When should i start learning C?
reddit.com
·
4h
·
Discuss:
r/C_Programming
🔧
Compiler Design
Show HN: Visualizing my 500 journal entries and building an LLM-ghost upon it
github.com
·
6h
·
Discuss:
Hacker News
🔧
Compiler Design
Python Challenge #2 -Data Types Demystified!
dev.to
·
1d
·
Discuss:
DEV
📝
Lisp
GPT-5 vs. Sonnet: Complex Agentic Coding
elite-ai-assisted-coding.dev
·
1d
·
Discuss:
Hacker News
🦀
Rust
PRvL: Quantifying the Capabilities and Risks of Large Language Models for PII Redaction
arxiv.org
·
1d
🔗
Parser Combinators
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com
·
2d
·
Discuss:
Substack
🔗
Parser Combinators
Large Language Models Still Exhibit Bias in Long Text
arxiv.org
·
1d
🔗
Parser Combinators
Book translation Llm. HELP
reddit.com
·
12h
·
Discuss:
r/LocalLLaMA
🔧
Compiler Design
DART: Dual Adaptive Refinement Transfer for Open-Vocabulary Multi-Label Recognition
arxiv.org
·
1d
🔗
Parser Combinators
How to Create NumPy Arrays from Lists
dev.to
·
14h
·
Discuss:
DEV
🧠
Memory Management
Loading...
Loading more...
« Page 9
•
Page 11 »