Viewing profile — injuly

Yes. You can either rent an entire blade, or purchase a dis-assembled box (majority share of the price will be GPU), and place it at a datacenter. This cannot be done on most premi…

Admirable effort :) But in its current state I don't think it actually replaces any of CodeQL's use cases. The most straight forward way to do what CodeQL does today, would to be i…

Flow analysis, especially propagation, is a hard problem to solve in the general case. IMO, the one tool that had the best, if language-specific, approach was Pyre – Facebook's typ…

Ah, I'd only know the title, "all your base are belong to us", haha.

Unfortunately, "JS tooling in JS" is a dead end. Countless people before me have tried, and I myself have written and maintained a (proprietary) JS toolchain that has caused a some…

> For great justice? You know what you doing. Not sure what to make of that. Can you elaborate?

> which is as performant than using mutable array. I get what you're trying to say, but that is provably false. As great as the OCaml compiler is, it currently is not capable of th…

> This is calculation is pretty pointless and the title is flat out wrong. No, it's not. The author clearly states in the very first paragraph that this is the price it would take …

Well deserved. My top 3 Ted Chiang works: 1. The merchant at the alchemist's gate. 2. What's Expected of us 3. Exhalation

Qt licensing is its own mess. For commercial software, the pricing is 350-500$ per developer, per month. Seriously [1]. The company that now owns the framework doesn't seem to ackn…

Interesting points. This isn't just about music, though. Udio can do standup skits too, and elevenlabs can already replace NPC dialogue voice actors in games and audiobook narrator…

I like how the comments in Devin's HN thread were all bleak and full of doom. But now that it's a different industry AI is eating up, we're congratuling the team and sharing genera…

Is the diary digital? I prefer writing on paper, and I'd like to try this. Wonder if there's any decent OCR app that'll help me do it.

Well, Google does exist. For the overwhelming majority of internet users, it'll be their primary means of stumbling onto a website. And the pool of discoverable websites has been s…

Assuming those requests are evenly distributed over time, yes. But in the event of an attack you would see a sudden surge in requests followed by a flatline, and still end up at 1B…

Looks really useful. I can see myself using it.

Amazing work. The code looks very neat too. I love projects that simplify software.

Even though I don't share the same excitement about darklang, I love it when people are psyched about the projects they pour their lives into. I skimmed through the post, and it wa…

Oh, that was wild. Though to be fair, the human players had to rely on muscle memory to win lanes (CSing, blocking waves, pulling, trading hits, cutting waves, stacking, etc.); whe…

No search engine is immune to LLM generated mumbo jumbo. Google makes an exceptional example at being a terrible search eninge despite majority market share, but as AI continues to…

I do use uBlock Origin. It removes sponsored search results, but it won't do away with the poorly written articles just below. More importantly, not everyone uses an ad-blocker (es…