Feeds to Scour
SubscribedAll
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
arxiv.org·15h
⚙️Logic Synthesis
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 8
hamberg.no·1d
🦀Rust Macros
Preview
Report Post
How to implement action sequences and cutscenes
edw.is·1d·
Discuss: Hacker News
🔗Lisp
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·3h
🧮Theorem Proving
Preview
Report Post
AI should only run as fast as we can catch up
higashi.blog·1d·
Discuss: Hacker News
⚙️Proof Engineering
Preview
Report Post
Self-Supervised Temporal Pattern Mining for heritage language revitalization programs under multi-jurisdictional compliance
dev.to·22h·
Discuss: DEV
🤖Grammar Induction
Preview
Report Post
NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models
arxiv.org·15h
💾Binary Linguistics
Preview
Report Post
If You're Going to Vibe Code, Why Not Do It in C?
stephenramsay.net·3h·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
IntelliJ Scala Plugin 2025.3 Is Out
blog.jetbrains.com·1d·
Discuss: Hacker News
💧Liquid Types
Preview
Report Post
Reliable AWS Lambda Data Pipelines with AsyncAPI Specification • Hari Krishnan • GOTO 2025
youtube.com·1d
🌊Streaming Systems
Preview
Report Post
Squint Testing Lisps
blog.toast.cafe·1d
🧠Lisp Dialects
Preview
Report Post
ReCAD: Reinforcement Learning Enhanced Parametric CAD Model Generation with Vision-Language Models
arxiv.org·15h
🏺Computational Archaeology
Preview
Report Post
Energy efficiency task scheduling algorithm for multi-core embedded platforms
sciencedirect.com·1d·
Discuss: Hacker News
🖥️Hardware Architecture
Preview
Report Post
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·2d
🔲Cellular Automata
Preview
Report Post
Learning Live Data Systems through an F1 Telemetry Project
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·3d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
ODF 1.4
docs.oasis-open.org·2d·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
A history of AI in two line paper summaries (part one)
xquant.substack.com·1d·
Discuss: Substack
🧠Machine Learning
Preview
Report Post
Stop Grinding LeetCode: How to Build Algorithm Intuition (Not Memorization) with AI
dev.to·4h·
Discuss: DEV
⚔️Lean Tactics
Preview
Report Post