Stories by Tech-man

Clips a Tool for Building Expert Systems

Politico: "Apple is teaching its AI to adapt to the Trump era"

Picat: A Logic-based Multi-paradigm Language (2014) [pdf]

Protobuffers Are Wrong (2018)

Let's make PostgreSQL multi-threaded (2023)

How does this bilibili video downloader work?

The GenAI Divide State of AI in Business 2025 [pdf]

The Java type system is broken (2018)

What is mathematics? A classification based on universals

Paxos Made Live – An Engineering Perspective [pdf]

Many Faces of Ad Hoc Transactions: findings from real world transactions

GitHub is no longer independent at Microsoft after CEO resignation

Knuth on ChatGPT (2023)

I Use the GPL and Not Cuck Licenses (2022)

Ask HN: Looking for a Co-Founder for AI Superintelligence Startup

Ask HN: Tips for reducing LLM token usage?

AI and ML AI industry's size obsession is killing ROI, engineer argues

1
2
3
4
5
6
7
8
9
10