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

Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly

Upgrading the CircuitHub codebase to GHC-9.10
informal.codes·3d
🔗Functional Compilers
The Delusion Machine
hedgehogreview.com·1d
🔲Proof Irrelevance
AI's hidden state in the execution stack
ayende.com·3d
🎯Gradual Typing
Desync the Planet – Rsync Remote Code Execution
phrack.org·3d·
Discuss: Lobsters
🌳Archive Merkle Trees
From Sound to Meaning: A Deep Meaning Comprehension by DeepSeek
medium.com·1d·
Discuss: Hacker News
💻Programming languages
This chip designer you've never heard of reveals first thermodynamic silicon in a bid to reduce AI's unsustainable energy consumption
techradar.com·1d
⚡Homebrew CPUs
Micro-management by proxy: reflections on generative AI in the workplace
morungos.com·3d·
Discuss: Hacker News
📏Code Metrics
Researchers reveal histone deacetylase 2-mediated regulation of PhyA stability in plant far-red light sensing
phys.org·1d
🧬Copy Number Variants
Radxa Cubie A7A is a powerful SBC based on Allwinner A733 Cortex-A76/A55 AI SoC with up to 16GB RAM
cnx-software.com·2d
🖥️Modern CPU
The 4 Pillars of Successful LLMOps
thenewstack.io·3d
💻Local LLMs
The Long Season of Langdev
blog.fogus.me·2d·
Discuss: Lobsters, Hacker News
💻Programming languages
MATA (m\=ata): Mindful Assessment of the Telugu Abilities of Large Language Models
arxiv.org·2d
💻Local LLMs
Don’t Just Build AI. Own It. 🚀
dev.to·21h·
Discuss: DEV
🖥️Self-hosted Infrastructure
EmoSLLM: Parameter-Efficient Adaptation of LLMs for Speech Emotion Recognition
arxiv.org·1d
🎵Audio ML
Anderson Acceleration For Perturbed Newton Methods
arxiv.org·3d
📐Linear Algebra
Zooming in reveals a world of detail: Protein mapping technique reveals inner workings of cells
phys.org·12h
🧬Copy Number Variants
The Great Cognitive Handoff: How AI-Assisted Development Is Rewiring Civlization
zakelfassi.com·4d·
Discuss: Hacker News
🌍Cultural Algorithms
Building an Autonomous Token Deployment Agent on Celo
dev.to·15h·
Discuss: DEV
⚡Proof Automation
The Growing Need for Online Tools in 2025 and Future
dev.to·23h·
Discuss: DEV
📰RSS Archaeology
Dynamic Reconfiguration of Microfluidic Channels via Programmable Shape Memory Polymer Actuators for Lab-on-a-Chip Applications
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap