๐Ÿฟ๏ธ 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
Synopsys adds generative AI for chip development with Synopsys.ai Copilot design software
tomshardware.comยท18h
๐Ÿ–ฅ๏ธModern Terminals
Effective Code Reviews with Conventional Comments โ€ข Paul Slaughter & Adrienne Braganza
youtube.comยท22h
๐Ÿ“Code Metrics
Exploring LLMs for ICD Coding โ€“ Part 1
medium.comยท2dยท
Discuss: Hacker News
๐Ÿ”คCharacter Classification
Pydantic AI Reaches V1
pydantic.devยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Prompts Gone Viral: Practical Code Assistant AI Viruses
hiddenlayer.comยท54mยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.netยท1dยท
Discuss: Hacker News
๐ŸŽ™๏ธ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ยท19hยท
Discuss: Hacker News
โšกHomebrew CPUs
The Programming Skills You Need for Todayโ€™s Data Roles
towardsdatascience.comยท2d
๐ŸงชData science
Cyclic Implicit Complexity
arxiv.orgยท5d
๐ŸŽฏPerformance Proofs
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ยท19hยท
Discuss: DEV
โšกSMT Applications
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ยท16hยท
Discuss: DEV
๐Ÿ›ก๏ธError Boundaries
In Defense of AI Evals
sh-reya.comยท18hยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
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ยท2dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Breaking the Mirror: Activation-Based Mitigation of Self-Preference in LLM Evaluators
arxiv.orgยท1d
๐Ÿ’ปProgramming languages
Loading...Loading more...
AboutBlogChangelogRoadmap