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

How we made our CICD pipelines 30% faster by putting things in parallel
janmeppe.com·1d
⚡Parallel Computing
NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices
nist.gov·1d·
Discuss: Hacker News, r/embedded
🔐Soviet Cryptography
Show HN: Tenum – a serverless full‑stack Dev Plattform and Runtime
tenum.ai·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Modifying Other People's Software
natkr.com·1d·
Discuss: Lobsters, Hacker News
🌿git
The Internal Tooling Maturity Ladder
robbyonrails.com·1d·
Discuss: Hacker News, r/programming
📟CLI Design
Three big lessons from the GPT-5 backlash
platformer.news·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
The 5 big Apple Intelligence updates you can try right now in the iOS 26 public beta
techradar.com·10h
🍎Apple Archive
Differential Physiological Responses to Proxemic and Facial Threats in Virtual Avatar Interactions
arxiv.org·8h
🏛Digital humanities
Building a Neural Network is Easy. The Hard Part is Making It Think
dev.to·3d·
Discuss: DEV
🎧Learned Audio
Hugging Face in Production: Hidden Risks AI Startups Often Miss
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
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
How I Built ArchonCLI: A Free, Lightweight AI Coding CLI Tool for Developers on a Budget
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
A Markov Decision Process Framework for Early Maneuver Decisions in Satellite Collision Avoidance
arxiv.org·4d
🔲Cellular Automata
M2IO-R1: An Efficient RL-Enhanced Reasoning Framework for Multimodal Retrieval Augmented Multimodal Generation
arxiv.org·4d
🧮Vector Embeddings
Assessing LLM Text Detection in Educational Contexts: Does Human Contribution Affect Detection?
arxiv.org·3d
💻Local LLMs
Unequal Uncertainty: Rethinking Algorithmic Interventions for Mitigating Discrimination from AI
arxiv.org·3d
🧮Kolmogorov Bounds
Large Language Models for Subjective Language Understanding: A Survey
arxiv.org·3d
📝Parsing Grammars
LLMs are not like you and me—and never will be.
garymarcus.substack.com·2d·
Discuss: Substack
💻Local LLMs
Does Vibe Coding Work?
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap