🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

How to run an LLM on your laptop
technologyreview.com·22h
💻Local LLMs
Project SERVFAIL: one year in
sdomi.pl·1d
📡BGP Archaeology
Unsure About the Future of Windsurf? Try These Alternative Vibe Coding Editors on Linux
itsfoss.com·2d
🔓Open Source Software
This “smart coach” helps LLMs switch between text and code
news.mit.edu·1d
💻Local LLMs
Zig's new Writer
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Trying Guix: A Nixer's Impressions
tazj.in·3d·
Discuss: Lobsters, Hacker News, Hacker News
❄️Nix Adoption
Benchmarking AWS Nova on Log Data: How It Compares to ChatGPT-3.5
bronto.io·3d·
Discuss: Hacker News
📝Log Parsing
Opening a Six-Lock Safe With One Key Using Brunnian Links
hackaday.com·1d
🔓Password Cracking
Kiro and the future of AI spec-driven software development
kiro.dev·2d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Comparison of defining interfaces in the consumer vs. producer when it comes to developing a microservice
reddit.com·1d·
Discuss: r/golang
🔌Interface Evolution
[P] Building a VTON model from scratch, any advice?
reddit.com·18h·
Discuss: r/MachineLearning
🌈Holographic Storage
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·4d·
Discuss: r/programming
✅Format Verification
"high level" languages are easier to optimize
jyn.dev·6d·
Discuss: Hacker News
🔨Compilers
What’s the rule of thumb for when to use pointers in Go?
reddit.com·2d·
Discuss: r/golang
🔗Concatenative Programming
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·1d
📝ABNF Parsing
From Console to GUI: Building My Python DataProcessor (v1.0.0 Release!)
dev.to·3h·
Discuss: DEV
📟Terminals
How to Access Grok 4 API
dev.to·8h·
Discuss: DEV
🔗Hypermedia APIs
LuCI on MGMT - Day 7
dev.to·2d·
Discuss: DEV
📻Homebrew Protocols
How to Develop a Web Application for 10K+ Users, Heavily Performing I/O-Bound Operations
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Loading...Loading more...
AboutBlogChangelogRoadmap