🐿️ 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

Tiny Jubjub
johndcook.com·16h
🌳Archive Merkle Trees
Getting self-electrocuted is one effective way to beat anti-cheat and improve your shooter skills
techspot.com·4h
🔓Hacking
Watch This Guy Make Stuff Out Of Cardboard
theworksofegan.net·9h
⚙️DIY Electronics
Understanding Python Namespace Packages
pythonkoans.substack.com·1d·
Discuss: Substack
📦Package Managers
Tiny tips for an elevated macOS experience
vvvincent.me·23h·
Discuss: Hacker News
🪟Awesome windows command-line
Integrating Dermaplaning Equipment with IoT Sensors for Real-Time Monitoring
dev.to·1d·
Discuss: DEV
🏠Home Automation
OpenAI's AI system wins a gold medal-level score at the International Olympiad in Informatics 2025
the-decoder.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Cisco C240 M5 10 pin connector on Riser 2 question 10 to 8+6
reddit.com·4h·
Discuss: r/homelab
🏠Homelab Pentesting
CodeSOD: Round Strips
thedailywtf.com·2d
🧪Binary Fuzzing
The AI Code Generation Security Crisis (And How We're Failing to Address It)
dev.to·2d·
Discuss: DEV
🛡️WASM Sandboxing
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·6d
✅Formal Methods
Dynamic Holographic Rendering Adaptation via Multi-Modal Data Fusion and Generative Adversarial Networks
dev.to·1d·
Discuss: DEV
🌈Color Science
How I Used Claude to Create and Assign Issues in Linear
dev.to·1d·
Discuss: DEV
👑Isabelle
The Fair Game: Auditing & Debiasing AI Algorithms Over Time
arxiv.org·3d
🔍Vector Forensics
FLUID: Flow-Latent Unified Integration via Token Distillation for Expert Specialization in Multimodal Learning
arxiv.org·2d
🧠Machine Learning
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.org·2d
🌳Context free grammars
Investigating Intersectional Bias in Large Language Models using Confidence Disparities in Coreference Resolution
arxiv.org·2d
⚙️Compression Benchmarking
Heartificial Intelligence: Exploring Empathy in Language Models
arxiv.org·1d
🏛Digital humanities
The Developer Stack That Ended My Context Switching
dev.to·1d·
Discuss: DEV
🔩Systems Programming
MInDI-3D: Iterative Deep Learning in 3D for Sparse-view Cone Beam Computed Tomography
arxiv.org·3h
🏺Computational Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap