HackerTrans
TopNewTrendsCommentsPastAskShowJobs

eduction

2,409 karmajoined 4 anni fa

Submissions

Emacs and Vim in the Age of AI

batsov.com
1 points·by eduction·4 mesi fa·0 comments

comments

eduction
·12 ore fa·discuss
Can BitTorrent’s architecture contribute anything useful here?

I admit this is a naive question. I have no idea how applicable bt is to web requests. This problem just seems to have a similar “too many people want this resource” shape.
eduction
·18 ore fa·discuss
>agents need strong type systems and narrow guardrails

I read the second paragraph of linked article as saying close to the opposite of that, particularly,

"the model can often avoid the mistake before the compiler ever sees the code. And as the models get better, the relative value of catching every possible issue at compile time changes."

In other words, LLMs are much less likely than humans to make dumb, fat-finger mistakes, and, when they do, are able to catch and fix them more quickly, ergo the value of type checking has fallen.

Everything in the prior sentence is, obviously, highly debatable. But it felt like part of the premise.
eduction
·4 giorni fa·discuss
Plainly, you’d much rather live here than there, and your equivalence is totally false. It’s a dictatorial repressive regime and much worse than here and you know it, and your comment is a corrosive disingenuous false equivalence.

It’s really a bizarre statement, a sort of narcissistic need to feel persecuted amidst a life of plenty in the wealthiest society ever known. They have forced sterilization of Muslim women in China, up until recently forced abortions under the one child rule, and you get disappeared for criticizing dear leader. And your cozy life is comparably miserable? Only in your mind.
eduction
·8 giorni fa·discuss
So you think it’s just as bad as China here? Please state plainly instead of dodging around. Would you just as soon live there, have made your career there? You think you’d be able to publish your books and prosper there? You think we are fascist and so… your life will be miserable now?

I think you’re being absurd. You’ve had a great and largely unfettered career. How has repression hurt you in the slightest? Who repressed you?
eduction
·8 giorni fa·discuss
The noise is often from backup power solutions like diesel generators that need to be turned on regularly. Maybe that’s what the turbines are? I can’t imagine a data center getting provisioned with a turbine as its primary power. But yes a data center can be silent most of the month.

Very open to being corrected on any of this, it’s just my own understanding but I’m not in the industry.
eduction
·9 giorni fa·discuss
Because repression is a thing of the past in China? They continue to persecute investors and business executives who get too successful and to repress academic work they find politically objectionable. The communist party continues to exercise control over all intellectual endeavors.

And don't think it doesn't matter for jet engines. This article gets into how the open acknowledgment and dissection of engine failure in the West promotes quality and that China has clearly not adopted this culture. Of course not.

They'll catch up in the same way the Soviet Union used to - at unsustainable cost and on the way to falling behind yet again.
eduction
·10 giorni fa·discuss
>They never mention they could’ve been wrong

As thrw045 has pointed out, they do precisely this toward the end of the post.
eduction
·10 giorni fa·discuss
By your logic no one should ever talk in meetings or write blog posts or comments (like yours) - stating any case about anything constitutes "not listening." Bollocks. A good listener spends a lot of time listening, but can spend some time talking.
eduction
·10 giorni fa·discuss
If your _overriding_ concern is convenience, digital purchase wins. No monthly thing to sign up for and eventually cancel, no little expiration window, no need to find and download a torrent.

Digital movies are convenient, that’s why we like them. You are right. Why wouldn’t we like the _most_ convenient form of them?
eduction
·12 giorni fa·discuss
>Why do people buy movies digitally anyway? I can understand digital movies (they are convenient)

You answered your own question very efficiently.
eduction
·13 giorni fa·discuss
Great example of why operating systems should be stealing more ideas from Qubes, the OS where everything runs in a vm.

Qubes is not practical for mobile laptop use and non expert users.

BUT it would be very practical for other OSes to offer the option of VM-style isolated containers as first class objects that are easy to make and configure boundaries on, and for which first class interop facilities are provided (eg “send this file to this container” “send the clipboard to this container’s clipboard).
eduction
·18 giorni fa·discuss
Your time library is not going to design your database schema for you.
eduction
·18 giorni fa·discuss
> Going forward, the UTC offset for America/Vancouver timezone is permanently UTC-7.

A rather bold use of the word “permanently” given that the province just changed the previous permanent setup.
eduction
·18 giorni fa·discuss
Everything in the future is provisional and uncertain. The doctor could die, humanity could get obliterated, the database could go offline and you lose all your appointments.

Should we all add precise GPS coordinates to our salon appointments in case that neighborhood is seized by commandos from Newfoundland who really really want us all on GMT? I’m personally not sure it’s worth the effort.
eduction
·24 giorni fa·discuss
That's not my memory of the post but it's gone now. My second sentence sums up my thoughts in the area, but I never suggest simply equating one word with another, nor do I use the term "creating wealth."

Still, I can rephrase my contention: In a basically capitalist society, growing societal aggregate wealth necessarily grows inequality. Even a Nordic welfare state, which many (including me) hold up as a robust way to promote income equality, is going to show more variance in the size of pie pieces as the size of the pie grows (even when you account for taxes).
eduction
·24 giorni fa·discuss
That's clearly a matter of opinion, the organizers are citing the code, and the idea that codes could be interpreted different ways by different people, and/or disingenuously weaponized, was part of the objection to codes of conduct in the first place.
eduction
·24 giorni fa·discuss
The title is wrong as they are not just different in sourcing but topic.

A better title would be "Hacker News but for general content from independent blogs."

Hacker News but for independent blogs would be the same topic as HN but only stuff from independent blogs.

This is avowedly broad: "Hacker News and Lobste.rs have community voting figured out, but non-tech content gets drowned by the tech majority"

https://bubbles.town/about
eduction
·mese scorso·discuss
[flagged]
eduction
·mese scorso·discuss
You can usually get a web cancel option by changing your address, because some states, including California[1], have laws requiring it be as easy to cancel as it was to sign up.

WSJ offered me an online cancel option after I moved (cough) to California.

It was a digital subscription by the way - usually they have your address on file anyway because you used it to verify your credit card.

[1]https://oag.ca.gov/news/press-releases/attorney-general-bont...
eduction
·mese scorso·discuss
[dead]