🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

Daehyeok Kim Wins National Research Award for Advancing Cloud Hardware Efficiency
cs.utexas.edu·5h
🌊Streaming Systems
My rolling-rack homelab is finally (sort of) tidy—check it out & hit me with budget 24-port switch ideas!
preview.redd.it·9h·
Discuss: r/homelab
🏠HomeLab
Subliminal Learning: Language Models Transmit Behavioral Traits via Hidden Signals in Data
simonwillison.net·1d
🤖Grammar Induction
Show HN: RewriteBar v2.13.2: Review Window Improvements, Localizations and More
rewritebar.com·19h·
Discuss: Hacker News
📝Concrete Syntax
Downloading arbitrary Apple Podcast episode transcripts
blog.alexbeals.com·7h·
Discuss: Hacker News
✅FLAC Verification
Show HN: An API for human-powered browser tasks
browser-work.com·2d·
Discuss: Hacker News
🌐Web Standards
Vitalik Buterin's response to AI 2027
vitalik.eth.limo·1d·
Discuss: Hacker News
🔲Cellular Automata
Sam Altman warns of "significant, impending fraud crisis" due to AI
the-decoder.com·13h
🔓Hacking
Morally corrupt innovations are the easiest innovations to create
ceoretort.com·5h·
Discuss: Hacker News
⚖️Emulation Ethics
Can AI think—and should it? What it means to think, from Plato to ChatGPT
phys.org·2d
🔲Cellular Automata
Smart Routing Saved Exa 90% on LLM Costs
inference.net·1d·
Discuss: Hacker News
🌀Brotli Internals
Five fundamentals for a cyber-resilient future
news.sophos.com·17h
🎯Threat Hunting
Anthropic says that AI can learn risky behaviors even when the training data looks completely safe
the-decoder.com·13h
🎙️Whisper
Recursive Equations For Imputation Of Missing Not At Random Data With Sparse Pattern Support
arxiv.org·1d
🌸Bloom Variants
Using Generative Artificial Intelligence Creatively in the Classroom and Research: Examples and Lessons Learned
arxiv.org·1d
🔲Cellular Automata
Zup: The Self-Healing CLI That Automates Your Dev Environment
dev.to·15h·
Discuss: DEV
🐚Shell Automation
First deliverable: Building with Bolt - WLH Challenge
dev.to·1d·
Discuss: DEV
⚙️PL Implementation
Giving Red Teamers a Tactical AI Copilot (Without Losing Control)
dev.to·5h·
Discuss: DEV
🚀Indie Hacking
SAFT: Structure-Aware Fine-Tuning of LLMs for AMR-to-Text Generation
arxiv.org·3d
📋Document Grammar
From Semantics, Scene to Instance-awareness: Distilling Foundation Model for Open-vocabulary Situation Recognition
arxiv.org·2d
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap