frakt0x90 (u/frakt0x90)

frakt0x90 commented on The Sovereign Tech Fund invests in Scala scala-lang.org/blog/2026/... · Posted by u/bishabosha

mikert89 · 11 days ago

Scala is too complicated. Most scala code bases I have worked on have no enforced structure, the language allows for all sorts of unconventional programming paradigms

frakt0x90 · 11 days ago

This is exactly what turned me off. It supports so many paradigms that every line of code I wrote I had to sit and think if I was doing it the "right" way and it was miserable.

frakt0x90 commented on AI generated music barred from Bandcamp old.reddit.com/r/BandCamp... · Posted by u/cdrnsf

neom · a month ago

I've been having fun making stuff in Suno, I'm not a musician but I've always enjoyed "producing tracks" using Abelton and find the Suno + Abelton combo to be real magic on the weekends. I think some of the stuff I made isn't too bad and I'd love feedback on it. For a few weeks I went back and forth about uploading them to my soundcloud and resolve with this: I wouldn't have insisted we only allowed art made with MS paint on deviantART, we didn't even enforce quality (tho we highlighted) - we enforced the type of kindness that leads to learning and growth. I hope we can have places for professionals and places for people to display and play with creativity and art irrespective of the tooling. :)

frakt0x90 · a month ago

Whenever I see defences of AI "art" people very often reduce the arguments to these analogies of using tools, but it's ineffective. Whether you use MS Paint, Photoshop, pencil, watercolor etc. That all requires skill, practice, and is this great intersection of intent and ability. It's authentic. Generating media with AI requires no skill, no intent, and very minimal labor. It is an approximation of the words you typed in and reduces you to a commissioner. You created nothing. You commissioned a work from a machine and are claiming creative authorship.

frakt0x90 commented on Open-source Zig book zigbook.net... · Posted by u/rudedogg

bool3max · 3 months ago

We really are in the trenches. How is this garbage #1 on the front page of *HN* right now?

Even if it was totally legitimate, the "landing page" (its design) and the headline ("Learning Zig is not just about adding a language to your resume. It is about fundamentally changing how you think about software."?????) should discredit it immediately.

frakt0x90 · 3 months ago

I imagine a lot of people didn't even click. They see free Zig materials and upvote.

frakt0x90 commented on Are We Doomed? lrb.co.uk/the-paper/v47/n... · Posted by u/pepys

Ekaros · 3 months ago

My feeling is that birth rate could be solved in properly authoritarian country. With policies that won't fit to most "western" schemes.

Ban birth control pill

Ban Abortion

Largely limit social media

Subsidize recreational activities like bars and other such drugs

After people have accidental kids, they will figure out the food, housing and so on.

frakt0x90 · 3 months ago

This is just not interesting. A dictator can force people to do things.

frakt0x90 commented on California law forces Netflix, Hulu to turn down ad volumes politico.com/news/2025/10... · Posted by u/c420

anothereng · 4 months ago

this is why i believe ad blockers are perfectly moral to use for families

frakt0x90 · 4 months ago

And everyone else.

frakt0x90 commented on Everything that's wrong with Google Search in one image bitbytebit.substack.com/p... · Posted by u/recroad

freediver · 5 months ago

They still get away with it as ‘only’ 1% complain and Google thinks they don’t matter.

We built our entire company for that 1%.

frakt0x90 · 5 months ago

And we are very grateful

frakt0x90 commented on MrBeast Failed to Disclose Ads and Improperly Collected Children's Data bbbprograms.org/media/new... · Posted by u/_p2zi

helsinkiandrew · 5 months ago

To be fair that is a lot of professions: lawyers, accountants, doctors, dentists, car mechanics. All could advise you need a service you don’t really need but maximises their revenue.

frakt0x90 · 5 months ago

Except a decent number of those examples have legally binding oaths not to screw you. And if they are found to have screwed you, are barred from their profession and have to pay you a lot of money. Maybe that should be more common.

frakt0x90 commented on Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover imperialcollegelondon.git... · Posted by u/ljlolel

frakt0x90 · 6 months ago

I know nothing about theorem provers. Is the idea that you can prove a large number of simpler statements that build on each other until it all implies the top level theorem you're proving (like how IRL math works)? That way you don't have to understand the gargantuan computer program all at once?

It just seems like it would be as hard to verify the accuracy of the code written to prove a complex theorem like FLT as a manuscript written in English. But if you can rely on smaller statements that build on each other, it would make more sense.

frakt0x90 commented on Zedless: Zed fork focused on privacy and being local-first github.com/zedless-editor... · Posted by u/homebrewer

asadm · 6 months ago

I think you and I are having very different experiences with these copilot/agents. So I have questions for you, how do you:

- generate new modules/classes in your projects - integrate module A into module B or entire codebase A into codebase B?

- get someones github project up and running on your machine, do you manually fiddle with cmakes and npms?

- convert an idea or plan.md or a paper into working code?

- Fix flakes, fix test<->code discrepancies or increase coverage etc

If you do all this manually, why?

frakt0x90 · 6 months ago

To me, using AI to convert an idea or paper into working code is outsourcing the only enjoyable part of programming to a machine. Do we not appreciate problem solving anymore? Wild times.

frakt0x90 commented on Copilot broke audit logs, but Microsoft won't tell customers pistachioapp.com/blog/cop... · Posted by u/Sayrus

mpeg · 6 months ago

I wouldn't say those two are equivalent. A cryptographic hash requires the exact full document to be available to "recover it" from the hash. With a vector embedding you can extract information related to the document from the embedding alone as long as you know (or can guess) what embedding model was used. You won't be able to reconstruct the document but you will be able to infer some meaning from the vector alone

frakt0x90 · 6 months ago

Yes there have been multiple papers showing information extraction from embedding vectors if you know the model used. SHA by design maps similar strings pseud-randomly. Embeddings by design map similar strings similarly.