👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Stop using assert in your Python code
nocomplexity.com·18h
🧪Property-Based Testing
Building My Own Astrodynamics Library in Zig
atempleton.dev·3h·
Discuss: Hacker News
👁️Observatory Systems
Building Testable Telegram Bots with Zustand
zwit.link·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Building Paperboy: A Personal Reading Recommendation Engine
joshbeckman.org·1d·
Discuss: Hacker News
🎯Content Recommendation
Show HN: List of Clojure-Like projects
github.com·5d·
Discuss: Hacker News
🧠Lisp Dialects
Help me understand what this guy means by LLMs and language?
arstechnica.com·1d·
Discuss: Hacker News
🌳Context free grammars
Understanding Goroutines, Concurrency, and Scheduling in Go
dev.to·9h·
Discuss: DEV
🧠Program Logic
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.org·3d
🔐Homomorphic Encryption
Framework open source in JavaScript. KaibanJS
dev.to·1d·
Discuss: DEV
🔓Open Source Software
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·2d
⚡gRPC
Noosemia: toward a Cognitive and Phenomenological Account of Intentionality Attribution in Human-Generative AI Interaction
arxiv.org·2d
🔲Cellular Automata
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·1d
💻Local LLMs
CAP-LLM: Context-Augmented Personalized Large Language Models for News Headline Generation
arxiv.org·34m
📝Text Parsing
A Methodological Framework for LLM-Based Mining of Software Repositories
arxiv.org·2d
🔗Topological Sorting
Building AI-Powered Applications with C# and Semantic Kernel
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Estimating Worst-Case Frontier Risks of Open-Weight LLMs
arxiv.org·1d
💻Local LLMs
Machine Learning Fundamentals: model evaluation tutorial
dev.to·13h·
Discuss: DEV
👁️Observatory Systems
The Emotional Baby Is Truly Deadly: Does your Multimodal Large Reasoning Model Have Emotional Flattery towards Humans?
arxiv.org·34m
🎯Threat Hunting
NVSpeech: An Integrated and Scalable Pipeline for Human-Like Speech Modeling with Paralinguistic Vocalizations
arxiv.org·34m
🎙️Whisper
Creating a REST API in Go with Gin: A Pragmatic, Spec-First Guide
dev.to·11h·
Discuss: DEV
🔌Interface Evolution