Now make an algebra out of the CAP theorem. It's not already one, isn't it? Didn't read the paper.
Readit Newsluckystarr commented on /dev/null is an ACID compliant database jyu.dev/blog/why-dev-null... · Posted by u/swills
luckystarr commented on EU court rules nuclear energy is clean energy weplanet.org/post/eu-cour... · Posted by u/mpweiher
You know what, let’s turn popular city parks to windmill and solarparks.
NY central park for example. Copenhagen has a few beloved open green places we could clean out and replace with solarcells, so does Berlin.
Im unscientifically guessing support for nc energy would rise very quickly and wed have a whole bunch of them within a decade.
Source, I live near a windmill, they are loud as f*k. I drive by solaparks nearly every day.
They remind me of those horrible deforested areas in Sweden called kalhygge. Nothing green about those atrocities.
Newer wind turbines don't have a gearbox and are almost completely silent. When standing next to one, the loudest components are the electrical inverters/transformers.
The API is great. Will definitely try it out. I have a use case already. How difficult would it be to extend this to support timed flushes? Like, every 200ms or so, regardless the fill of the buffer?
luckystarr commented on One person was able to claim 20M IPs lists.nanog.org/archives/... · Posted by u/speckx
My hunch: it's not a real captcha on their page femboy.cat, but actually a script which "claims" the address in the ipv4.games game. Nothing to see here, move along.
luckystarr commented on Show HN: Nia – MCP server that gives more docs and repos to coding agents trynia.ai/... · Posted by u/jellyotsiro
When I start a nontrivial coding task with AI, I added a “context” directory, instructions in the tool prompts how to use the files in that directory, and then I spent a couple hours using a thinking chat AI to generate the documentation I wanted (like “build me an API document for this library, the source code is at this URL and here are some URLs with good example code).
I’ve had generally good results with this approach (I’m on project #3 using this method).
For thorny problems I let the agent give me a simplified flow-chart in mermaid syntax. LLM's brain-farts are easily visible then. I correct the flow-chart "Ah, you're right!" and then let it translate it to code. Works wonders.
That page can't be very old because it doesn't use any frames!
> It's a start. The world needs a better way to handle bookkeeping, and the existing tools sure aren't cutting it.
God, please, no. Non-deterministic language models aren't the solution to improve bookkeeping.
Well I've seen worse bookkeepers. "You know, you approved of the budget, but where are our customers payments in the balance sheets? We can't find them!" - "Uhm..."
luckystarr commented on The borrowchecker is what I like the least about Rust viralinstruction.com/post... · Posted by u/jakobnissen
> [The pain of the borrow checker is felt] when your existing project requires a small modification to ownership structure, and the borrowchecker then refuses to compile your code. Then, once you pull at the tiny loose fiber in your code's fabric, you find you have to unspool half your code before the borrowchecker is satisfied.
Probably I just haven't been writing very "advanced" rust programs in the sense of doing complicated things that require advanced usages of lifetimes and references. But having written rust professionally for 3 years now, I haven't encountered this once. Just putting this out there as another data point.
Of course, partial borrows would make things nicer. So would polonius (which I believe is supposed to resolve the "famous" issue the post mentions, and maybe allow self-referential structs a long way down the road). But it's very rare that I encounter a situation where I actually need these. (example: a much more common need for me is more powerful consteval.)
Before writing Rust professionally, I wrote OCaml professionally. To people who wish for "rust, but with a garbage collector", I suggest you use OCaml! The languages are extremely similar.
I believe it. I experienced this once, as I tried to have everything owned. Now I just clone around as if there's no tomorrow and tell myself I'll optimize later.
luckystarr commented on Mercury: Ultra-fast language models based on diffusion arxiv.org/abs/2506.17298... · Posted by u/PaulHoule
I'm kind of impressed by the speed of it. I told it to write a MQTT topic pattern matcher based on a Trie and it spat out something reasonable on first try. It hat a few compilation issues though, but fair enough.
luckystarr commented on Just Ask for Generalization (2021) evjang.com/2021/10/23/gen... · Posted by u/jxmorris12
(2021), still very interesting. Especially the "post-overfitting" training strategy is unexpected.
I remember vaguely that this was observed when training GPT-3 (probably?) as well. Just trained on and on, and the error went up and then down again. Like a phase transition in the model.