infinitebit

5 ms·

1. 1.▲
   by infinitebit 25d ago

   The second recursion example introduces 2 syntax features without explaining them (let, square brackets)
2. 2.▲
   by infinitebit 25d ago

   Oh my god thank you. I have been trying to put into words what is so draining about pair programming with claude, and “doing creative work to impart meaning to the words” is exactly it.
3. 3.▲
   by infinitebit 25d ago

   this seems like more anthropomorphizing. even if it has similar results often enough to be useful, next token prediction is not searching a solution space. you even end with a paragraph saying “it’s not too dissimilar from what we do”. how
4. 4.▲
   by infinitebit 1mo ago

   I agree with the idea that the taste, for lack of a better word, was the only thing that ever mattered. What I disagree with is the idea that slop that is “good enough” is indistinguishable from something that is crafted is “indistinguishab
5. 5.▲
   by infinitebit 2mo ago

   I started toying with perlin vector fields as a level design tool for a game idea, then became more interested in visualizing them than the game they were meant to support. this weekend i realized i think im making a (short) ~game in which
6. 6.▲
   by infinitebit 2mo ago

   i love this. i don’t understand why web games like this aren’t more prevalent
7. 7.▲
   by infinitebit 2mo ago

   Does anyone here know any mathematicians who can’t do long division or basic algebra? Probably not, because they *don’t exist because learning basic math is necessary to learn higher level math*. Whether or not we have calculators to do bas
8. 8.▲
   by infinitebit 3mo ago

   I’ve recently started using PBT at work and it has been more than worth it, and I want to try Model checking next.
9. 9.▲
   by infinitebit 3mo ago

   “The second condition falls out of the first”. Hi claude!
10. 10.▲
    by infinitebit 3mo ago

    i don’t think anything in the article advocates for not prioritizing “single source of truth”, as in, if we know that there are multiple sources of truth for something, it should absolutely be deduped. the article is more saying “be a bit
11. 11.▲
    by infinitebit 3mo ago

    I feel this deeply. Although abstraction isn’t a one way door, “deduplicating” logic tends to be much easier than breaking big functions back down, and so these days I tend to leave a comment with the date wondering if it is too similar to
12. 12.▲
    by infinitebit 3mo ago

    I love this
13. 13.▲
    by infinitebit 3mo ago

    Ty, checking this out!
14. 14.▲
    by infinitebit 3mo ago

    We have cross-field invariants that merging at the data structure level can't ensure (in an obvious way, at least), and "lose the semantic meaning of a conflict". The main idea behind their approach is that certain parts of t
15. 15.▲
    by infinitebit 3mo ago

    I was about to ask where you work that you’re implementing new CRDTs and then I noticed your username! Thanks for all that you do! I work on the live collab at my company, and using AI while coding has into recently sort of “clicked” for me
16. 16.▲
    by infinitebit 3mo ago

    > At some point, execution speed starts to matter more than the elegance of the code. If this were true, shouldn’t most of the software we use be adding new features and fixing bugs at a faster rate, while becoming more stable? Do you fe
17. 17.▲
    by infinitebit 7mo ago

    I feel so incredibly sad for your daughters. Read books to them.
18. 18.▲
    by infinitebit 1y ago

    So glad to see a MSM outlet take the words of an AI ceo with even a single grain of salt. I’ve been really disappointed with the way so many publications have just been breathlessly repeating what is essentially a sales pitch. (ftr i’m not
19. 19.▲
    by infinitebit 1y ago

    I am SO thankful to see a news outlet take what tech CEOs say with a grain of salt re: AI. I feel like so many have just been breathlessly repeating anything they say without even an acknowledgement that there might be, you know, some inc
20. 20.▲
    by infinitebit 1y ago

    out of curiosity, how did you get comfortable with temporal logic? i’ve had a hard time finding good resources aside from H. Wayne’s stuff on TLA+
21. 21.▲
    by infinitebit 1y ago

    An app for helping groups of friends decide on restaurants, movies, etc using ranked choice voting and a Tinder esque swipe interaction for creating rankings. Been dabbling in game dev and have been having a good time with a little sailing
22. 22.▲
    by infinitebit 2y ago

    I think it’s worth trying for ethical coding jobs for a bit. I think with your resume you could work at a lot of places, and you may be able to rekindle passion for something that you used to love and make six figures.
23. 23.▲
    by infinitebit 2y ago

    I have wanted something like this for a long time but… in something besides java. Does anyone know of anything like that?
24. 24.▲
    by infinitebit 2y ago

    I just recently had this revelation! I a full time software dev who has dabbled in game dev for years, but i’ve always given up on ideas because i can’t make “good” art/assets. just a couple of months ago it dawned on me that i love in
25. 25.▲
    by infinitebit 2y ago

    z
26. 26.▲
    by infinitebit 3y ago

    I’ve made a poll/group decision making app for my family and friends, and i’m this close to starting some sort of collaborative note/list making app because apple notes causes us so many headaches
27. 27.▲
    by infinitebit 3y ago

    Location: Portland, OR, USA Remote: Yes. About 4 of my 7 years experience have been remote. Willing to relocate: No. Technologies: Node, Typescript, Python, Go, React, Postgres, MongoDB, AWS (Lambda, API Gateway, CloudFormation, SQS, S3, EC
28. 28.▲
    by infinitebit 3y ago

    i came here to say this (specifically saving cmd line equivalents)
29. 29.▲
    by infinitebit 4y ago

    this has been solved by several packages, runtypes https://github.com/pelotom/runtypes being my favorite
30. 30.▲
    Recommendations for intro to Formal Methods course?

    1 points by infinitebit 5y ago|0 comments