teach

5 ms·

31.
by teach 3mo ago
(2012)
32.
by teach 3mo ago
I'm quite certain I formally verified that two processes were both able to get into the critical section WITH THE ALGORITHM I WAS VERIFYING, but this was 35 years ago, so details are fuzzy. Remember that this is long before Wikipedia a
33.
by teach 3mo ago
I've been following Bob Cringely for nearly 30 years and he's always written like this. This is almost certainly not AI-generated text, and he's not saying Claude is wrong. He's saying something different that is probabl
34.
by teach 3mo ago
tothineown.self/be/true
35.
by teach 3mo ago
So much this. I actually did take a formal verification course in college. Our final project was to use the techniques we'd been learning to verify some classic critical-section locking algorithm. I chose to verify an implementation of
36.
Capital Factory CEO Joshua Baer killed in plane crash near Laredo, TX(cbsaustin.com)
20 points by teach 4mo ago|7 comments
37.
by teach 4mo ago
It's interesting that your experience/workflow is so much different than mine. This (claims to) solve a real problem that I deal with every day. My company is remote-only, and my coworkers mostly don't live anywhere near me.
38.
by teach 5mo ago
For what it's worth, I really enjoyed this read and almost came here to comment "this is the most enjoyable llm-assisted article I've read in a while" The tells were unmistakable but it still had a human touch, so I for
39.
by teach 5mo ago
In my case it's exactly that. I have a Linux gaming workstation, a work-issued (and managed) MacOS laptop and a Google-branded (Pixel) Android phone. Bitwarden just works in all those places and the tech was, by all accounts, rock soli
40.
by teach 5mo ago
Anyone who makes fun of you for feeling things probably isn't anyone you want to listen to, anyway. Thanks for being human and making ergonomic software for humans.
41.
by teach 5mo ago
Yeah this worked for me last night, but I too get a blank screen today. In the developer console I see a CORS error for an attempt to load an SVG component from a CDN; I wonder if the dev pushed out a bad update
42.
by teach 6mo ago
I definitely trust my local LLM where I know the prompt that was used. Even if the code generated ends up being near-identical, it'll be way faster to review a PR from someone or something I trust than from some rando on the Internet
43.
by teach 6mo ago
This isn't especially related to the article, but when I was at university my first assembler class taught the Motorola 680x0 assembly. I didn't own a computer (most people didn't) but my dorm had a single Mac that you could
44.
by teach 6mo ago
Maybe should add "with Cloudflare Workers" to the headline Because hosting a blog inside a subdirectory is like the most trivial webserver thing ever
45.
by teach 6mo ago
One could argue that, given how singularly awful it is, GitHub's historical uptime might qualify as "historic".
46.
by teach 6mo ago
Dumb question, but if this is "open source" is there source code somewhere? Or does that term mean something different in the world of models that must be trained to be useful?
47.
by teach 7mo ago
This is amazing but even as a runner who loves to make my own "processed" food this really reads like a submarine article for the dairy industry. "I used to be vegan, but you know I just can't liveeeeeeee without that re
48.
by teach 7mo ago
If you never play the original sample, you never have to worry about royalties. :rollsafe-think-about-it:
49.
by teach 8mo ago
I've seen this story making the rounds, but this isn't news, is it? All self-driving companies maintain teams that make a decision when the cars get confused or stuck, and they report the number of such handoffs to NHTSA. Is it ju
50.
by teach 8mo ago
That makes sense to me. I really enjoyed the personal anecdotes and I thought they made the article a lot stronger for me, but a dry gas mask review would have also been an excellent, albeit different, article.
51.
by teach 8mo ago
A permanent ban seems strong, but it sure does seem like folks are using flagging as a super downvote in this case
52.
by teach 8mo ago
Could it be that people who have commented in a flagged post are forbidden from vouching?
53.
by teach 8mo ago
Yet another interesting article flagged because it touches on American politics. What's the procedure for flagged articles become unflagged? Maybe do I need more karma or something before I can vouch for them?
54.
by teach 9mo ago
I LOVE the style, but it's currently unplayably buggy! * I type "hit" to serve (note: for consistency you should require ENTER on this word, too) * Ball slowly travels, CPU returns it * Return word appears * I type the return
55.
by teach 9mo ago
I guess I can see how pre-installing some LLM agents makes it potentially seem "AI-centric", but I don't understand at all how this could be "US-centric".
56.
by teach 9mo ago
I actually switched to Ruby for this very reason and used it for a few years. I still have a soft spot for Ruby as well. Unfortunately I had a different experience with the Ruby community, so I eventually switched to Python along with appar
57.
by teach 9mo ago
Perl was the first language I learned on my own after graduating university many years ago. I fell in love with it because of quirks like these and because code written in it can have a poetic quality you don't see often. Now I am old
58.
by teach 9mo ago
> My router assigns dynamic IP addresses, meaning my server location kept changing. I've had a similar problem in the past. It turns out that most routers have a way to assign an IP address statically based on the MAC address of the
59.
by teach 10mo ago
For me, the top comment is currently cmarschner's day-old comment enumerating a bunch of other examples of botched redaction
60.
by teach 10mo ago
https://textarea.my/#Cy4tsOfi8ssvUcgtTc7QU_DIz0stLsmpVPBUSK0...

More ›