👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Psychologic manipulation for better social interactions in online Games
reddit.com·2d·
Discuss: r/gaming
🔲Cellular Automata
Finding the shape of my thoughts
sachachua.com·2d·
Discuss: Hacker News
🌱Personal Wikis
AI Is Power-Hungry
intelligent-people.org·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Add a multi-step form/wizard to your Rails app
railsdesigner.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
<p>I&rsquo;ve said this before and I&rsquo;ll say it again: the ability to make a lambda from a method, a la Java&rsquo;s double colon operator (e.g. <code>obj:...
lmika.org·4d
λLambda Formalization
Show HN: LogMerge – View multiple log files in a merged view
github.com·1d·
Discuss: Hacker News
📝Log Parsing
What Excel features are absolutely essential for team collaboration workflows?
dev.to·9h·
Discuss: DEV
🔄Document Workflows
Technical approach for classifying human-AI interactions at scale
microsoft.com·3d·
Discuss: Hacker News
🌀Brotli Internals
AI Coding Stack That Isn't Complete Garbage: VSCode, Roocode, Augment (May 2025)
medium.com·3d·
Discuss: Hacker News
📏Code Metrics
Zignal: A zero-dependency image processing library
github.com·1d·
Discuss: Hacker News
📄Document Streaming
How to Build a Full AI Workflow Without Code or APIs
dev.to·4d·
Discuss: DEV
⚔️Lean Tactics
Solitaire Cryptographic Algorithm
en.wikipedia.org·4d·
Discuss: Hacker News
🔐Cryptographic Archaeology
Best AI Certifications to Future-Proof Your Career with In-demand Skills
dev.to·8h·
Discuss: DEV
🗺️Competency Maps
Perfecting anti-aliasing on signed distance functions
blog.pkh.me·9h·
Discuss: Lobsters, Hacker News, r/programming
🎨LUT Compression
Optimising Call Centre Operations using Reinforcement Learning: Value Iteration versus Proximal Policy Optimisation
arxiv.org·1d
🔲Cellular Automata
Byte-Vision delivers powerful Retrieval Augmented Generation by integrating Llama.Cpp and Elasticsearch's vector search.
dev.to·1d·
Discuss: DEV
🔍BitFunnel
AI Course in Bangalore: Learn Inferential Statistics for AI
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Devlog! Your last profile link.
dev.to·1d·
Discuss: DEV
🔓Open Source Software
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
arxiv.org·2d
🤖Lisp Machines
I’m a .NET Developer, and I Want to Be Free from Frameworks.
dev.to·2d·
Discuss: DEV
🧱Immutable Infrastructure