skysight-inc/HackerNews huggingface dataset:
> Is this really unusual? How do people operate for whom Vim gives a productivity boost? Does code just flow from their brains into their fingers? I don't get it.

I am very bad at keeping all that stuff in my head at once. I need to get things out of my head onto the screen as fast as possible, so that I can then think about the "next step". Then I need to be able to quickly refer back to many places quickly and switch back and forth between different places in the codebase.

For example, as soon as I think of a corner case, I'll try to handle it immediately in an if statement or something. Then it's there, in the code. Maybe it stays in the final version, maybe I end up with 10 if statements and need to refactor everything.

But it's much easier for me to do that when everything is written down in the code rather than trying to do it all in my head.

If I typed at 15 WPM, I'd probably be easier to just reason about it in my head, because by the time I finished typing, I would have forgotten what I was thinking about.

I'm sure these things cause a feedback loop of sorts. Because I know I can get stuff out of my head quickly, I don't bother training myself to get better at storing more in my head at once. So I get worse and the solution is just to edit text faster.

Similarly, I suspect since you can keep everything in your head, there's no incentive to get faster at editing text. And if a problem is "harder" the solution is to get better at keeping stuff in your head.

I don't think there is a right or wrong answer. I think exposing people to both sides is important, so they can find what works for them.
> I can see it but I don't care.

Then you are still able to know the difference since then.

You just don't care about it in that use case. (Neither do I. My second monitor is 60fps, and watching video or developing web page on it are totally fine to me)

The argument `people won't be able to tell the difference about 60fps and 120fps` only makes sense if you don't have experience about using a high refresh rate monitor.
Also a lot more expensive. The UK is not big enough for it to make technical sense.
It’s running well because the old guard built it so well. Musk threw them all out, so it will slowly but surely degrade. There was a reason Twitter had such a large workforce.
Given that his entire [claimed] rationale is “restoring free speech in America” you can scratch countries 2-6 off that list.
This assumes that legislation/ajudication won't tell AI companies that grabbing any content they can find and not reimburse the original author is "fair use" or something equivalent in other jurisdictions. Here's to hoping.
If you have a library that is tightly coupled to A and B, then A and B are effectively coupled.

Ergo, put all three into a single repo because you pretty much have to deploy all three together.

The test for the tightness of coupling is to ask whether A and B can use different versions of the library. If not, they are tightly coupled.
If SBF actually tries to go to trial and gets deposed in the lead up, then every one of these interviews, blog posts and tweets are just more documents his attorneys will give him to study in preparation. He will have to ensure every answer he gives is consistent with these prior statements. Does anyone think SBF can do this. If he plans to testify at trial, then he will have to go through this drill again. First SBF says "I fucked up." Now he is saying the implosion was due to factors outside his control.

What is with his parents. Is he locked in his room playing video games. Do they have any idea what he is doing. I think he has a brother close to his age. How can these people stand by and let a family member make such idiotic choices.

This is why the Silicon Valley people advising Zuckerberg have opted to keep him from having to testify in a federal trial on multiple occasions. Being truthful is not something these kids can do well and anyway the truth is far too dangerous for "tech" companies.
That was one of my favorite stories and certainly relevant to the theories here.
Does this discussion not also apply to most mono vs poly scenarios? Monolith vs microservices comes to mind. The infamous monolith kernel vs micro kernel discussion between Tannenbaum and Torvalds. Even small companies vs large ones.

We shift the complexity and pain to where we are most comfortable with it. Or where we see the best benefits from the trade off.
Hardware acceleration in robotics news. Can the U.S. bring chip manufacturing home?, The best tech of CES 2023, Teaching old robots new tricks, Qualcomm develops one automotive chip to rule them all, China may have to reassess chip strategy in face of US sanctions
One thing not in the xkcd is "how much time it takes you to make the script".

Let's say there is some weird service that you sometimes need to manually restart in a very specific order for maintenance. The hard (time intensive) task is figuring out the right incantations and the order to do it. It is however not time intesive at all to store those incantations in a shell script.

So not saving that in a script risks you (or a co-worker) having to go through this again, potentially missing some important aspect and wasting time and energy.
According to 1984, 2 + 2 = 3 could be possible if we shrink our language and mutate our history to the point that, in a few generations in the future, nobody could even think or remember that 2 + 2 = 4. If we remove "freedom" from our vocabulary, and simplify our language over the years, how can we know we are actually free if we cannot it find words to express what freedom means?
Someone should tell them about the insanity of applying for data science positions.
Yes, the git CLI! Try `git log --first-parent`. Not sure about which other frontends support it, but they should (if only to shut the squashers up).
Fake it till you make it! Done right!
> Can you make Firefox's form inputs use Vim keybindings?

Do you mean something like this: https://github.com/glacambre/firenvim?
You could, and probably should. The challenge is with the fad of scale. Every company wants to be the big guy hence bunch of hiring bunch of initiatives. It is common for people to subscribe to the ritual that a proper team should have some combination of PM, UI designer, UX designer, frontend, backend, devops (which is actually ops), QA, scrum master, customer success, support, data engineer, etc. Like graft different sticks together to call it a tree. OR you could grow a tree organically, naturally. Someone in your team is good at empathizing with customer? Good, do more talking with customer. Good with motivating colleagues? Good, do more motivating. It just doesn't quite fit the narrative of scale
The rationale is to control the narrative and align Twitter’s politics with his own. It’s just like the hundred other rich dudes who bought newspapers over the years.
Yes what were they supposed to do with the information that their business would end up cooking the earth??? If only I could think of something, but i can’t. So let’s just fund denialism if it all instead.
All of these are US companies, in which case the GDPR explicitly states that I need to have additional contractual clauses to transfer the data to the US, which would be nice to avoid. Furthermore, recent court decisions have stated that I, as the data controller, need to take additional technical measures to protect the data being transfered... which I'm supposed to do how exactly with e-mail?
I'm the opposite of disappointed. The amount of public pretrained models that have been popping up recently is crazy.
It's more often than not a prerequisite. I was contacted a few years ago and was told that the position was for people with "BsC" degrees. They lie through the teeth all the time.

Same with Elon Musky, Phd not required but they won't even look at your resume without it.
> and it came down very early in time.

Is this just because we’ve used it to define the start?
Not going to lie, that sounds completely awesome.
It's called a data processing agreement, where the data controller and data processor have an agreement how personally identifiable data is to be handled exactly. Protonmail is no exception to this as they still have access to unencrypted PII when they receive mail over SMTP.
If they hadn't purged the entire staff they wouldn't need to relearn the same lessons
maybe this is the culprit then
I take it no such outages occurred in the prior history of twitter?
I’m the same, I don’t really mind ads but I do not like the “algorithmic” timeline. Will find a way that doesn’t involve using their official iOS app, even if it means falling back to mobile web
I am too ignorant to weigh in on MOND vs dark matter, but this seems entirely possible.

In all domains - not only physics - there are many possible models that seem to match our observations. They’re continually adapted over time in order to meet to perceived needs and reality (see: the medieval European church).

Paradigm shifts can happen incremental or explosively. With the enormous sunk cost in our existing models - not least the millions of people educated in them - incremental change becomes harder. If MOND or any alternative theory is “true”, it faces a distinct challenge: there are decades of experiments and observations that have been fit to our existing model. To take over, it needs to answer _all_ of it - or provide so much utility that the incentives shift.

Success can be paralysing. In tech, a new idea can come along and shake everything up by showing results and solving a problem. The only way a new model of physics can do that is by generating a practical breakthrough. I hope I’m wrong!
I can recommend Patrick Leigh Fermor as a travel writer. For those who don't know of him, he was the leader of the partisan group wo abducted the German General Kripke in Crete in 1943, filmed as I'll Meet by Moonlight. His books of his pre-war adventures hiking across Europe on foot are a joy to read.
Restic 0.15.0 Released
Most of the replies here seems to be restating principles behind "Do things that don't scale." I was of the similar mindset. But slowly, I realized the reality is more nuanced and the essay needs to be taken with a grain of salt. I hate repetitive, manual tasks. It's more likely I will forgot to do them, or I will make an error in doing them, or I will put them off. At the same time, I am pretty comfortable with programming, I love hacking together different tools and APIs to build useful things.

I have found creating mini tools a better use of my time, then just follow a shitty workflow because I need to keep doing things until I have reached a certain threshold. YMMV, of course.
Awesome plan!
It would be more surprising when the UK isn't.
Public publishing and filing with the patent office do "compete", though there is (or was) a grace period. That is, if you file a patent for something you just read in a journal, the patent office is supposed to discover the paper that was made public before your filing and not grant your patent.

However, I believe there is (or maybe just was?) a grace period of a few months, where you can claim it just took a few months to file and your patent can still be granted even if prior art appeared in these X months between your invention and the actual filing (I have no idea how this is adjudicated).
I’m not necessarily disagreeing with your list, even though some of those are mediocre at best, but yeah I did mean per year, and limited to Hollywood (Parasite for instance not counting). And no, ok, I will also straight up disagree with the second Knives out Movie which I thought was absolute trash. A perfect example of poor storytelling and the form over substance of modern cinema.

But just taking say 1992 you have Last of the Mohicans, The Unforgiven, My Cousin Vinny, Malcolm X, Bad Lieutenant, Scent of a Woman, Reservoir Dogs, Dracula, Chaplin.

And then a bunch of fun schlomp like Arizona Dream, Basic Instinct, Sister Act, Army of Darkness, Home Alone 2, Buffy the Vampire Slayer, The Mighty Ducks, Wayne’s World.

These are all undoubtedly great movies.

And then another huge bunch of watchable stuff easily comparable to some of your mentions like Watcher or High Life.

And 1992 is not an outlier.

In 1993 you have Jurrasic Park, Groundhog Day, Whats Eating Gilbert Grape, Scindlers List, Meanace 2 Society, Alive, Dazed and Confused, Falling Down, In The Name of The Father, True Romance, Demolition Man, Carlitos Way, The Secret Garden, Philadelphia, A Perfect Workd, Cool Runnings, Short Cuts.

In 1991 Silence of The Lambs, Ternimator 2, JFK, Point Break, Thelma and Louise, Boyz in the Hood, The Doors, My Own Private Idaho, Barton Fink, The Fisher King, Naked Lunch.

In 1990 Goodfellas, Hunt for Red October, Total Recall, Edward Scissorhands, Home Alone, Godfather 3, Dances with Wolves, Tremors, Back to the Future 3, Awakenings, The Witches, Wild at Heart, Jacobs Ladder, Nikita, Slacker, Millers Crossing.

And the quality difference is massive too, not just somewhat better. Like just Millers Crossing is miles better than anything that has been made in the last 5 years, and I’m picking at random.

In 1994 Shawshank Redemption, Pulp Fiction, Forrest Gump, The Lion King, Speed, Ace Ventura, Dumb and Dumber, Stargate, Natural Born Killers, The Crow, Clercs, Maverick, Ed Wood, In the Mouth of Madness, Interview With The Vampire.

I could go on.

And this is not even talking about how the 80s is a better decade for cinema, or how the 70s is the peak of the power of the author with far more experimental, artistic, and substantial productions.

Has quality declined? Yes. Massively. Humongously. Stupendously.
It gets more complicated :D

Quad-core 64-bit RISC-V SiFive U74 (RV64GC) processor @ up to 1.5 GHz with 32KB D-Cache, 32KB I-cache

Single-core 64-bit RISC-V SiFive S7 (RV64IMAC) monitor core with 16KB I-cache, 8KB DTIM

Single-core 32-bit RISC-V SiFive E24 (RV32IMFC) real-time control core with 16KB I-cache
FWIW, William Gibson is on Mastodon: https://mastodon.social/@GreatDismal
The explanatory power of dark matter is so weak though. With the right clumping of LCDM you could probably also explain various reports of poltergeists around the world.

Then you could claim that reports of poltergeists are evidence of LCDM over MOND because it's another phenomenon that MOND can't explain.
Okay can I ask a question that has been bothering me for a long time?

Why do seemingly all these text-to-speech programs attempt to produce spoken voice based solely on raw text? Why don't they consume a MIDI-like text-markup language where you can write phonetic pronunciations along with markup about the emotion, volume, speed, etc.? I feel like this is a huge unnecessary roadblock holding back this kind of technology. It'd be like if every music composition program rendered a wave file not by MIDI or VST, but by trying to visually read sheet music. I totally understand why TTS solutions that have to consume arbitrary content, like screen-readers, need to read purely raw text. But content creators don't need to be limited to raw text! Why is everyone doing it that way? Where is the TTS markup language for content creators?
Ruby is a powerful language and its frameworks try to magically solve a lot of boring problems for you. I see “fewer … inclined to contribute” and I think they did or could learn the language but aren’t eager to spend so much more time on handwritten grunt work. (At least that’s my own attitude.)
He suggests that Microsoft should buy all the startups it can get its hands on and then lock them away from Redmond...

> I already know what the reaction to this essay will be. Half the readers will say that Microsoft is still an enormously profitable company, and that I should be more careful about drawing conclusions based on what a few people think in our insular little "Web 2.0" bubble. The other half, the younger half, will complain that this is old news.
And I don't mind them as it is an officially blessed "we don't need you to work right now" period, giving me some time to work on personal projects while others drone on about nothing.

Which, indeed, is another reason why bosses love them. With less time working, more workers are needed to get an equivalent amount of work done, increasing the headcount under their watch. As a boss' worth is measured by how many people he leads, it is in his best interest to waste as much time as he can without losing his own job.
> No, Twitter isn't gonna "blow up" overnight. That's nonsense.

It's also not something any of the parent comments claimed.
Let's put it this way: I've read a whole lot of privacy policies over the last month and, except for one law firm, none of them even mention e-mail. If I was in the questionable business of suing people for this, I'd have a lot to do. E-mail can contain a whole lot of PII and almost nobody gives two flying MIME headers about safeguarding it.
I'm looking forward to trying it when more Testflight spots open up, it will be a day one purchase when released.
There is the esoteric "Cosmological Natural Selection" theory that predicts the discrepancies. This guy at https://theeggandtherock.substack.com/archive explains his version of this theory (albeit in an emotional way) that I find a pleasant read.
The rule of thumb I often hear and that makes sense to me is to learn or familiarize "one level lower" than what you currently know. For example, advanced C/C++ programmers would occasionally explain stuff based on assembly. At the "higher levels", instead of treating functions and libraries as black boxes, try understanding the algorithms behind them. Even just learning general computer architecture without diving into the lower level details can help in understanding code.
Ask HN: Book to get started in Type Theory?
I saw this post today: http://strictlypositive.org/diff.pdf
And I would like to understand it.
Where should I start?

Thanks!
GitHub Star History Yearly Pick 2022 – Data, Infra and DevTools
Would be interesting to inspect element and see if there are new radio options.
Yes, but I mean without an ugly hack that involves spawning a process every time you want to edit a browser text field.
Crypto.com to cut 20% jobs as industry rout deepens after FTX collapse
This is so cool. It reminds me of Markdown and Mermaid (https://github.com/mermaid-js/mermaid), which can do a similar thing within a plain text file. Keep it up; looking forward to trying it out.
Will keep in mind going forward. Thanks for the kind way you point out rules!
Corrupt software introduced by contractors took down FAA system, officials say
That's not exactly apples to apples, but you got me thinking about the leaders that cut school budgets and under-staff hospitals (while getting bonuses, no doubt). When it comes to ethics, it appears most organizations are bottom-heavy.

Isn't it weird how budget cuts and under-staffing[1] have nebulous attribution, or are seen as an unstoppable force of nature in whose face the embattled, heroic, under-resourced teachers and nurses must make their stand

1. Read 'profit-taking'
My philosophy has always been to study up on my next job while I am working my current job. Using that logic, if I were you I would be going full tilt studying some thing challenging and high paying so that I could level up for the next gig. This was extremely successful for me financially, but I will cheerfully admit I am much more paranoid than most people.
I think what gets lost in these doom and gloom predictions is that there is a large healthy portion of young adults that do not engage in internet forums or social media.

It is perfectly viable in the modern day, to work a job, have passionate hobbies, regularly meet for social events, volunteer, etc and spend minimal to zero time engaging on the internet, besides pragmatic things like map directions
That is a very sensible proactive move on the part of the team, they must have both been concerned about the future viability of third party twitter clients, and the potential of Mastodon as a new market. From what I've heard the Mastodon client they are building is very good, it's in closed beta right now.
Is this the same twitter who almost died trying to scale when they started? They have been in worse spots. They will be fine and much of the old guard still works there.
Great article.

The fact we can’t just make and throw up a bunch more pylons and cables alongside existing routes, for anything less than £££bn, is just depressing.
OpenSBI patches are already upstream, and u-boot being reviewed for merging.

It is not anywhere as bad as you're picturing it.
The most active investors at seed stage in Europe in 2022
Justin Roiland awaiting trial on domestic violence charges
What do you think 'No law was broken, you would say. Still. There should be consequences.' means?

What do you think 'In China, prosecutors would chalk it up to general charges of "corruption" or "public dishonesty" or whatever.' means?
This comment feels a bit out of place on a post about part of Twitter being down.
Sure. I should have said “claimed rationale”.
I know, but (like a lot of people) he didn't end up posting there after signing up. Although Mastodon ended up being "about as good" for me (who just reads it when e.g. waiting in a line or something) as Twitter, there are these few people like him who made my Twitter feed something special who aren't really active on Mastodon.

(BTW indie dev world, I've paid money for years for Twitterrific and would definitely pay money for a client that did a reasonable job of showing me people I follow on various social brainfart networks, all in one place).
Personally I moved over to Rust for as much as I can.

I still use TS on frontend (as frontend framework in rust are not quite there yet when compared to something like solid start - perseus is getting there though) but I definitely use any freely when I'm in a hurry.

That's exactly what I don't like about TS: it enables developer to bypass safety making the whole thing not very safe. You can't trust your dependencies as you normally do with Rust (unless your dependencies specifically opt out with unsafe - there is still deps vetting needed, but it really hasn't been a problem).

Is it worth it? Before swc I would say no, with swc (typescript compiler written in Rust) the perf hit and DX is not too bad and I'd say yes.
Why does any company nowadays start using Oracle?
> Is 16h of downtime acceptable for a $44b business?

After a 70% reduction in headcount, is a 16 hour downtime acceptable in a 5% market? I'm going with yes, executives from all major corporations are itching to press that button if only they could get away with it.

The problem with Twitter is not, was not, and will never be a technical one. It's a simple site with a simple tech stack, using standard technology to scale.

The problem with Twitter, and what Musk doesn't seem to understand, is a sociological and political one. Social networks are the crack cocaine of tabloid media, left to the whims of bad actors they can destroy democracies, incite lynchings, distribute hate and misinformation on scales without historical precedent. "Free speech" just doesn't cut it, social networks are publications not mediums, they chose what people get to see and react to, and the fact that the choice is made by an algorithm does not absolve them of responsibility for the consequences, especially if the algorithm is tuned for revenue maximization and easily gamed by bad actors to spread their content.

By firing the watchers, Musk is setting Twitter up as an menace to stable democracies around the world.
Whenever Apple upgrades it's privacy scheme it seems the government becomes quite concerned requesting backdoors and such. However we have had apps like Signal and WhatsApp and a plethora of others with e2e for years.

link on government requesting backdoor?