๐Ÿฟ๏ธ 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

Transitous Hack Weekend July 2025
volkerkrause.euยท2d
๐Ÿ”€CRDT
Elixir background jobs: choosing the right tool for the job
honeybadger.ioยท7h
๐ŸŒŠStream Processing
Multiple vulnerabilities in the web management interface of Intelbras routers
seclists.orgยท1d
๐ŸŒNetwork Protocols
The smooth resize test (2019)
raphlinus.github.ioยท16hยท
Discuss: Hacker News
๐ŸŽฏEmulator Accuracy
Cresting the 0Caml Al Humps
anil.recoil.orgยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
The borrowchecker is what I like the least about Rust
viralinstruction.comยท21h
๐Ÿฆ€Rust Borrowing
Maybe writing speed actually is a bottleneck for programming
buttondown.comยท3dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Image Search: An internet-powered image search and conversion for C64 OS
c64os.comยท14hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธVintage Macintosh
ToolShell Mass Exploitation (CVE-2025-53770)
research.eye.securityยท10hยท
Discuss: Hacker News
๐ŸŽซKerberos Exploitation
Tips for Writing Clean Code in TensorFlow 2
hackernoon.comยท22h
๐Ÿ“ŠQuantization
Advanced React Hooks: 10 Key Concepts for Experienced Developers
dev.toยท1hยท
Discuss: DEV
๐ŸงฉWASM Components
RAG at the Crossroads - Mid-2025 Reflections on AIโ€™s Incremental Evolution | RAGFlow
ragflow.ioยท2dยท
Discuss: Hacker News, r/LocalLLaMA
๐ŸŒ€Brotli Internals
How the Free Software Foundation Battles the LLM Bots
thenewstack.ioยท18hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
A multi-strategy improved snake optimizer for three-dimensional UAV path planning and engineering problems
arxiv.orgยท3h
๐Ÿ“ŠComputational Geometry
The Real Problem with AI Agents (and How We Built the Fix)
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
FlexOlmo enables organizations to collaboratively train LLMs without data sharing
the-decoder.comยท1d
๐ŸŽ™๏ธWhisper
Air Traffic Controller Task Demand via Graph Neural Networks: An Interpretable Approach to Airspace Complexity
arxiv.orgยท3h
๐Ÿ“ŠQuantization
Unveiling the Secrets of Multivariable Calculus: Partial Derivatives, Chain Rule, and Machine Learning
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Differential Geometry
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.comยท4d
๐Ÿ’ปLocal LLMs
MiniCourseX AI Review (2025): The Easiest Way To Create & Sell Your Own AI-Powered Mini Courses In Just 60 Seconds
dev.toยท1dยท
Discuss: DEV
๐ŸŽตAudio ML
Loading...Loading more...
AboutBlogChangelogRoadmap