🔍 KLEE

Symbolic Execution, Program Analysis, Bug Finding, LLVM-Based

From WhatsApp to Kitchen: An AI-Powered Order Automation System
mateolafalce.github.io·11h·
Discuss: Hacker News
🦙Ollama
Flag this post
IDEmacs: A Visual Studio Code clone for Emacs
codeberg.org·23h·
Discuss: Hacker News
🖼️Egui
Flag this post
IBM Patented Euler's 200 year old Math Technique
leetarxiv.substack.com·3d·
Discuss: Substack, r/programming
🌀Naiad
Flag this post
Tony Hoare and negative space
sicpers.info·4d·
Discuss: Hacker News
✓Formal Verification
Flag this post
Built a Mac app that makes local AI actually simple to use
suverenum.ai·1d·
Discuss: r/LocalLLaMA
📈Perfetto
Flag this post
AI Gateway from Pydantic
pydantic.dev·2d·
Discuss: Hacker News
🦙Ollama
Flag this post
Template Interpreters
zackoverflow.dev·5d·
Discuss: Lobsters, Hacker News
🔨Compiler Design
Flag this post
FYI - Reddit shadowbanned my claude Epstein docs visualizer project sitewide
reddit.com·1d·
Discuss: r/ClaudeAI
🔍Tantivy
Flag this post
What happens when your cluster runs out of CPU? — The unsolved DevOps paradox
dev.to·3h·
Discuss: DEV
🚀Shuttle
Flag this post
Redis Basic Data Management: Key-Value Operations and Atomic Counters Tutorial
dev.to·7h·
Discuss: DEV
💎Redis
Flag this post
Generate a Dataverse ERD for Azure Dev Ops Wiki
dev.to·15h·
Discuss: DEV
🔧DevOps
Flag this post
Feature Selection Techniques with R: Origins, Methods, and Real-Life Applications
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Flag this post
It was acceptable in the 80s
dev.to·1d·
Discuss: DEV
💾Retro Computing
Flag this post
🧞‍♂️ Introducing Code-Genie: A Small CLI Tool That Helps You Edit & Generate Code Using Natural Language
core.forem.com·3d·
Discuss: DEV
💻CLI Tools
Flag this post
Your dummy data are really dummy. Let's fix it!
dev.to·9h·
Discuss: DEV
📦Serde
Flag this post
Explanations are value laden
clojurecivitas.github.io·1d
💫Effect Systems
Flag this post
Tech With Tim: Finally, an AI Database That Actually Makes Sense
dev.to·1d·
Discuss: DEV
💰TigerBeetle
Flag this post
Tech With Tim: Finally, an AI Database That Actually Makes Sense
dev.to·16h·
Discuss: DEV
💰TigerBeetle
Flag this post
JavaScript Unit Testing with Jest: 8 Essential Techniques Every Developer Should Master
dev.to·3d·
Discuss: DEV
🧪Testing
Flag this post
PustakAI: Curriculum-Aligned and Interactive Textbooks Using Large Language Models
arxiv.org·2d
🦙Ollama
Flag this post