Viewing profile — _doctor_love

Since it's Friday, I'm going to suggest an activity: this evening, invest 30 minutes in watching "The Brain Center at Whipple" from the old Twilight Zone TV series. This conversati…

Thank you! Beautiful answer.

Will you share some insights on what Prolog is awesome for where a regular imperative language is not a good fit? I find both Prolog and Datalog very interesting in this new age of…

You mean Castor and Pollux?

It's not alleged, it's sadly confirmed. There's been comments on HN over the years from people who have worked under him.

I don't believe it is. If we think of AI-maintained software as automated gardening / automated agriculture, the harness is all the machinery that can plow, sow, water, monitor, ha…

What size project an AI can complete on its own is IMHO not an interesting question. The AIs and harnesses are getting good enough that quite large things can be built, primarily a…

Breathes there the man, with soul so dead, Who never to himself hath said, This is my own, my native land! Whose heart hath ne’er within him burn’d, As home his footsteps he hath t…

Best of luck! I hope in the not too distant future we see a cool demo from you where there's something mind-blowing happening :)

Fearmonger is a little heavy handed but the comparison to Dwarf Fortress is probably too strong. I don't find F* syntax anymore intimidating than Haskell, Scala, Mercury, Prolog, e…

Looks very very interesting and exciting! Key question: is anyone using it anger and has experience to share?

Very interesting idea, I actually wonder if you are not going far enough? See this video from the lovely YouTube channel Interface Studies : https://www.youtube.com/watch?v=ARjisP9…

> the end result is neo-feudalism where familial dynasties call all the shots I'm going to stick my neck out and say that this is mostly where we are already. Agree that before the…

When I see headlines and stories like this, a male voice with a Mid-Atlantic accent pipes up in my head: "9 out of 10 doctors recommend Pall Mall cigarettes - they help guard again…

I must be in a minority of some kind. I still think stacked PRs are the devil and a band-aid for org and process issues.

No, not to that level of detail. There's a higher-level set of states that all other states should be derivable from.

I wonder if we will see people building these kinds of computer use systems to augment traditional QA. What I do not have my mind wrapped around at the moment is how agents might r…

Not sure what happened but I wrote you back a whole reply that I can see posted when I am logged in but not when I am logged out. In any case, tldr of that comment was that I don't…

It would be interesting to see someone apply the principles and techniques of Christopher Alexander to this - trying to "grow" the house virtually and seeing what it might feel lik…

This is where industry is heading long-term, yes. Will take many years to get there. My favorite examples so far are from StrongDM. See https://factory.strongdm.ai/

Well known pattern: https://en.wikipedia.org/wiki/LOVEINT

You're hopefully already aware that this references a famous paper from 1985? https://pages.cs.wisc.edu/~remzi/Naur.pdf