Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
josephg
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
25 ms
·
571.
▲
by
josephg
8mo ago
> increase your tizz*rizz without exceeding a tizz:rizz ratio of 2:1 in either direction. Amazing. Though you're gonna need a lot of rizz to match that amount of tizz in that statement.
572.
▲
by
josephg
8mo ago
When the internet boom happened, computers had a tiny fraction of the RAM they have today. Everything worked fine. Programmers had to make efficient programs. But we were fine with that. We just programmed in C and C++ and shipped small bin
573.
▲
by
josephg
8mo ago
> Even with humans we hire managers to align the activity of subordinates, keeping intent and work in sync. We do this socially too. From a very young age, children teach each other what they like and don't like, and in that way mut
574.
▲
by
josephg
8mo ago
Thats a ridiculous metaphor. Ram isn't food. Nobody starved to death from insufficient RAM in their computer.
575.
▲
by
josephg
8mo ago
Yeah, and we already see really weird things happening when agents modify themselves in loops. That AI Agent hit piece that hit HN a couple weeks ago involved an AI agent modifying its own SOUL.md (an OpenClaw thing). The AI agent added tex
576.
▲
by
josephg
8mo ago
> The only way they will is if the hyperscalers and AI companies start to implode -- which will kill a huge portion of the US economy and lead to global recession, so, cheap RAM but nobody can afford it I disagree. Modern RAM is made in
577.
▲
by
josephg
8mo ago
Yeah I have josephg@gmail. The amount of spam that account gets is wild - about 50-100 emails hit the inbox per day. I got soft-locked out of google docs a few months ago because my google account's 25gb quota was exhausted. Some of th
578.
▲
by
josephg
8mo ago
Yeah I agree with this. We might be able to benchmark it soon (if we can’t already) but asking different agentic code models to produce some relatively simple pieces of software. Fast models can iterate faster. Big models will write better
579.
▲
by
josephg
8mo ago
What does “userland” mean in this context? Closed source linux distributions? Closed source apps? What? The gpl is generally considered to stop at the process boundary. I don’t really understand what you could do with a bsd licensed coreuti
580.
▲
by
josephg
8mo ago
Eh. Copyright only matters if it goes to court. And you only go to court over copyright if somebody is getting sued. That only happens when a plaintiff has standing, they can show damages and the person they want to sue has enough money to
581.
▲
by
josephg
8mo ago
> I also think there are plenty of things we are unlikely to get to even in an edition, and that might never happen without a completely different language. Yes, this is my feeling too. All programming languages - perhaps, all computer p
582.
▲
by
josephg
8mo ago
As I understand it, reverse engineering for the purpose of interoperability is allowed under the law. The only thing subject to copyright is your code. So long as a separate implementation (made by an AI model or made by hand) doesn't
583.
▲
by
josephg
8mo ago
The Linux driver in this case is ISC licensed. There’s no legal or ethical problem in porting it. This is open source working as intended. I feel like the jury is still out on whether this is acceptable for GPL code. Suppose you get agent 1
584.
▲
by
josephg
8mo ago
This surprised me - but sure enough, they're right. The linux brcmfmac driver is ISC licensed: https://github.com/torvalds/linux/blob/master/drivers/net/wi... // SPDX-License-Ide
585.
▲
by
josephg
8mo ago
If an OS is designed to do this from the ground up, it can be incredibly efficient. (See: SeL4). Each process on linux is essentially its own isolated virtual machine already. Linux processes just have all sorts of ambient authority - for e
586.
▲
by
josephg
8mo ago
Thats like describing a mobile only game as "mobile first", even when the developers have no plans to ever port it to other platforms. Its a mobile game. The grep command line utility isn't local first. Its just local softwar
587.
▲
by
josephg
8mo ago
> You can construct sum types in C by combining structs and unions, but it is not an out of the box feature like in Go. Sum types are a first-class citizen in Go. Maybe I'm misunderstanding what you mean. Can you give me an example?
588.
▲
by
josephg
8mo ago
Another argument as to why rust isn't the forever-language. My forever language should include effects! Even rust has need of this. For example, I want a nopanic effect I can put on a function which makes it a compile error for anythin
589.
▲
by
josephg
8mo ago
Yep. Claude code is best thought of as an overachieving junior / mid. It can run off and do all sorts of work on its own, but it doesn't have great instincts and it can't read your mind about what you want. Use it as if you&#
590.
▲
by
josephg
8mo ago
Code is here: https://github.com/josephg/claude-mail Live version: https://seph.au/claude-webmail/
591.
▲
by
josephg
8mo ago
Code is here: https://github.com/josephg/claude-mail The JMAP client itself is hosted here: https://seph.au/claude-webmail/ I can't prove this but its a purely static web app. You need a jmap
592.
▲
by
josephg
8mo ago
> looks to me like a full implementation of the RFC in rust Only the client parts. And only the client parts its actually using. JMAP clients can be much simpler than servers. A JMAP server needs the whole protocol. JMAP clients only nee
593.
▲
by
josephg
8mo ago
I used leptos. Before I started I made a text file containing the entire leptos manual, and told claude to read it. I don't know if that helped, but claude seems to use it just fine.
594.
▲
by
josephg
8mo ago
By that definition a void* pointer in C is a sum type. By that definition assembly has sum types. This argument feels like the “we have sum types at home” meme. Ergonomics matter. I write a lot of rust. Rust has traits which are similar to
595.
▲
by
josephg
8mo ago
Yeah but it’s like saying, “why are you impressed with Claude making a car when there are plans for an engine online?”. Even if Claude used that code (it didn't), it made the whole car. Not just an engine. There’s a lot more stuff goin
596.
▲
by
josephg
8mo ago
I’d also add: as a lover of forward progress, I really hope rust isn’t the last good idea programming language designers have. I love rust. But there are dozens of things I find a bit frustrating. Unfortunately I don’t think I’m clever &
597.
▲
by
josephg
8mo ago
Yeah, I’m sure my Claude generated email client could be even faster if I wrote it by hand. Modern computers can retire billions of instructions per second per core. All operations that aren’t downloading or processing gigabytes of data sho
598.
▲
by
josephg
8mo ago
This may be a bit too pedantic, but I consider interface {} to be a way to do polymorphism via type classes. Interface defines an open class of types which implement some interface. Sum types are a type definition defining something as A or
599.
▲
by
josephg
8mo ago
Sure; I’ll throw it online in a few hours when I’m at my computer.
600.
▲
by
josephg
8mo ago
It made a webmail client. Not a jmap library.
More ›