Readit News logoReadit News
crowdyriver commented on AI will make formal verification go mainstream   martin.kleppmann.com/2025... · Posted by u/evakhoury
teiferer · 2 months ago
> rather than having humans review AI-generated code, I’d much rather have the AI prove to me that the code it has generated is correct. If it can do that, I’ll take AI-generated code over handcrafted code (with all its artisanal bugs) any day!

I wouldn't. An unreadable mess that has been formally verified is worse than a clear easy to understand piece of code that has not.

Code is rarely written from scratch. As long as you want humans to maintain code, readability is crucial. Code is changed magnitudes more often than written initially.

Of course, if you don't want humans to maintain the code then this point is moot. Though he gets to the catch later on: then we need to write (and maintain and debug and reason about) the specification instead. We will just have kicked the can down the road.

crowdyriver · 2 months ago
You already have this problem whenever you are using a library in any programming language. Unless you are extremely strict, vendor it and read line by line what the library does, you are just trusting that the code that you are using works.

And nothing is stopping the AI from making the unreadable mess more readable in later iterations. It can make it pass the spec first and make it cleaner later. Just like we do!

crowdyriver commented on Show HN: templUI – The UI Kit for templ (CLI-based, like shadcn/UI)   templui.io/... · Posted by u/axadrn
crowdyriver · 8 months ago
While I like the modern feel of shadcn/ui and derivatives, I still think that daisyui is much easier to use.

You really just paste these 2 lines in your html and that's it:

  <link href="https://cdn.jsdelivr.net/npm/daisyui@5" rel="stylesheet" type="text/css" />
  <script src="https://cdn.jsdelivr.net/npm/@tailwindcss/browser@4" />
it's a bit more than 100kb of js, but for prototyping it is very nice.

I wish more UI libraries where in the same style. You can always optimize the bundle later.

crowdyriver commented on Decreased CO2 during breathwork: emergence of altered states of consciousness   nature.com/articles/s4427... · Posted by u/bookofjoe
kapitanjakc · 10 months ago
From my personal experience, nothing scientific or proven here.

I sit in a small office since last few years. A year or so ago I started to get less mentally active, as in things were going on in automatic mode.

And I did not feel good in general, a friend who practices Yoga advised me to do breathing exercises.

15-30 mins of deep breaths in open space in early morning, after shower, before breakfast. Followed by 3-5 min of rapid breathing. And finishing with taking as much air as I can and holding it for 30 sec to a min and repeating it for 2-3 times.

I do feel active after that, I wonder if it's related to these studies.

crowdyriver · 10 months ago
Did you check the co2 levels on your office? that could be one reason.
crowdyriver commented on BM25 in PostgreSQL   blog.vectorchord.ai/vecto... · Posted by u/gaocegege
patrickhogan1 · a year ago
pg_bm25 - Optimized for faceted search & PGroonga - Full-text search with JSONB support
crowdyriver · a year ago
Unrelated, but PGroonga reads funny in Argentinian. Better than gimp though
crowdyriver commented on Perplexity got ads   twitter.com/damengchen/st... · Posted by u/amrrs
crowdyriver · a year ago
Genuine question, more for soloentrepreneurs, but what if instead of adding ads from other companies, the perplexity company did other paid products?

Then they could put a few non disruptive ads for those into their main free product, and they would make much more sense.

I want to apply this strategy into my (yet non existent) future products.

crowdyriver commented on Server-Sent Events (SSE) Are Underrated   igorstechnoclub.com/serve... · Posted by u/Igor_Wiwi
crowdyriver · a year ago
http streaming is even more underrated.
crowdyriver commented on Introducing S2   s2.dev/blog/intro... · Posted by u/brancz
fcortes · a year ago
Fun fact: S2 and EC2 sound exactly the same in Spanish - both are "ese dos". Add that to EC2 and S3 already being confusing to tell apart by ear
crowdyriver · a year ago
not for non latin american speakers.
crowdyriver commented on You-get: Dumb downloader that scrapes the web   github.com/soimort/you-ge... · Posted by u/Anon84
vanjajaja1 · a year ago
> Search on Google Videos and download > $ you-get "Richard Stallman eats"

I don't often read instruction manuals, but this time I did and I found this gross easter egg

crowdyriver · a year ago
oh god

u/crowdyriver

KarmaCake day19April 11, 2022View Original