🐿️ 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

Bitmapist: We built an open-source cohorts analytics tool that saved millions
doist.dev·1d·
Discuss: Hacker News
📊Count-Min Sketch
Parklife: Turn a Rack app into a static build
parklife.dev·2h·
Discuss: Hacker News
🦋Format Metamorphosis
Implementing Bloom Filters in C (2022)
andreinc.net·6d·
Discuss: Hacker News
🌸Bloom Filters
Show HN: Docucod – Automatic documentation for any codebase
news.ycombinator.com·1d·
Discuss: Hacker News
🌳Git Internals
Why Choose NumPy Over Python Lists 2
dev.to·10h·
Discuss: DEV
⚡Homebrew CPUs
Optimizing Active Learning in Vision-Language Models via Parameter-Efficient Uncertainty Calibration
arxiv.org·1d
🧠Machine Learning
Rethinking Few Shot CLIP Benchmarks: A Critical Analysis in the Inductive Setting
arxiv.org·2d
📊Count-Min Sketch
Why Developers Need Mobile-First Error Tracking (And How We Built It)
hackernoon.com·1d
👁️Observatory Systems
Fine-tune and deploy Meta Llama 3.2 Vision for generative AI-powered web automation using AWS DLCs, Amazon EKS, and Amazon Bedrock
aws.amazon.com·2d
🏠Homelab Orchestration
Geometric-Perturbation-Robust Cut-Cell Scheme for Two-Material Flows: Exact Pressure-Equilibrium Preservation and Rigorous Analysis
arxiv.org·2d
🌀Differential Geometry
How Kiro IDE Supercharged NeonQuest: From YAML Specs to Dynamic Cyberpunk Dungeons
dev.to·3d·
Discuss: DEV
📼Retro Games
Why LLMs struggle with analytics
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Diving Deep into Logistic Regression: Sigmoid, Probabilities, and Predictive Power
dev.to·19h·
Discuss: DEV
🧠Machine Learning
Show HN: I built a Privacy First local AI RAG GUI for your own documents
github.com·4d·
Discuss: Hacker News, r/LocalLLaMA
🤖Archive Automation
Before Launching My AI Tool, I Rebuilt the Onboarding 3 Times. Here’s Why
dev.to·1h·
Discuss: DEV
👑Isabelle
What is Python Any Type
dev.to·3d·
Discuss: DEV
🎯Gradual Typing
Leveraging Fine-Tuned Large Language Models for Interpretable Pancreatic Cystic Lesion Feature Extraction and Risk Categorization
arxiv.org·2d
🧮Kolmogorov Bounds
Can large language models assist choice modelling? Insights into prompting strategies and current models capabilities
arxiv.org·1d
💻Local LLMs
AI Ethics: Navigating Future Challenges
dev.to·20h·
Discuss: DEV
🤖AI Curation
RAG to Riches: Transforming AI with Smarter Context
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap