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

Inside the behind the scenes battle for the future of the web
businessinsider.com·59m
🔍BitFunnel
Show HN: Convert Google Sheets to Code
sheet2code.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·2d·
Discuss: Hacker News
🕸️Graph Algorithms
Scientific Word 4.1-6.1 are now free
mackichan.com·1d·
Discuss: Hacker News
🐧FOSS
How We Built Our lakeFS Iceberg Catalog
lakefs.io·2d·
Discuss: Hacker News
📦METS Containers
C++26: erroneous behaviour
sandordargo.com·2d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔒Type Safety
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·20h·
Discuss: Hacker News
📟CLI Design
Show HN: Hyperif – Chat with your data across all your tools
hyperif.com·20h·
Discuss: Hacker News
🔗Hypermedia APIs
SED News: Perplexity’s Chrome Play, Meta’s AI Freeze, and Intel Becomes Too Big to Fail
softwareengineeringdaily.com·58m
📰RSS Archaeology
Prompts Gone Viral: Practical Code Assistant AI Viruses
hiddenlayer.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Prompt injection as a solution to make agents reliable
controlpla.in·3d·
Discuss: Hacker News
⚡Proof Automation
Stegoint: Where is steganography? | TryHackMe CTF
infosecwriteups.com·3h
🕵️Steganographic Archives
Hybrid Fourier Neural Operator-Plasma Fluid Model for Fast and Accurate Multiscale Simulations of High Power Microwave Breakdown
arxiv.org·5h
⚛️Information Physics
Multi-EuP: The Multilingual European Parliament Dataset for Analysis of Bias in Information Retrieval
arxiv.org·5h
📊Multi-vector RAG
Announcing slimcontext: A Lightweight, Model-Agnostic Chat History Compression Utility 🚀
dev.to·1d·
Discuss: DEV
🎙️Whisper
Explained, yet misunderstood: How AI Literacy shapes HR Managers' interpretation of User Interfaces in Recruiting Recommender Systems
arxiv.org·5h
🎯Content Recommendation
On the Reproducibility of "FairCLIP: Harnessing Fairness in Vision-Language Learning''
arxiv.org·5h
📊Learned Metrics
Enhanced Microfluidic Heat Sink Design via Graph Neural Network Optimization of Channel Geometries
dev.to·3h·
Discuss: DEV
⚡CPU Microarchitecture
Tutorial - Building an AI Deepfake Detector Chrome Plugin
dev.to·1d·
Discuss: DEV
💿FLAC Archaeology
Adaptive Quantization-Aware Pruning for Efficient Federated Learning of Edge AI Models
dev.to·2d·
Discuss: DEV
📊Quantization
Loading...Loading more...
AboutBlogChangelogRoadmap