Readit News logoReadit News
Gehinnn commented on Testing Ads in ChatGPT   openai.com/index/testing-... · Posted by u/davidbarker
Gehinnn · 6 days ago
The ads in Google also started like this. (However, to my knowledge, there is no way I can pay Google to get the ads in my search removed)
Gehinnn commented on The silent death of good code   amit.prasad.me/blog/rip-g... · Posted by u/amitprasad
Gehinnn · 8 days ago
Opus is quite good at refactoring. Also, we can finally have all the helper functions/beautiful libraries/tests that we always wanted to have. There is no excuse anymore to approximate a parser with regular expressions. Or to not implement the adapter class which makes an ugly unchangeable interface beautiful.

I believe the right use of AI makes it possible to write more beautiful code than ever before.

Gehinnn commented on Project Genie: Experimenting with infinite, interactive worlds   blog.google/innovation-an... · Posted by u/meetpateltech
jlhawn · 17 days ago
Now I can't stop thinking about _The Experience Machine_ by Andy Clark. It theorizes that this is how humans navigate and experience the real world: Our brains generate what we think the world around is like and our senses don't so much directly process visual information but instead act like a kind of loss function for our internal simulations. Then we use that error to update our internal model of the world.

In this view, we are essentially living inside a high-fidelity generative model. Our brains are constantly 'hallucinating' a predicted reality based on past experience and current goals. The data from our senses isn't the source of the image; it's the error signal used to calibrate that internal model. Much like Genie 3 uses latent actions and frames to predict the next state of a world, our brains use 'Active Inference' to minimize the gap between what we expect and what we experience.

It suggests that our sense of 'reality' isn't a direct recording of the world, but a highly optimized, interactive simulation that is continuously 'regularized' by the photons hitting our retinas.

Gehinnn · 16 days ago
Doesn't this have some implications for P vs NP?

How much compute do you need to convince a brain its environment is "real"?

What happens if I build a self replicating super computer in this environment that finds solutions to some really big SAT instances that I can verify?

Dreams run into contradictions quite quickly.

Gehinnn commented on Ask HN: How do I help a colleague who introduces a lot of typos?    · Posted by u/tornadofart
Gehinnn · a month ago
Most editors have some kind of spelling mistake linting extension, that should help!
Gehinnn commented on Show HN: Minimalist editor that lives in browser, stores everything in the URL   github.com/antonmedv/text... · Posted by u/medv
gnyman · 2 months ago
Funny how I made almost exactly the same but for maps.

I needed a way to share a link to a map, with drawings and the ability for the receiver to see their own location on the map.

Annotated screenshots solves the first but not the second.

Vibe engineered this, with many of the same ideas as OP.

Took an evening. Just in time apps for one specific use case is a thing.

And because it's so cheap to make and can be hosted cheaply with no backend, it can be given away for free.

https://nyman.re/mapdraw/#l=60.172108%2C24.941458&z=16&d=LU8...

Gehinnn · 2 months ago
This is very cool!
Gehinnn commented on I Learned the Pythagorean Theorem   danq.me/2025/11/13/pythag... · Posted by u/speckx
Gehinnn · 3 months ago
I still have difficulties understanding on a high level why lengths in triangles can produce irrational numbers. I guess once you accept that area in two dimensions involves multiplication, it is a necessary consequence.

I wonder what it means for projects such as wolfram physics where space is discrete. Do truly right angled triangles even exist in nature?

Gehinnn commented on Bach Cello Suites (2024)   bachcellosuites.co.uk/... · Posted by u/bondarchuk
Gehinnn · 5 months ago
I wish Spotify would allow me to easily compare the same classical pieces with different recordings!
Gehinnn commented on Do the simplest thing that could possibly work   seangoedecke.com/the-simp... · Posted by u/dondraper36
Gehinnn · 6 months ago
Is doing a refactoring ever the simplest thing that could have been done? I think "do the simplest thing" should be "do the thing that increases complexity the least" (which might be difficult to do and require restructuring).
Gehinnn commented on Why LLMs can't really build software   zed.dev/blog/why-llms-can... · Posted by u/srid
skydhash · 6 months ago
Programmers are mostly translating business rules to the very formal process execution of the computer world. And you need to both knows what the rules means and how the computer works (or at least how the abstracted version you’re working with works). The translation is messy at first, which is why you need to revise it again and again. Especially when later rules comes challenging all the assumptions you’ve made or even contradicting themselves.

Even translations between human languages (which allows for ambiguity) can be messy. Imagine if the target language is for a system that will exactly do as told unless someone has qualified those actions as bad.

Gehinnn · 6 months ago
I wouldn't say "translating", but "finding/constructing a model that satisfies the business rules". This can be quite hard in some cases, in particular if some business rules are contradicting each other or can be combined in surprisingly complex ways.
Gehinnn commented on The Anti-Pattern Game   hakon.gylterud.net/antipa... · Posted by u/gylterud
n4r9 · 6 months ago
It certainly seems like you can get much longer words. I just had a quick go and came up with

  0 1 0 2 0 1 2 0 1 0 2 0 2 1
but I stopped there because it gets tedious to check manually for repetition. Might be worth writing a little script to produce the word where each letter is the smallest possible number that doesn't create repetition.

Gehinnn · 6 months ago
Just checked with AI: Thue showed 1906 that there are infinitely many square free words (:= a word that doesn't contain a non-primitive word) over an alphabet with at least 3 symbols.

u/Gehinnn

KarmaCake day1076June 2, 2017
About
twitter: hediet_dev Working at Microsoft on VS Code

meet.hn/city/ch-Zurich/Zurich

View Original