Python Certifi and Custom CAs
zufallsheld.de·14h·
Discuss: Hacker News
🧪CBOR Fuzzing
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·10h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Developing an AI Strategy for Documentation
thisisimportant.net·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Revisiting Manager READMEs
elidedbranches.com·11h·
Discuss: www.elidedbranches.com
🦋Format Metamorphosis
Flag this post
Show HN: Onlymaps, a Python Micro-ORM
github.com·15h·
Discuss: Hacker News, r/webdev
🧩SQLite Extensions
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
MCP Apps: Bringing Interactive UIs to AI Conversations
blog.fka.dev·20h·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
🎓 Capstone Project Completed! 🚀
dev.to·1d·
Discuss: DEV
🕵️Metadata Mining
Flag this post
AI Wins and Losses
dowski.com·1d
🔄Language Evolution
Flag this post
How To Build a Graph-Based Recommendation Engine Using EDG and Neo4j
towardsdatascience.com·1d
🕸️Neo4j
Flag this post
Data Science Quiz For Humanities
codingthepast.com·1d
🧪Data science
Flag this post
Show HN: OriGen – A Deterministic Workflow Compiler (Maps → IR → CI/K8s)
origen-hub.github.io·1d·
Discuss: Hacker News
🌳Git Internals
Flag this post
Balancing Natural Language Processing Accuracy and Normalisation in Extracting Medical Insights
arxiv.org·2d
📋Document Grammar
Flag this post
Show HN: Chemistry AI – A step-by-step chemistry solver for students
chemistryai.chat·20m·
Discuss: Hacker News
🧪Manuscript Chemistry
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Text Chunking
Flag this post
Meta-algorithmic judicial reasoning engine
news.ycombinator.com·4d·
Discuss: Hacker News
🧮Theorem Proving
Flag this post
Introducing Strands Agent SOPs – Natural Language Workflows for AI Agents
aws.amazon.com·2d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post