๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ฒ Proof Irrelevance

Squash Types, Proposition Equality, Setoid Model, Type Theory

Debian 13
jonathancarter.orgยท6h
๐Ÿ”ŒOperating system internals
A Spellchecker Used to Be a Major Feat of Software Engineering
prog21.dadgum.comยท2dยท
Discuss: Lobsters, Hacker News
๐ŸŒณTrie Structures
Software Modernization Projects Dilemma: Think Twice โ€” Focus is Saying No
medium.comยท8hยท
Discuss: Hacker News, r/programming
๐Ÿ”„Language Evolution
Pushing the limits of long-context LLM training for 1M-token+ medical records
akasa.comยท3dยท
Discuss: Hacker News
๐ŸŽตAudio ML
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs โ€“ InfoQ
infoq.comยท22hยท
Discuss: Hacker News
๐Ÿ“ŸCLI Design
When OpenAI Fires Your Favorite Coworker
relantic.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Hyperdimensional Analysis of Thyroid Hormone Receptor Binding Affinities for Optimized Drug Design
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ŽInformation Crystallography
TypeScript 5.9 Brings Less Friction, More Features
thenewstack.ioยท1d
๐Ÿ”ŒInterface Evolution
Automated Multi-Metric Scoring System for Serum Amyloid A (SAA) Isoform Profiling in Acute Inflammation
dev.toยท5hยท
Discuss: DEV
๐Ÿค–Archive Automation
From 325 Repos to Clarity โ€” How I Used AI to Build a GitHub Cleanup Tool in Hours
dev.toยท2hยท
Discuss: DEV
๐Ÿค–Archive Automation
Flexible Automatic Identification and Removal (FAIR)-Pruner: An Efficient Neural Network Pruning Method
arxiv.orgยท5d
๐Ÿง Machine Learning
Mastering LLM Temperature: A Step-by-Step Guide
dev.toยท4dยท
Discuss: DEV
๐ŸงฎKolmogorov Bounds
A comprehensive taxonomy of hallucinations in Large Language Models
arxiv.orgยท5d
๐ŸŒณContext free grammars
Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis
arxiv.orgยท4d
โš”๏ธLean Tactics
How Deep Is Representational Bias in LLMs? The Cases of Caste and Religion
arxiv.orgยท3d
๐Ÿ›Digital humanities
My Lethal Trifecta talk at the Bay Area AI Security Meetup
simonwillison.netยท1dยท
Discuss: Hacker News
๐Ÿ”“Hacking
Automated Ultrasound Ablation Parameter Optimization via Reinforcement Learning and Real-Time Tissue Characterization
dev.toยท9hยท
Discuss: DEV
๐ŸงฎAlgorithmic Cooking
SGDFuse: SAM-Guided Diffusion for High-Fidelity Infrared and Visible Image Fusion
arxiv.orgยท2d
๐ŸŒˆColor Science
Automated FLIM Data Calibration via Bayesian Meta-Learning and Adaptive Kernel Regression
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ฟOptical Forensics
I tested OpenAI GPT-5. The results were not what I expected!
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏEmulator Accuracy
Loading...Loading more...
AboutBlogChangelogRoadmap