Invincible Island (1983)
bluerenga.blog·13h
🔓Hacking
Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.io·5d
🧮Algebraic Datatypes
Reverse engineering GitHub Actions cache to make it fast
blacksmith.sh·4h·
Discuss: Hacker News
🏎️Varnish Cache
Thunderforge Brings AI Agents to Wargames
spectrum.ieee.org·4h·
Discuss: r/technews
⚡Proof Automation
"The Bitter Lesson" is wrong. Well sort of
assaf-pinhasi.medium.com·3d·
Discuss: Hacker News
🧠Intelligence Compression
Go library: CEL predicates to SQL conditions (PostgreSQL Dialect)
reddit.com·2d·
Discuss: r/golang
🧩SQLite Extensions
Geophysics-informed neural network for model-based seismic inversion using surrogate point spread functions
arxiv.org·1d
🌀Differential Geometry
AI Controlled Browser That Worked
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
MCP (Model Context Protocol) Explained Simply 🤖
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
GeoHNNs: Geometric Hamiltonian Neural Networks
arxiv.org·1d
🌀Hyperbolic Geometry
Graph Attention Specialized Expert Fusion Model for Node Classification: Based on Cora and Pubmed Datasets
arxiv.org·1d
🕸️Graph Embeddings
🚀 15+ Free & Powerful Tools Every Developer, Hacker, and Tech Enthusiast Should Bookmark in 2025 💻✨
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Estimating Treatment Effects with Independent Component Analysis
arxiv.org·13h
🌀Riemannian Computing
Promptle – The Daily AI Prompt Challenge
dev.to·1d·
Discuss: DEV
🎙️Whisper
Strategically Robust Game Theory via Optimal Transport
arxiv.org·1d
🔲Cellular Automata
My Little Survey Invite
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code
Fmtlib / fmt A modern formatting library
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
Implementing data contracts on Databricks for industrial AI pipelines
dev.to·6h·
Discuss: DEV
🌊Stream Processing
IConMark: Robust Interpretable Concept-Based Watermark For AI Images
arxiv.org·2d
💧Digital Watermarking
Recursive and non-recursive filters for sequential smoothing and prediction with instantaneous phase and frequency estimation applications (extended version)
arxiv.org·1d
🌊Digital Signal Processing