Viewing profile — infinitebit

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 indistin…

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 we…

i love this. i don’t understand why web games like this aren’t more prevalent

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 high…

I’ve recently started using PBT at work and it has been more than worth it, and I want to try Model checking next.

“The second condition falls out of the first”. Hi claude!

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 a…

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 leav…

I love this

Ty, checking this out!

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 beh…

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 usin…

> 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 bug…

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

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 breathlessl…

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 …

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+

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…

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 …

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

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. jus…

z

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 s…

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, Mo…

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