Extensions and Shadows (6)
sites.psu.edu·4d
🎯Proof Tactics
Can You Meet Me at the Mall?
thefiddler.substack.com·22h·
Discuss: Substack
🎯Interactive Provers
Daily Log: The "Vibe Check" Protocol
whtwnd.com·3h·
Discuss: Hacker News
📻Homebrew Protocols
Scraping and vibe coding a schedule app for Open Sauce 2025 entirely on my phone
simonwillison.net·1d·
Discuss: Lobsters, Hacker News
📡RSS Automation
Getting off US tech: a guide
disconnect.blog·18h·
Discuss: Hacker News
🕸️WASM Archives
What's happening to Matlab? Or, "The slow demise of the engineering toolbox"
blog.pictor.us·1d·
Discuss: Hacker News
🔩Systems Programming
More reliable bioinformatics tools for the study of proteins
phys.org·20h
🧬Copy Number Variants
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·1h·
Discuss: Hacker News, r/C_Programming
🔗Static Linking
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·1d
🖥️Terminal Renaissance
From Entity SEO to LLM Discoverability: How 1st.Partners Builds Affiliate Infrastructure for the AI Era
dev.to·1d·
Discuss: DEV
📰Content Curation
C-FBI: A Combinatorial method using Convolutions for Circle Fitting in Blurry Images
arxiv.org·3d
🌀Fractal Compression
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·1d
🔲Cellular Automata
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·2d
🤐Secure Multiparty
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·3d
🔗Hash Chains
GALDS: A Graph-Autoencoder-based Latent Dynamics Surrogate model to predict neurite material transport
arxiv.org·3d
🌀Riemannian Computing
Data Fusion and Aggregation Methods to Develop Composite Indexes for a Sustainable Future
arxiv.org·4d
🧠Query Planners
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·1d
🧠Neural Compression
Machine Learning Fundamentals: decision trees with python
dev.to·3d·
Discuss: DEV
🔗Topological Sorting
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·1d
📐Geometric Hashing
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·2d·
Discuss: DEV
🧭Content Discovery