👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Fil's C Compiler
fil-c.org·1d·
Discuss: Hacker News
🐚Shell Combinators
Inboxfuscation: Because Rules Are Meant to Be Broken
permiso.io·1d·
Discuss: Hacker News
💣Compression Security
A Positive Lambda: '+[]{}'
stackoverflow.com·2d·
Discuss: Lobsters, Hacker News
⬆️Lambda Lifting
Paul's Online Math Notes
tutorial.math.lamar.edu·3d·
Discuss: Hacker News
📜Manuscript Calculus
🔥 Finally finished ManjaroWizard: the ultimate post-install setup script for Manjaro Linux! Dev tools, Browsers, Gaming, Security, all in one interactive menu 🚀...
github.com·1d·
Discuss: r/archlinux, r/linux
🔌Operating system internals
Building High-Performance Caching in Go: A Practical Guide
dev.to·2h·
Discuss: DEV
💨Cache Optimization
Concurrency is a pattern, not execution.
dev.to·22h·
Discuss: DEV
🏗️Compiler Archaeology
Agile Documentation
medium.com·23h·
Discuss: Hacker News
🔄Language Evolution
AI-Tutor-AI-Learning-Companion with kiro
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Resources for Go Compiler
reddit.com·3d·
Discuss: r/golang
📜Proof Carrying Code
PyMax: Unleash the Power of Max Messenger with This Async Python Wrapper!
dev.to·14h·
Discuss: DEV
🔌Interface Evolution
Level Up Your Sprints: How I'm Using AI to Plan Like a Boss
dev.to·19h·
Discuss: DEV
📊Feed Optimization
This AI Is a Better Geography Teacher Than Most Humans.
dev.to·1d·
Discuss: DEV
🎙️Whisper
How We Built a Private, On-Device AI That Runs Entirely in Your Browser
dev.to·20h·
Discuss: DEV
🌐WASI
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·5d
🎯Performance Proofs
What's the best way to develop an AI Agent with a Go backend?
reddit.com·1d·
Discuss: r/golang
🔌Interface Evolution
Private LLM Inference: Democratizing AI with Ciphertext Computations
dev.to·1d·
Discuss: DEV
💻Local LLMs
AI Assistance for Software Teams: The State of Play • Birgitta Böckeler • GOTO 2024
youtube.com·4d
🔄Language Evolution
Crystal Vision AI
dev.to·18h·
Discuss: DEV
🌈Color Archaeology
👤👗👖🧥AI Avatars & Virtual Try-On: Redefining Online Fashion🌐
dev.to·18h·
Discuss: DEV
🏛Digital humanities