Hacker News Reader

jrvieiraon The internet wants to check your ID

Would that be your SSN in the US for example? I don't think most people would be in favor of that.

Australia, Canada, Ireland, New Zealand, the UK, and the US have no government-issued compulsory identity cards for all citizens.

jrvieiraon I've seen 12 people hospitalized after losing touch with reality because of AI

Yes.

jrvieiraon AI must RTFM: Why tech writers are becoming context curators

hell, semantic web even. we wouldn't need AI

jrvieiraon The internet wants to check your ID

Not all countries have centralized systems with comprehensive national databases, some purposefully fragment record-keeping across different agencies and limit their access accordingly.

Privacy laws and constitutional protections vary widely across democracies and - in my estimation - for very good reason.

jrvieiraon The internet wants to check your ID

I don't see how we can arrive at an alternative interpretation if we follow your argument to its logical conclusion.

jrvieiraon The internet wants to check your ID

You can verify that you're above a certain age while remaining anonymous by way of zero knowledge proof, for example. There is no need to involve a government in a transaction of information that is outside its scope.

jrvieiraon The internet wants to check your ID

That's not how "attack surface" works. Having your information centralized is what makes you vulnerable.

jrvieiraon The internet wants to check your ID

You talk like we all live under the same government, and like it would be a good thing if we did.

jrvieiraon GitHub pull requests were down

In this particular case, they definitely did.

jrvieiraon The internet wants to check your ID

Why do you think that's the only way?

jrvieiraon GitHub pull requests were down

Really?

https://github.com/features

The same since when?

jrvieiraon Typed languages are better suited for vibecoding

try not vibe coding. it's even better

jrvieiraon Why doctors hate their computers (2018)

They probably just meant that protocol prevents them from giving you access to them.

jrvieiraon Launch HN: Hyprnote (YC S25) – An open-source AI meeting notetaker

I feel like everyone already understands that argument and it won't convince anyone that it's any less of a lie.

jrvieiraon Why concatenative programming matters (2012)

Modern machines do. But the dominance of imperative assembly is more about historical momentum and engineering tradeoffs than fundamental necessity. We don't have to go all-in on Von Neumann.

jrvieiraon Mwm – The smallest usable X11 window manager

It's capital -X and -Y

-x disables X11 forwarding.

jrvieiraon You can now disable all AI features in Zed

how does it compare to neovim in terms of input lag?

jrvieiraon Asynchrony is not concurrency

careful: in many programming contexts parallelism and concurrency are exclusive concepts, and sometimes under the umbrella of async, which is a term that applies to a different domain.

in other contexts these words don't describe disjoint sets of things so it's important to clearly define your terms when talking about software.

jrvieiraon Self-taught engineers often outperform (2024)

"We want you to be good, not better than us"

jrvieiraon The death of partying in the USA

I partied when i was young, never DnD'd nor LAN'd. Now in my thirties I DnD and LAN, party not so much :)

jrvieiraon Most ints are not floats

Unbounded integer types exist, which have infinite precision in theory and are only limited by available memory in practice.

You can make the argument that "proper" integers are also bounded in practice by limitations of our universe :)

jrvieiraon Most ints are not floats

wait, why?

jrvieiraon Most ints are not floats

Yes, all floating numbers are rational. (It's also true that they are all reals but i get your point.)

jrvieiraon Tell me about your favorite tree (a slow-web proposal)

It's the old internet. I started having meaningful interactions again when I deleted most my social media accounts and rediscovered IRC and other platforms alike.

I started consuming quality content again when i replaced youtube with a FOSS wrapper that allows me to avoid the algorithm and ads, started torrenting books and getting my news through RSS feeds.

I started having fun again when I stopped using Steam and replaced it with oldschool LAN parties with my friends.

And before you accuse me of nostalgia, I never went to a LAN party when I was young, nor did I use IRC that much (the internet was expensive!).

Yes, the old internet was and still is better.

jrvieiraon Working on databases from prison

how does the taxpayer benefit from the inexistence of rehabilitation programs?

jrvieiraon "I vibe coded and shipped an app in three days. It got hacked. Twice."

I'm not alone in this and we don't need to go much further back than the early '00s! Great time to sample from.

I had a Mac at the time so here's some from the top of my head that I remember being very popular: Quicksilver and LaunchBar, NetNewsWire, Coda and Transmit (anything from Panic, really), Growl, AudioHijack and Soundflower, Unarchiver, iA Writer... these were insanely well crafted apps with no real competition from big companies in that regard.

Apple infamously capitalized on this indy development phenomenon with the creation of the AppStore model in 2008, first on the iPhone and later on the Mac.

Outside of this ecosystem I can remember WinAmp, Total Commander, WinRar, 7-zip, VLC, Foobar, mIRC, Paint.NET, μTorrent, FileZilla, Reaper, SublimeText...

Macromedia was a medium sized company with huge global success for their size, and they had some of the best software out there at the time before their acquisition. Adobe immediately polluted it.

Thoughtful, ad-free, bloat free, passion-driven software with attention to detail, good design and great performance was an attribute of small independent teams, not big software companies.

jrvieiraon "I vibe coded and shipped an app in three days. It got hacked. Twice."

I suspect it's a long way from what it's meant here by "online personal projects i can interact with" and "median github/pypy/npm crap".

Speaking for myself, I remember a time when personal ("indy") projects had the reputation of being better cared for than big company products before online repositories were even a thing.

jrvieiraon If you are useful, it doesn't mean you are valued

Yeah that general doesn't seem too clever

jrvieiraon Violating memory safety with Haskell's value restriction

https://wiki.haskell.org/Safe_Haskell

unfortunately this is as far as that goes

jrvieiraon The Next Abstraction

i feel like lisp owes more to compositionality than it owes to abstraction per se, as an antidote to complexity