๐Ÿฟ๏ธ 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ยท1d
๐Ÿ–ฅ๏ธModern Terminals
Exploring LLMs for ICD Coding โ€“ Part 1
medium.comยท2dยท
Discuss: Hacker News
๐Ÿ”คCharacter Classification
Effective Code Reviews with Conventional Comments โ€ข Paul Slaughter & Adrienne Braganza
youtube.comยท1d
๐Ÿ“Code Metrics
Pydantic AI Reaches V1
pydantic.devยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Prompts Gone Viral: Practical Code Assistant AI Viruses
hiddenlayer.comยท10hยท
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ยท3dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
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ยท1dยท
Discuss: DEV
๐Ÿ›ก๏ธError Boundaries
Building AI Voice Agents: Automating Customer Interactions for Seamless Business Operations
dev.toยท1hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Robotic Fabric Whisperers: Teaching AI to Handle Delicate Materials by Arvind Sundararajan
dev.toยท9hยท
Discuss: DEV
โœ‹Tactile Computing
LLMs from Scratch Using Middle School Math โ€“ TDS Archive
medium.comยท2dยท
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ยท19hยท
Discuss: DEV
๐Ÿ“ผTape Combinators
Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations
arxiv.orgยท3d
๐Ÿ’ปLocal LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap