🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
λ Lambda Formalization

Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides

A suggestion to people who assign nicknames to meeting rooms
devblogs.microsoft.com·13h
📚MARC Evolution
Princeton student held hostage by Iran-backed militia for two years is free, Trump says
the-independent.com·6h
🛡Cybersecurity
Forming Names, Globally
cogdogblog.com·1h
🌳Format Genealogy
The Joy of Ex-Lib Books
jamierubin.net·15h
🌡️Preservation Physics
Data Is the New Diamond: Latest Moves by Hackers and Defenders
unit42.paloaltonetworks.com·4h
🚨Incident Response
How to Set Up Custom Domains for Your Customers (The Right Way)
vanitycert.com·22h·
Discuss: Hacker News
🌐DNS Security
So you want to control flow in PyTorch 2
blog.ezyang.com·4d·
Discuss: Hacker News
✨Effect Handlers
Relaunching Yakread: an algorithmic reading app
biffweb.com·3d·
Discuss: Hacker News
📰Feed Readers
A[I]s We Many Not Think (nor search, nor link)
cogdogblog.com·19h
🔍BitFunnel
The New Math of Quantum Cryptography
wired.com·2d·
Discuss: Hacker News
🔐Quantum Security
The Hacker’s Library: Uncovering the Best Books
infosecwriteups.com·3d
🔓Hacking
Show HN: Inertia – A keyframe animation editor for mobile apps
github.com·2h·
Discuss: Hacker News
🎬WebCodecs
The Last Programmers
xipu.li·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Language Evolution
Building An AI-Agnostic Conversation Logger - Phase 4: Mini-Me
blog.scottlogic.com·1d·
Discuss: Hacker News
✨Effect Handlers
Mutual Support by Sensor-Attacker Team for a Passive Target
arxiv.org·23h
🎯Threat Hunting
Breaking Changes: Why Your API Monitoring is Failing You (And How We Fixed It)
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
gogen - a CLI for bootstrapping fullstack Go apps
reddit.com·1d·
Discuss: r/golang
📦Git LFS
Multimodal Foundation Model-Driven User Interest Modeling and Behavior Analysis on Short Video Platforms
arxiv.org·1d
🧭Content Discovery
Real-Time Glacier Ice Core Anomaly Detection via Deep Variational Autoencoder and Statistical Ensemble Forecasting
dev.to·15h·
Discuss: DEV
🔍Vector Forensics
ShapeSplat: A Large-scale Dataset of Gaussian Splats and Their Self-Supervised Pretraining
arxiv.org·23h
📐Projective Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap