🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Prusa on Open Hardware 3D Printing
taoofmac.com·1h
🧲RISC-V Archaeology
NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices
nist.gov·1d·
Discuss: Hacker News, r/embedded
🔐Soviet Cryptography
Things I said as a manager part 4: Always be pitching
reactiverobot.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Modifying Other People's Software
natkr.com·1d·
Discuss: Lobsters, Hacker News
🌿git
Should we remove XSLT from the web platform?
github.com·7h·
Discuss: Hacker News
🔀XSLT
Google Develops KFuzzTest For Fuzzing Internal Linux Kernel Functions
phoronix.com·1d
🧪Binary Fuzzing
I created a thing!
reddit.com·1d·
Discuss: r/homelab
⚙️DIY Electronics
Hugging Face in Production: Hidden Risks AI Startups Often Miss
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Geometry-Aware Spiking Graph Neural Network
arxiv.org·3d
🌀Hyperbolic Geometry
Learning Generalizable and Efficient Image Watermarking via Hierarchical Two-Stage Optimization
arxiv.org·2d
💧Digital Watermarking
Description and Comparative Analysis of QuRE: A New Industrial Requirements Quality Dataset
arxiv.org·2d
📏Code Metrics
Silicon Minds versus Human Hearts: The Wisdom of Crowds Beats the Wisdom of AI in Emotion Recognition
arxiv.org·2d
🧠Intelligence Compression
Automated Optimization of FinFET Channel Doping Profiles via Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
The Jobs AI Can’t Touch (Yet): Why Some Roles Are Safe from Automation
dev.to·18h·
Discuss: DEV
💾Persistence Strategies
ChatGPT just gave me a hard truth that I probably needed to hear and I am shook
techradar.com·1d
⚡Proof Automation
NEURAL: Attention-Guided Pruning for Unified Multimodal Resource-Constrained Clinical Evaluation
arxiv.org·1d
🧠Machine Learning
Boost TensorFlow Training Speed by 50% with These TPU Tricks
hackernoon.com·2d
🎯Emulator Accuracy
Building a Neural Network is Easy. The Hard Part is Making It Think
dev.to·3d·
Discuss: DEV
🎧Learned Audio
Algol 68: The ambitious systems language that never beat C
news.ycombinator.com·2d·
Discuss: Hacker News
💻Programming languages
Adaptive Magnetohydrodynamic Flow Control via Reinforcement Learning for Hypersonic Vehicle Stability
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Loading...Loading more...
AboutBlogChangelogRoadmap