🐿️ 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·23h
🌀Brotli Internals
Synopsys adds generative AI for chip development with Synopsys.ai Copilot design software
tomshardware.com·14h
🖥️Modern Terminals
Effective Code Reviews with Conventional Comments • Paul Slaughter & Adrienne Braganza
youtube.com·18h
📏Code Metrics
Exploring LLMs for ICD Coding – Part 1
medium.com·1d·
Discuss: Hacker News
🔤Character Classification
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
Build an AI coding agent in Python
theptrk.com·4d·
Discuss: Hacker News
⚡Proof Automation
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·3d·
Discuss: r/MachineLearning
🔗Constraint Handling
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.net·1d·
Discuss: Hacker News
🎙️Whisper
Automated Carbon Footprint Lifecycle Assessment via Dynamic Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Automated Sterility Assurance via Multi-Modal Biohazard Workstation Monitoring and Predictive Maintenance
dev.to·1d·
Discuss: DEV
📄Document Digitization
Are LLM Agents Behaviorally Coherent? Latent Profiles for Social Simulation
arxiv.org·1d
🔲Cellular Automata
EverTracer: Hunting Stolen Large Language Models via Stealthy and Robust Probabilistic Fingerprint
arxiv.org·2d
💻Local LLMs
Automated Circuit Fault Diagnosis via Dynamic Graph Neural Network Fusion
dev.to·16h·
Discuss: DEV
⚡Circuit Design
Llama-Server is All You Need (Plus a Management Layer)
dev.to·1d·
Discuss: DEV
🏠HomeLab
The Future of Generative AI Development: Trends, Tools, and Frameworks
dev.to·20h·
Discuss: DEV
⚡Incremental Computation
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
arxiv.org·2d
🔤Type Theory
Using LangGraph and MCP Servers to Create My Own Voice Assistant
towardsdatascience.com·1d
🎙️Whisper
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·1d·
Discuss: Hacker News
⚡Proof Automation
No-CPU Amiga Demo and Framework
github.com·15h·
Discuss: Hacker News
⚡Homebrew CPUs
The Programming Skills You Need for Today’s Data Roles
towardsdatascience.com·1d
🧪Data science
Loading...Loading more...
AboutBlogChangelogRoadmap