11,776 karma · joined January 28, 2011
Some facts:
- Living and working in Spokane, WA (formerly Seattle )
- Write code, talk to people
- I sit at the intersection of SRE and SWE.
- Email: paul@nathan.house
Please feel 100% free to email me out of the blue. I really do love meeting new people, and try to respond to everyone I can - if I didn't respond, it's not because I didn't want the email, it's because I'm swamped.
- I usually take 1-3 days to respond to comments. This is conscious - deliberation and a cool head gives an immediate thinking bonus.
Some other notes:
- http://articulate-lisp.com Common Lisp for new users!
- I've been programming since the mid-90s
- Has grad degree, M.S. in Computer Science.
- PL geek: experiences in... assemblies, bash, c++, c#, common lisp, golang, haskell, java, objective c, ocaml, perl, prolog, python, rust, scala
- Portfolio/open source work: https://github.com/pnathan
---
[ my public key: https://keybase.io/pnathan; my proof: https://keybase.io/pnathan/sigs/thq2TfZ0ss836xvC6arGWYCzkZAjXYoRVrljegtzf2s ]
It's literally just tensor multiplications at the end of the day, generating likely outcomes in useful ways.
It's a deterministic judgement engine for disagreeing inputs. The input interface is shaped for LLMs now, but there's no particular reason it has to stay limited that way & it has a normal API.
I pulled in a lot of research on conflict logics to build it out.
The next big push technically will be an ingest pipeline and a more sophisticated logic engine.
Yes, previously the person who didn't understand shipped faster. It was a long standing problem. The people who crapped, got the bonus, and ran were much faster than the patient engineer of quality.
By the way, what were the essays that formulated Claude Style? if the author was indeed formed by them, I'd like to read them - or at least enough of them to understand.
Some people just want to _cook the steak_.
They don't want to attend or understand to cuts, thermometers, and searing.
(2) I am really tired of the AI community trying to threaten everyone with grey goo and finding out the hype doesn't land comfy with others. It's a freaking text generator, not god in a pocket.
A proper gasket and screws needs to be the standard solution here.
It's my experience that opus 4, and then, particularly, 4.5, in Claude code, are head and shoulders above the competition.
I wrote an agentic coder years ago and it yielded trash. (Tried to make it do then what kiro does today).
The models are better. Now, caveat - I don't use anything but opus for coding - Sonnet doesn't do the trick. My experience with Codex and Gemini is that their top models are as good as Sonnet for coding...
There is another route with Lean where Rust generates the Lean and there is proof done there but I haven't chased that down fully.
I think formal verification is a big win in the LLM era.
As presented, Gollum is badly off, I reckon - missing the books textual description. The flowers are out of line.
The dragon scene is wonderful and captures the situation.
The dwarves are a bit dopy looking but I think could cohere with the early introduction in the Hobbit.
I do have a deep fondness for SF billboards being building-stuff oriented. I don't care for consumerism.
The vapidity of the products created is remarkable, however.
I have been tolerably successful. However, I have almost 30 years of coding experience, and have the judgement on how big a component should be - when I push that myself _or_ with AI, things go hairy.
ymmv.
still need HITL, but the human is shifted right and can do other things rather than grinding through fiddly details.
You _are_ joking, right? I distinctly remember all sorts of dubious freewarez sites with slightly modified installers. 1997-2000 era. And anti-virus was a thing in MS-DOS even.
The industrialization of exploit generation is here IMO.
But I don't learn. That's not what I'm trying to do- I'm trying to fix the bug. Hmm.
I'm pretty sure AI is going to lead us to a deskilling crash.
Food for thought.
Criminal law is often fundamentally subjective, incorporating questions of intent and remorse.
AI the manual algorithm to generate code and analyze images is quite an interesting underlying tech.
> Leadership is the process of influencing people by providing purpose, direction, and motivation to accomplish the mission and improve the organization.
taken from -
I found it intellectually reprehensible then, and now.
Management has generally become persuaded that juniors are not worth hiring. My current shop is a bit more thoughtful on this which is good. But. The desire for senior+ is out of line. Particularly when companies want to pay junior rates. =}
---
Dear author,
I don't know any period in the past 20 years where entry level jobs were properly allocated outside of FAANG. I have always advised talking to Microsoft, as my perspective is that they have the best entry level pipeline.
"The market can stay irrational longer than you can afford to stay in it" is an old stock traders proverb. And I believe it applies the AI fad. I do not believe that the dreams of actually replacing humans will work out generally. But it will be a painful experience for the employees and the prospective employees.