🔤 Type Theory

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

Weird little games, summer edition
blog.zarfhome.com·1d
📼Retro Games
FTC warns tech giants not to bow to foreign pressure on encryption
bleepingcomputer.com·16h·
Discuss: Hacker News
🔤EBCDIC Privacy
Switching to Markdown after 20 years of HTML
dri.es·4d
📚MARC Evolution
Wokwi: Most Advanced ESP32 Simulator
wokwi.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
Kioxia demonstrates ultra fast SSD that uses innovative tech to deliver a staggering 64GBps on PCIe Gen6 - and no, it's not coming to a PC near you anytime soon
techradar.com·14h
🖥️Terminal Renaissance
Don't ask to ask, just ask
dontasktoask.com·4d·
Discuss: Hacker News, r/programming
🔓Reverse engineering
How to Build a Brand Monitoring Bot on X
anchorbrowser.io·4d·
Discuss: Hacker News
📡RSS Automation
A Complete Guide to Tagging for Personal Knowledge Management
fortelabs.com·5d·
Discuss: Hacker News
🌱Personal Wikis
Arnold J. Toynbee
en.wikipedia.org·1d·
Discuss: Hacker News
🏺Gaming Archaeology
New York City allows robotaxi company to test autonomous vehicles in Manhattan and Brooklyn
the-independent.com·2d
🎙️Whisper
When log(x) has the same digits as x
johndcook.com·4d
📐Interval Arithmetic
Top 3 Signs Your Code Could Be Flagged for Plagiarism
dev.to·5d·
Discuss: DEV
📜Proof Carrying Code
Q-BEAST: A Practical Course on Experimental Evaluation and Characterization of Quantum Computing Systems
arxiv.org·4d
⚛️Quantum Compilers
I Built a Free AI Thumbnail Maker – Need Your Honest Review!
dev.to·1d·
Discuss: DEV
🗜️LZW Variants
LLMs Are Letter-Blind and Here's Why Enterprises Should Care
viveksgag.substack.com·5d·
Discuss: Substack
💻Local LLMs
Detecting Reading-Induced Confusion Using EEG and Eye Tracking
arxiv.org·4d
🧠Intelligence Compression
How to Integrate Custom AI Models into a Browser-Based AI Application
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
DEF CON 33: Field Notes on AI Security, AI Red Teaming, and the Road Ahead
hackerone.com·3d
⚔️Lean Tactics
Label Uncertainty for Ultrasound Segmentation
arxiv.org·3d
🧠Machine Learning
ReviseMate: Exploring Contextual Support for Digesting STEM Paper Reviews
arxiv.org·3d
🔬Academic Search