๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Linear Logic

Resource Awareness, Session Types, Proof Nets, Substructural Logic

Read more: Swiss SMEs struggling to find employees
swissinfo.chยท1d
๐Ÿ”ŒMicrocontrollers
Michael Ossmann Gives A First Look at the HackRF Pro in YouTube Video
rtl-sdr.comยท7h
๐Ÿ“ปHomebrew Protocols
A Comedy Writer on How AI Changes Her Field
dbreunig.comยท13h
๐ŸŽงLearned Audio
Java Async Profiler manual by use cases (2022)
krzysztofslusarski.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ“ŠPerformance Profiling
P Verified
b-hilprecht.github.ioยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸคDistributed Consensus
I Just Wanted a RAID Array
russ.har.mnยท1dยท
Discuss: Hacker News, r/selfhosted
๐Ÿ’ฟZFS Internals
What Optimization Terminologies for Linear Programming Really Mean
towardsdatascience.comยท3d
๐Ÿ“ˆLinear programming
Can I trust this paper?
link.springer.comยท2dยท
Discuss: Hacker News
๐Ÿ’งManuscript Watermarks
Purchase and Production Optimization in a Meat Processing Plant
arxiv.orgยท3d
๐Ÿ“ˆLinear programming
LLMs Tend to Be Overconfident
link.springer.comยท3dยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Do Large Language Models Have a Planning Theory of Mind? Evidence from MindGames: a Multi-Step Persuasion Task
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata
The problem with AI agents isnโ€™t the model, itโ€™s missing context (and we built the fix)
dev.toยท2dยท
Discuss: DEV
โš™๏ธTLA+
Agentic Coding is Now, Old Man
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
ZORMS-LfD: Learning from Demonstrations with Zeroth-Order Random Matrix Search
arxiv.orgยท2d
๐ŸงฎSMT Solvers
BetterCheck: Towards Safeguarding VLMs for Automotive Perception Systems
arxiv.orgยท2d
๐Ÿ—œ๏ธLZW Variants
CLARIFID: Improving Radiology Report Generation by Reinforcing Clinically Accurate Impressions and Enforcing Detailed Findings
arxiv.orgยท2d
โš™๏ธCompression Benchmarking
Boost cold-start recommendations with vLLM on AWS Trainium
aws.amazon.comยท1d
๐Ÿ“ŠFeed Optimization
AI Code Generation, Smarter and More Cost-Efficient with Context Engineering
dev.toยท5dยท
Discuss: DEV
โšกProof Automation
Automated Brake Onset Detection in Naturalistic Driving Data
arxiv.orgยท1d
๐Ÿ”„Finite State Machines
Neural Machine Unranking
arxiv.orgยท1d
๐Ÿง Learned Indexing
Loading...Loading more...
AboutBlogChangelogRoadmap