🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

MRF Not DEI
synystron.substack.com·10h·
Discuss: Substack
🧲Magnetic Philosophy
Physics+ Brachistochrone: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·3d·
Discuss: www.blogger.com
⚙Backus-Naur Form
Stupid Things That Work
ryanglover.net·12h·
Discuss: Hacker News
🧪Cassette Hacks
Apache SkyWalking: APM system designed for microservices, cloud native
skywalking.apache.org·1d·
Discuss: Hacker News
👁️Observatory Systems
Reaching 100M key lookups per second with REST API and Python clients
rondb.com·1d·
Discuss: Hacker News
🌊Streaming Databases
How much energy does Google’s AI use? We did the math
cloud.google.com·16h·
Discuss: Hacker News
🌊Streaming Algorithms
What counts as plagiarism? AI-generated papers pose new risks
nature.com·1d·
Discuss: Hacker News
🔗Document Similarity
Simulations - the secret behind every great agent
sierra.ai·1d·
Discuss: Hacker News
🔍Concolic Testing
Cities obey the same laws of living systems, researchers claim
phys.org·14h
🔲Cellular Automata
Is AI Taking Over Testing? Here’s Why Human Insight Still Matters
blog.scottlogic.com·14h
🔍Concolic Testing
Fresh Eyes as a Service: Using LLMs to Test CLI Ergonomics
recursion.wtf·3d·
Discuss: Hacker News
📟CLI Design
The Drivers of HRM's Performance on Arc-AGI
arcprize.org·1d·
Discuss: Hacker News
⚡Performance Mythology
New formula improves accuracy of particle concentration measurements in diverse samples
phys.org·22h
🧪Cassette Chemistry
Embedded views: The future of work tracking in GitLab
about.gitlab.com·1d
⏱️Interval Archives
Deep Equilibrium Convolutional Sparse Coding for Hyperspectral Image Denoising
arxiv.org·42m
🧠Neural Codecs
Deep Learning Model for Amyloidogenicity Prediction using a Pre-trained Protein LLM
arxiv.org·3d
🧮Vector Embeddings
Use This New Context Management Technique To Cope With AI Disappointment
thenewstack.io·8h
💾Persistence Strategies
Making Pose Representations More Expressive and Disentangled via Residual Vector Quantization
arxiv.org·1d
🗜️LZW Variants
Learning ECG Representations via Poly-Window Contrastive Learning
arxiv.org·42m
🧠Machine Learning
Serverless AI: Qwen3 Embeddings with Cloud Run
dev.to·1d·
Discuss: DEV
🔓Open Source Software