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

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Go at american express today
americanexpress.ioยท5h
๐Ÿ”ŒInterface Evolution
How to reason from first principles
caseyhandmer.wordpress.comยท8h
๐ŸŽฏProof Tactics
API Auth Is Deeper Than It Looks
nango.devยท11hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ›ก๏ธeBPF Security
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.comยท4dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Python Fundamentals: bpython
dev.toยท4dยท
Discuss: DEV
๐Ÿ’งLiquid Types
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgยท3d
๐ŸŒDNS Security
The great misunderstanding of the DRY principle
pmatteo.comยท2dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.orgยท2dยท
Discuss: Hacker News, Hacker News
๐Ÿฆ€Rust Borrowing
Kiro and the future of AI spec-driven software development
kiro.devยท13hยท
Discuss: Lobsters, Hacker News
๐Ÿ”ŒInterface Evolution
Show HN: Notsc โ€“ A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.comยท1dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Dollars per token considered harmful
modal.comยท16hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.comยท9h
โš”๏ธLean Tactics
How AI on Microcontrollers Works: Registering Operators
danielmangum.comยท2dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lolยท2dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Effective Practices for Coding with a Chat-Based AI
infoq.comยท4hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
The FIPS 140-3 Go Cryptographic Module
go.devยท2dยท
Discuss: Lobsters, Hacker News, r/golang, r/programming
๐ŸŒŠStream Ciphers
An AI Skeptic Uses AI for a Week
keithjgrant.comยท1dยท
Discuss: Hacker News
โœจEffect Handlers
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.comยท1d
๐Ÿ”—Hash Chains
Loading...Loading more...
AboutBlogChangelogRoadmap