🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Glycol, Far UVC, and CFM Measurement at BIDA
jefftk.com·1d
🧲Cassette Physics
Binary Patching: A Complete Step-by-Step Guide
infosecwriteups.com·16h
🦠Malware Analysis
Practical CI-friendly Performance Tests
solidean.com·6h·
Discuss: Lobsters, r/cpp
⚡Performance Mythology
CBconvert is a Comic Book converter
github.com·17h
📸TIFF Evolution
Wrote an in-depth blog on scaling modern transformers with n-D parallelism
jaxformer.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·1d·
Discuss: Hacker News
🔓Reverse engineering
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·3h·
Discuss: Hacker News
🌳Incremental Parsing
ReScript's Generalized Algebraic Data Types
rescript-lang.org·4d·
Discuss: Hacker News
✅Format Verification
Megawatts and Gigawatts of AI
oreilly.com·10h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The End of Engineering's Blank Check • Laura Tacho & Charles Humble • GOTO 2025
youtube.com·1d
🔓Open Source Software
Deploying AI to the Balkans
hapseer.com·7h·
Discuss: Hacker News
🤖AI Curation
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·17h
🖥️Hardware Architecture
Using AI as my engineering copilot (not autopilot)
dev.to·8h·
Discuss: DEV
✨Effect Handlers
Causal Multi-fidelity Surrogate Forward and Inverse Models for ICF Implosions
arxiv.org·17h
⚙️Tape Engineering
Neural ARFIMA model for forecasting BRIC exchange rates with long memory under oil shocks and policy uncertainties
arxiv.org·17h
🧠Machine Learning
CoCoNUTS: Concentrating on Content while Neglecting Uninformative Textual Styles for AI-Generated Peer Review Detection
arxiv.org·1d
🔍Information Retrieval
AI-Driven Predictive Maintenance Optimization via Quantum-Enhanced Feature Extraction for Infineon Power Modules
dev.to·1d·
Discuss: DEV
⚛️Quantum Error Correction
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·2d·
Discuss: Hacker News
🔄Lens Laws
Automated Anomaly Detection in Fatigue Crack Growth Using Multi-Modal Sensor Fusion & HyperScore
dev.to·1d·
Discuss: DEV
👁️System Observability
Automated Spectral Anomaly Detection in Ru-H Catalysts via Multi-modal Hypergraph Analysis
dev.to·20h·
Discuss: DEV
🌈Spectroscopy
Loading...Loading more...
AboutBlogChangelogRoadmap