🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Testing AWS EventBridge for Cross-Region Event Replication
blog.devops.dev·22h
🌊Streaming Systems
1Password
corrode.dev·3d
🦀Rust Borrowing
Building a Language Server
bullno1.com·5d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
My first portfolio in Figma
dev.to·1d·
Discuss: DEV
🏛Digital humanities
PsyLite Technical Report
arxiv.org·2d
📄Document Digitization
Introducing MS MARCO Web Search: A New Era for LLM and IR Data
hackernoon.com·1d
🔍BitFunnel
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·5d
💧Liquid Types
VMware Fundamentals: Photon Packer Templates
dev.to·12h·
Discuss: DEV
🔐HSM Integration
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·5d·
Discuss: DEV
🔗Concatenative Programming
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·4d
🧠Intelligence Compression
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·4d
💻Local LLMs
AWS User Group Toronto @ Toronto Tech Week'25 – June Meetup Recap
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Why MindsDB is the Fastest Way to Build AI Agents Today
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
20+ Years in Tech: Things We Wish We Knew Sooner • Daniel Terhorst-North & Kevlin Henney • GOTO 2024
youtube.com·3d
🔌Interface Evolution
Machine Learning Fundamentals: accuracy with python
dev.to·5d·
Discuss: DEV
👁️Observatory Systems
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·4d
🎙️Whisper
Heartbeat of Modern Web Real Time Patterns User Design(1751092563961200)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Memory Safety in Web Rust System Zero Cost Secure(1750885516953300)
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Vue.js Image Optimization: Beyond the Basics
dev.to·1d·
Discuss: DEV
🖼️JPEG XL
Machine Learning Fundamentals: active learning
dev.to·5d·
Discuss: DEV
🤖Grammar Induction
Loading...Loading more...
AboutBlogChangelogRoadmap