Hacker News: infinitebit

New comment by infinitebit in "Show HN: Turn your name into a tree in an infinite procedural shanshui landscape"

infinitebit — Sat, 13 Jun 2026 05:25:32 +0000

I love this

New comment by infinitebit in "Claude Fable 5"

infinitebit — Wed, 10 Jun 2026 18:27:37 +0000

Ty, checking this out!

New comment by infinitebit in "Claude Fable 5"

infinitebit — Wed, 10 Jun 2026 18:24:57 +0000

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 the model can have custom "mergers" that are able to run business logic to maintain these invariants.

Worth noting, the decision to eschew CRDTs predates my time here, and I've pushed for a CRDT rewrite quite a bit since I believe it could be done. The other main concern they had was memory usage, but it seems like EG Walker would solve that. Our system uses a "Commit DAG", (an Event DAG by another name), and does a three-way merge using a common ancestor of the diverged documents, and so a lot of the bones of EG Walker are there, and I'm exploring ways in which we could gradually move to it.

New comment by infinitebit in "Claude Fable 5"

infinitebit — Wed, 10 Jun 2026 05:15:13 +0000

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. We use an (I’m pretty sure) unheard of algorithm for collaborative editing, and I’ve had a long term goal of turning it into an implementation of EG Walker, but our document model is very complex and most out of the box CRDTs don’t quite fit. Maybe Fable will be what gets me over the hump.

New comment by infinitebit in "Ask HN: Why is the HN crowd so anti-AI?"

infinitebit — Sun, 07 Jun 2026 02:55:50 +0000

> 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 feel like that is happening? Do you have an example of an app (besides claude code or cursor etc) that you use that has seemed to improve more rapidly since the advent of agentic coding?

New comment by infinitebit in "[dead]"

infinitebit — Mon, 23 Feb 2026 03:17:46 +0000

I feel so incredibly sad for your daughters. Read books to them.

New comment by infinitebit in "The ‘white-collar bloodbath’ is all part of the AI hype machine"

infinitebit — Sat, 31 May 2025 06:00:46 +0000

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 even taking a side re: is AI going to take all the jobs. regardless of what happens the fact remains that the reporting has been absolute sh*t on this. i guess “the singularity is here” gets more clicks than “sales person makes sales pitch”)

New comment by infinitebit in "The ‘white-collar bloodbath’ is all part of the AI hype machine"

infinitebit — Sat, 31 May 2025 05:46:02 +0000

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 incentive for them to stretch the truth.

(ftr i’m not even taking a side re: will AI take all the jobs. even if they do, the reporting on this subject by MSM has been abysmal)

New comment by infinitebit in "The current state of TLA⁺ development"

infinitebit — Tue, 20 May 2025 01:49:31 +0000

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+

New comment by infinitebit in "Ask HN: What are you working on? (March 2025)"

infinitebit — Mon, 31 Mar 2025 02:23:25 +0000

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 game that I think could be a cozy “A Short Hike” esque , but where you have to grock how (simplified) sailing works.

New comment by infinitebit in "I'm done with coding"

infinitebit — Sun, 02 Mar 2025 03:41:48 +0000

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.

New comment by infinitebit in "Robocode"

infinitebit — Wed, 19 Feb 2025 06:49:21 +0000

I have wanted something like this for a long time but… in something besides java. Does anyone know of anything like that?

New comment by infinitebit in "Differential Growth Addon for Blender"

infinitebit — Thu, 26 Dec 2024 18:58:03 +0000

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 inept/amateurish/DIY/outsider art in most other mediums (except writing maybe) and decided to just put time into to awkward crappy looking models. and i love them! now i’m just trying to create a distinctive shambolic aesthetic for my tiny games. it’s so freeing.

New comment by infinitebit in "Creativity fundamentally comes from memorization?"

infinitebit — Fri, 02 Aug 2024 01:33:08 +0000

New comment by infinitebit in "An app can be a home-cooked meal (2020)"

infinitebit — Fri, 05 Jan 2024 20:18:32 +0000

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

New comment by infinitebit in "Ask HN: Who wants to be hired? (January 2024)"

infinitebit — Wed, 03 Jan 2024 03:45:17 +0000

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, EC2)

Résumé/CV: https://github.com/marcushaddon/resume

I have 7 years of diverse experience (2 employees to 80000+, established apps and greenfield projects). I was most recently at Vox Media working on their open source commenting platform.

I care deeply about correctness, testability, and writing code that is meant to be read. I am not afraid of novel problems.

New comment by infinitebit in "Show HN: FFmpeg UI"

infinitebit — Thu, 15 Jun 2023 04:34:54 +0000

i came here to say this (specifically saving cmd line equivalents)

New comment by infinitebit in "'The best thing we can do today to JavaScript is to retire it’ Douglas Crockford"

infinitebit — Sun, 07 Aug 2022 02:15:46 +0000

this has been solved by several packages, runtypes https://github.com/pelotom/runtypes being my favorite

Recommendations for intro to Formal Methods course?

infinitebit — Tue, 09 Nov 2021 22:37:48 +0000

For a couple of years now, I've been noticing places where I think my team could benefit from some reasonable/pragmatic application of "Formal Methods" of software design, and have been wanting to act as an advocate for that. My job gives me a budget to spend on continued education / professional development, and I think getting a foundational understanding of Formal Methods could be useful (at least so I can explore how much / which methods would be useful to us).

Does anyone have any recommendations for foundational / overview type courses on FMSD? Interested in free courses, of course, but also looking for something to spend my employers money on, so paid courses are welcome. Thank you!

Comments URL: https://news.ycombinator.com/item?id=29168484

Points: 1

# Comments: 0

New comment by infinitebit in "Ask HN: What weird or hard problems are you trying to solve?"

infinitebit — Wed, 08 Jul 2020 15:53:14 +0000

detecting the tempo of a rhythm a drummer is playing in real time (including tracking variations/drift in tempo) based on the time stamps of each drum hit (and starting at an assumed tempo). I've found in depth resource on problems that are similar, but not the same (wave form data rather than time stamps, all-at-once rather than real time, etc). I'm trying to keep myself open to the fact that the solution might be incredibly simple, and just unrelated to any path I've gone down, but it's led me down some interesting paths that I'm enjoying, so also just taking that for what it's worth