🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Logic Synthesis

Boolean Functions, Circuit Optimization, Hardware Compilation, Verification

Aug 24 2025 : Synthesizer Night @ NYC Resistor
nycresistor.com·1d
⚡Circuit Design
Brain Busting Apple Interview Puzzle Paths On Grid
mindyourdecisions.com·19h
⚔️Lean Tactics
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·6h·
Discuss: Hacker News
🏛Digital humanities
Good binding data is all you need
leashbio.substack.com·15h·
Discuss: Substack
🗂️Vector Databases
Original Xbox Hacks: The A20 CPU Gate
connortumbleson.com·11h·
Discuss: Hacker News
🧲RISC-V Archaeology
Optimal Battery Placement in Power Grid
arxiv.org·2d
📈Linear programming
AI Is Breaking Into a Higher Dimension—Literally—to Mimic the Human Brain and Achieve True Intelligence
popularmechanics.com·1d·
Discuss: Hacker News
🔲Cellular Automata
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·12h·
Discuss: Hacker News
💾Persistence Strategies
Title: Activation Functions in Machine Learning: Why They Matter More Than You Think
dev.to·9h·
Discuss: DEV
🧠Machine Learning
Undone Computer Science
undonecs.org·3h·
Discuss: Hacker News
🌍Cultural Algorithms
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Gradual negation types and the Python type system
jellezijlstra.github.io·8h·
Discuss: Hacker News
🔬Refinement Types
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·17h·
Discuss: Hacker News
💻Programming languages
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
You Are in a Box
jyn.dev·3d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Neural Co-state Regulator: A Data-Driven Paradigm for Real-time Optimal Control with Input Constraints
arxiv.org·11h
🧠Machine Learning
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·11h
📏Linear Logic
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·3h·
Discuss: Hacker News
✨Effect Handlers
Multiplicative Modular Nim (MuM)
arxiv.org·2d
🎞️Tape Combinatorics
Loading...Loading more...
AboutBlogChangelogRoadmap