_doctor_love

4 ms·

61.
by _doctor_love 3mo ago
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 :)
62.
by _doctor_love 3mo ago
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, etc. aka the hard languages. I love Ruby and I didn&#x27
63.
by _doctor_love 3mo ago
Looks very very interesting and exciting! Key question: is anyone using it anger and has experience to share?
64.
by _doctor_love 3mo ago
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=ARjisP9enZ4 I'm generally very aligned to th
65.
by _doctor_love 3mo ago
> 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 boomers can pass money to their children, our cor
66.
by _doctor_love 3mo ago
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 against throat scratch!"
67.
by _doctor_love 3mo ago
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.
68.
by _doctor_love 3mo ago
No, not to that level of detail. There's a higher-level set of states that all other states should be derivable from.
69.
by _doctor_love 3mo ago
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 reason across the different states of the interface. It seems
70.
Logic for Programmers(logicforprogrammers.com)
217 points by _doctor_love 3mo ago|47 comments
71.
by _doctor_love 3mo ago
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 think we have any fundamental disagreement.
72.
by _doctor_love 3mo ago
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 like before committing to building it.
73.
by _doctor_love 3mo ago
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/
74.
CO, FL, GA schools testing pepper-spraying Mithril drones to stop shooters(cbsnews.com)
6 points by _doctor_love 3mo ago|1 comments
75.
by _doctor_love 3mo ago
Well known pattern: https://en.wikipedia.org/wiki/LOVEINT
76.
by _doctor_love 3mo ago
You're hopefully already aware that this references a famous paper from 1985? https://pages.cs.wisc.edu/~remzi/Naur.pdf
77.
by _doctor_love 3mo ago
That's an excellent writeup. Haven't gotten all the way through it yet but so far I'm with you.
78.
by _doctor_love 3mo ago
> I haven't been able to dig up any definitive data/findings from StrongDM on how that whole dark factory went. The weather-report has a few sparse updates between February and June of this year. This was easy to find out I t
79.
by _doctor_love 3mo ago
> Btw, I'm going to try an experiment and respond to your GP comment with a non-moderation reply, just because I find the topic interesting, and also in the hope of communicating what I said above: the thoughtful component of the c
80.
by _doctor_love 3mo ago
Clearly we have different definitions of what constitutes an attack, that said, I know you're fighting an eternal uphill battle on HN so I'll rest my case. I will say that I find some of this kind of moderation very confusing. I f
81.
by _doctor_love 3mo ago
Sorry I don't follow what argument you're making?
82.
by _doctor_love 3mo ago
Funny enough, calculators went through this exact same thing when they came out. "If the calculator can do math for the students, will they still learn?"
83.
by _doctor_love 3mo ago
Please see my other reply to you on this.
84.
by _doctor_love 3mo ago
You bet. Like I wrote to 'dang I'm really not trying to hate on what you're doing, just offering my very candid take on products like this. I care very much about education and I'm happy to see someone trying to do somet
85.
by _doctor_love 3mo ago
> your previous comment was a personal attack as well: Brother, I meant what I wrote. That said, I'll cool off for a bit. I'm not here to rain on anyone's parade but as you said, products like this stir extremely strong
86.
by _doctor_love 3mo ago
I would want to solve the problem way upstream. Obviously I want children to receive education. I would also say that looking at the problem like it's teacher headcount that's the issue is assuming a specific education model. If t
87.
by _doctor_love 3mo ago
[flagged]
88.
by _doctor_love 3mo ago
[flagged]
89.
by _doctor_love 3mo ago
That's how it works though. The moment we have "AI" and see something working, it immediately ceases to be magic because "it's just a program after all." Aligning on a true definition of Artificial Intelligence
90.
by _doctor_love 3mo ago
> What evidence or product behavior would you need to trust something like this with a student? I would need the product to not exist. I don't want this anywhere near a child. I want humans instructing humans, teaching empathy, co

More ›