Feeds to Scour
SubscribedAll
Ramsey, Fraïssé, and orders
cameroncounts.wordpress.com·5h
🧮Algebraic Archives
Preview
Report Post
Review: a bookmarklet to generate coding agent-ready code reviews
blog.marcua.net·13h
🦀Rust Macros
Preview
Report Post
LLMs Make Legal Advice Lossy
writing.kemitchell.com·9h
📼Tape Linguistics
Preview
Report Post
Quoting David Crespo
simonwillison.net·16h
🔓Reverse engineering
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 6
hamberg.no·2d
🧠Lisp Dialects
Preview
Report Post
Energy efficiency task scheduling algorithm for multi-core embedded platforms
sciencedirect.com·12h·
Discuss: Hacker News
🖥️Hardware Architecture
Preview
Report Post
Using LLMs for Breadcrumbs, Not Code Generation
bonniesimon.in·17h·
Discuss: Hacker News
⚙️Batch Processing
Preview
Report Post
A Proof of P = NP
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Update of “Fun project of the week, Mermaid flowcharts generator!” — V2 and more…
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
Preview
Report Post
Code Evolution: Self-Improving Software with LLMs and Python
github.com·2d·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
Review: Julia trimming for Advent of Code 2025
viralinstruction.com·2d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
ODF 1.4
docs.oasis-open.org·1d·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
Formally Verifying Advent of Code Using Dijkstra's Program Construction
haripm.com·4d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Mastering Prompts Through Inversion: The Anti-Prompt Guide
dev.to·23h·
Discuss: DEV
⚔️Lean Tactics
Preview
Report Post
Structured Reasoning with Tree-of-Thoughts for Bengali Math Word Problems
arxiv.org·8h
💻Programming languages
Preview
Report Post
Teaching an LLM a Niche Diagraming Language
huy.rocks·4d·
Discuss: Lobsters, Hacker News
⚙️Parser Generators
Preview
Report Post
How to Use Git Worktree for Claude Code Development
medium.com·7h·
Discuss: Hacker News
🌳Git Internals
Preview
Report Post
ARGUS: Defending Against Multimodal Indirect Prompt Injection via Steering Instruction-Following Behavior
arxiv.org·8h
👑Coq Tactics
Preview
Report Post
An Abstract Arsenal: Future Tokens in Claude Skills
jordanmrubin.substack.com·3d·
Discuss: Substack
⚡Proof Automation
Preview
Report Post
Running Claude Code in a loop to mirror human development practices
anandchowdhary.com·1d·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post