HN user

deterministic

2,808 karma
Posts48
Comments944
View on HN
truths-and-loves.ghost.io 29d ago

Mental Illness Does Not Cause Homelessness

deterministic
10pts2
github.com 1mo ago

The Ü Programming Language

deterministic
63pts72
www.youtube.com 3mo ago

Why Companies Are Quietly Rehiring Software Engineers

deterministic
3pts1
www.unison-lang.org 4mo ago

The Unison Language – The Big Idea

deterministic
5pts0
www.youtube.com 4mo ago

Why AI won't wipe out white-collar jobs (YouTube) [video]

deterministic
2pts1
www.youtube.com 5mo ago

AI Fails at 96% of Jobs (New Study)

deterministic
9pts3
news.ycombinator.com 8mo ago

Ask HN: How do you deal with eye strain as a developer?

deterministic
7pts10
www.nytimes.com 1y ago

New Navy Device Learns by Doing (1958)

deterministic
1pts1
www.youtube.com 1y ago

When Computers Write Proofs, What's the Point of Mathematicians?

deterministic
2pts0
www.hylo-lang.org 1y ago

The Hylo Programming Language

deterministic
4pts0
www.youtube.com 1y ago

Fat: Why It Matters and What to Do About It

deterministic
1pts0
github.com 2y ago

HACL: A High-Assurance Cryptographic Library

deterministic
2pts1
www.cs.utexas.edu 2y ago

Milawa is a "self-verifying" theorem prover for an ACL2-like logic

deterministic
2pts1
www.youtube.com 2y ago

How to Build a Satellite

deterministic
6pts0
danlebrero.com 2y ago

Book notes: A Philosophy of Software Design (2021)

deterministic
1pts0
twitter.com 2y ago

Unity Backtracking

deterministic
4pts2
www.amazon.science 3y ago

How Amazon built Cedar with automated reasoning

deterministic
2pts1
www.youtube.com 3y ago

Interview with an Emacs Enthusiast in 2023

deterministic
3pts0
www.youtube.com 3y ago

Thorium Molten Salt Reactors

deterministic
2pts2
leanprover.github.io 3y ago

Theorem Proving in Lean 4

deterministic
4pts0
insights.sei.cmu.edu 3y ago

An Introduction to Model-Based Systems Engineering (MBSE)

deterministic
4pts0
www.youtube.com 3y ago

Kevin Buzzard: The rise of formalism in mathematics

deterministic
2pts0
arxiv.org 3y ago

Constructor Theory of Information (2014)

deterministic
1pts0
www.theparisreview.org 3y ago

Forty-Five Things I Learned in the Gulag (2018)

deterministic
3pts0
www.youtube.com 3y ago

Replatform in a Year or Die: The Tale of a Turnaround (2021)

deterministic
1pts0
news.ycombinator.com 3y ago

Ask HN: Best Laptop for Development?

deterministic
2pts5
www.fstar-lang.org 3y ago

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (2022) [pdf]

deterministic
2pts0
www.youtube.com 3y ago

Day in the Life of a Japanese Game Designer

deterministic
1pts0
www.youtube.com 3y ago

Why Are There So Many Stupid People?

deterministic
2pts0
www.youtube.com 3y ago

House of Dreams (AI movie trailer)

deterministic
2pts0

AI has given a lot of completely incompetent people a false sense of competency

30+ years of experience writing large applications in C++ and TypeScript, including JIT compilers, commercial game engines, and business-critical systems used by international companies.

I love using Claude Code for the 90% of my work that is repetitive and boring. These are tasks I've done many times before. It does a great job as long as I guide it well and review every change before committing.

I find the negative tone of the article puzzling. AI is just a tool. Use it well and it makes you more productive. Use it badly and it causes problems.

An additional note running SQLite in production:

SQLite gets really slow when using very large BLOB's (100+ MB). I ended up having to store the BLOB's externally and refer to them from the SQLite DB. Not ideal of course (the BLOB's are not transacted) but works OK in practice using hashing/checks etc. to detect and handle invalid BLOB's.

Only because Lisp Machines, or variations thereof didn't took off in the mainstream

It apparently turned out that it was more efficient to compile Lisp to a "normal" CPU instead of using an expensive custom non-generic "Lisp" CPU.

AI is a bad tool 7 days ago

I don’t know but to me it seems a bunch of people should learn proper typing

There is no way your hands can produce code faster than a machine.

Even before AI, I used a custom code generator for years. It generated about 90% of the code needed for large business applications in seconds, including support for multiple protocols, database adapters (Oracle, SQLite, in-memory, etc.), and programming languages such as C++, TypeScript, and Java.

Writing the same amount of code by hand would have taken even the fastest developer months. The machine did it in seconds, and it did it consistently and bug free.

AI is a bad tool 7 days ago

I code the parts that are new and interesting. However after 30+ years of programming most code is something I have done before so I love getting Claude Code to do it :)

AI is a bad tool 7 days ago

I 100% disagree.

I'm the maintainer of a large, business-critical C++ application with over a million lines of code that's used by major international companies. Claude Code routinely handles large and complex code changes correctly.

I review every line that Claude Code adds or changes, so this isn't speculation. It's an empirical fact.

These days my job is mostly to direct Claude Code, review its changes, and test the results. I still write code by hand when it's faster than explaining what I want, but that's becoming less common.

I enjoy making bread at home but it costs 10x and tastes like dog shit

Eh? You enjoy making stuff at home that tastes like dog shit? That doesn't make sense at all.

BTW: I love making bread and it tastes amazing!

The #1 rule when using AI (IMHO) is simple: don't outsource your thinking.

Use AI to brainstorm, implement features, learn new things, improve your writing, or speed up repetitive work.

Just make sure you keep thinking while doing so!

go ahead and learn common lisp macros

Lisp macros used to be the one advantage Lisp had over other programming languages. However nowadays macros are common. There are even languages that has more than one flavour of macro system (Haskell has both a typed and non-typed flavour of macros).

However I personally prefer custom code generators instead of macros. The problem with macros, for the kind of large scale systems I work on, is understanding macros with N layers of abstraction, and also the compile/run time cost of using them.

Also, you can write code generators in any language and generate code for any language. Which is a huge advantage. I (for example) use code generators that generate C++, Java, Typescript, SQL, PDF's, interface descriptions, protocol specs etc. Whatever is required by a customer or other members of the team I can generate without demanding that they use a specific programming language.

Don't get me wrong. I love playing around with macros. However I have decided not to use them for real work.

I use plenty of DSL's in my daily work maintaining 1 million+ lines of C++ code used by very large companies around the world. No macros needed or wanted. More than 90% of the production code is generated from DSL's.

Outside of C++, Haskell has many great examples of powerful DSL's implemented without macros.

The problem with macros is the compile/run time cost. I could have implemented those DSL's using C++ templates (which are Turing complete by the way) but I prefer not to.

Common Lisp it's in places where trying to build such kind of software in C/C++ would be a reciper for disasters.

I personally never blame the tools. I have written fairly complex software in 68000 assembler and it (1) worked fine and (2) was highly maintainable. However it was of course much slower to modify than using a higher level language.

Alan Kay says a lot of problems with C/C++ go away when using the higher math more easily expressible in Lisp and like minded languages

That doesn't match my experience at all. Math and numbers are in general not a problem except when (say) implementing triangle hit detection in a game (something I did) where the precision of 32 bit floats does matter.

Jürgen Schmidhuber says the problem with computers from a mathematician's point of view are the numbers.

That is probably true if you are a mathematician. Most people aren't.

Having said that, LEAN (for example) is written in C++ and used heavily by mathematicians.

I would be very interest in seeing how "getting lisp" enables you to write software that is more successful than the C and C++ software that runs the world. Perhaps you have written software in Lisp demonstrating this? Something you can show us?

Reject documents that contain LLM hallucinations.

Or use LLM's to generate 12+ pages of detailed reviews of those documents and return to sender.

I love using Claude Code in my daily work. It has made me much more productive.

But I also know that trying to optimize every second of my workday is a recipe for stress and eventually burnout. Nobody benefits from that.

So the key is to find the right balance between productivity and longevity.

If you feel stressed and overwhelmed then you are not in balance.

Sorry, but I don't think you understand how many different skills are involved in building software that large companies can actually rely on.

Writing code is only one part of the job. I use Claude Code every day and I love it. It has made me much more productive. But I still have to guide it carefully, review every change, and fix the bugs and poor design decisions it introduces.

Personally, I'm looking forward to retirement. I expect there will be no shortage of consulting work helping companies clean up the AI-generated mess generated by inexperienced developers and overconfident middle manager with zero software development experience :)

I am seeing the complete opposite. 200k senior engineers can now do large scale projects way beyond what they could do just a year ago. My company is now able to implement stuff that we used to only dream about. Having 200k senior engineers who master AI coding is a true super power.

They built a game engine to render text for cripes sake!

Nope they didn't. I recommend taking a look at a real game engine (Unreal or Unity) and compare.

I personally wrote two game engines used for commercial games. Which included rendering text. It is not hard.

I trust the C++ committee to introduce new features in the most convoluted way possible, then spend the next 20 years trying to fix it, while adding even more syntax that makes my eyes hurt.

Case in point: templates. They are essentially a pure functional programming language embedded inside C++, expressed in a verbose syntax that barely resembles the rest of the language, and somehow makes even Java look concise.

It has been a slow-motion train wreck, with one questionable design decision after another. And a perfect example of why design by committee often leads to unnecessary complexity.

That hasn't been my experience at all. We've been using a custom code generator for years to build a large number of business-critical applications.

The generator takes a single specification and produces everything needed for the server, client, and databases (SQLite, Oracle, in-memory, etc.) to stay perfectly in sync.

It has worked really well for us and has been a huge productivity boost.

Yep learning is really a participation sport not a spectator sport. In other words, you only really learn by creating something not just reading about how to create something.

Agree. In my experience, the only way to overcome anxiety is to push yourself to do the thing anyway.

The more you safely do something that scares you, the more your brain learns that it's safe.

The key is to break it down into small steps. Each step feels less intimidating and the brain learns bit by bit not to feel anxiety anymore.

It most definitely worked for me.