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

Kotlin is more than just the Android house language
stackoverflow.blog·1d
🌀Brotli Internals
Pydantic AI Reaches V1
pydantic.dev·1d·
Discuss: Hacker News
⚙️Proof Engineering
Prompts Gone Viral: Practical Code Assistant AI Viruses
hiddenlayer.com·4h·
Discuss: Hacker News
🚀Indie Hacking
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.net·1d·
Discuss: Hacker News
🎙️Whisper
SectorC: A C Compiler in 512 bytes (2023)
xorvoid.com·2d·
Discuss: Hacker News
🔩Systems Programming
Automated ACE Inhibitor Lead Optimization via Multi-Modal Data Fusion and HyperScore Scoring
dev.to·2d·
Discuss: DEV
🗂️Vector Search
Predictive Maintenance of Unitized Curtain Wall Systems via Multi-Modal Sensor Fusion and Anomaly Detection
dev.to·23h·
Discuss: DEV
⚡SMT Applications
In Defense of AI Evals
sh-reya.com·21h·
Discuss: Hacker News
🔍Concolic Testing
Vehicle-to-Infrastructure Collaborative Spatial Perception via Multimodal Large Language Models
arxiv.org·1d
⧗Information Bottleneck
Automated Vulnerability Analysis & Remediation via Reinforcement Learning in Programmable Logic Controllers (PLCs)
dev.to·20h·
Discuss: DEV
🛡️Error Boundaries
Robotic Fabric Whisperers: Teaching AI to Handle Delicate Materials by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
✋Tactile Computing
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·1d·
Discuss: Hacker News
📊Quantization
Portable Targeted Sampling Framework Using LLVM
arxiv.org·2d
🎯Emulation Accuracy
Phase 4.6: Breaking the Monolith - A Strategic Repository Split
dev.to·3d·
Discuss: DEV
🔄Reproducible Builds
Breaking the Mirror: Activation-Based Mitigation of Self-Preference in LLM Evaluators
arxiv.org·1d
💻Programming languages
Enhancing Speech Large Language Models through Reinforced Behavior Alignment
arxiv.org·1d
🗣️CMU Pronouncing
Ergo Framework v3.1.0 Released
github.com·1d
🔌Interface Evolution
Breaking Infinity: Smarter Planning for Limitless Problems
dev.to·13h·
Discuss: DEV
📼Tape Combinators
Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations
arxiv.org·3d
💻Local LLMs
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap