skysight-inc/HackerNews huggingface dataset:
First of all, as of January, Elixir has gotten its own type-system[0][1]. And, even before, one could annotate Erlang and Elixir with typespecs and then run a tool called dialyzer over the code for type-checking[2]. (And let's not forget that, even without using actual annotations, BEAM languages have pattern-matching, which can give you a kind-of poor-man's typing, if you will).

Second, the point of "let it crash" is not that you can then login to the running VM, but rather that your GenServers, etc. would be part of a "supervision tree", i.e. your processes would be monitored by a Supervisor which would have a "restart strategy" that you wrote to deal with crashed processes. So, you can write code using the "happy path" in cases where you expect things to usually work and, if there's an error, you can let the process crash because it'll get restarted, in a matter of microseconds, by its Supervisor.

It's almost a cliche to hear stories about people running Erlang or Elixir who didn't realize they had a bug in their system for months until they happened to look at the logs and see notifications of a supervised-process getting restarted often.

(And, btw, in cases where you might expect to have lots of potential errors, e.g. from getting data from an external API, you can use exception).

[0] https://elixirforum.com/t/jose-valim-elixir-is-officially-a-...

[1] https://www.irif.fr/_media/users/gduboc/elixir-types.pdf

[2] https://fly.io/phoenix-files/adding-dialyzer-without-the-pai...
There's a discrepancy that the top comments here say that "some people can produce a ton of value by not caring about code quality" and "I didn't care about code quality and got bit later on". And people discuss that incurring technical debt with bad code can sometimes be worth it and sometimes not be worth it.

The logical implication of technical debt having an interest rate (i.e. It costs more to fix something later than now) is that like money, features have time value. This is what makes it worth it to incur technical debt.

Thinking about the implied interest rate of technical debt makes it easier to rank what should be prioritized for a fix. High interest debt should be paid off first. But you might also focus on refactors that reduce the interest rate, such as by modularizing your code so it's easier to replace down the line.
We bought an ex-Army 4WD stripped down truck and refitted it with a 5 tonne capacity water tank and pumps for district fire fighting.

https://www.australianfrontlinemachinery.com.au/

https://www.abc.net.au/news/2024-03-04/second-wind-for-ex-de...

O'wise we don't much bother with US style "trucks" | oversized SUV's.
Problem: "Intelligence continues to point to most [fentanyl] being smuggled in at the ports of entry" ²

Solution: $170M contract using blimps to surveil everywhere else.

Good job Homeland Security. And a gold start for The Telegraph's excellent stenography.

² https://www.npr.org/2023/08/07/1192557904/part-1-investigati...
Every vector calculus instructor should teach their students the intuitive (by which I mean visual/physical) meaning of grad, div, and curl (and the intuition behind results like Stokes's and Gauss's theorems). Even engineering students uninterested in proofs should be able to grok the intuition.
Nope. There is no one that beats me at every metric I have. Does anyone know my family as well as I do? No. Does anyone know my staff as well as I do? No. Does anyone maintain my house as well as I do? No.
Exactly.

If this Frosty glass performs like regular frosted glass in the dark, that'll be amaze!
Parasocial has very specific meaning

https://en.wikipedia.org/wiki/Parasocial_interaction
I think the biggest reason is that trucks are less practical in Europe.

European streets are often narrower and parking spaces smaller. Many trucks that are popular in the US are so heavy that you may not be allowed to drive them with a standard license. You need a truck license, which may be valid only for a few years and have stricter standards. And due to the climate, you are more likely to have to protect the cargo from the elements, which shifts the balance towards vans. But vans are not very convenient in daily use.
You've enumerated all the problems, which are very real. I think it's productive to look at how things sometimes get done in spite of all that.

It's never been easy, but effective tactics never disappear entirely. If you view the situation as "no hope" then you'll never find them.
It seems like if this can be the next version of C++ that would be a good thing, but if it's just another C++ like language, such as Carbon (even with proposed benefits), aren't we just going in circles here?

Wouldn't a better approach be to instead focus on adding better C++ interop into Rust? Isn't that a more forward thinking approach?

On that line of thinking, what about Swift and its C++ interop? Or is Swift not ready for systems level programming?
Lots of 2-key keyboards exist, and are even for sale inexpensively. https://duckduckgo.com/?q=2+button+keyboard&t=ftsa&iar=image...

Not very convenient for having both buttons near your thumbs, though.

I've been trying out the related SwyftCard for Apple //e on the izapple2 emulator.

https://github.com/ivanizag/izapple2

./a2sdl -model swyft

It actually works really well; it uses the left and right alt keys as the open and solid Apple keys, which the SwyftCard uses as forward and backward leaping. It's quite easy and comfortable to use!
Classical Chinese (Ancient or Old Chinese – multiple terms are used), the language the quote was written in that predates Middle Chinese and, by extension all modern Chinese languages, had a very different grammar with many features of it having all but disappeared from all Chinese languages. Classical Chinese texts are incomprehensible to a modern Chinese person who has not invested sufficient amounts of time and effort into completing Classical Chinese studies first.

There is a book, «Classical Chinese for everyone: a guide for absolute beginners» by Bryan W. van Norden that is easy to read and gives a gentle introduction into Classical Chinese.

The old grammar and vocabulary coupled with the Chinese style of writing metaphorically with an abundant application of allusions and with the same Chinese characters having multiple unrelated meanings, makes Ancient Chinese texts very terse and notoriously difficult to understand even for the educated Chinese people.
> I would rather live in a world with a 10x Musk and no homeless people than a more equal world like the current one but with no billionaires.

It would be nice if those were the only two options.
To be fair, a Tacoma is the closest you can get to a Hilux in the US, which is a completely practical vehicle around the world. The OP seems to be going after the oversized full size pickups.
I've been struggling with this as well. I feel like my kids go into elementary school and spend ~7 hours (most of the day) not really learning anything. They come home and do "home work" only for myself and my spouse to teach them only for them to eat, sleep and do it again the next day.

I feel like it has eradicated much of the family time for bonding. The only reason we hesitate to take them out of school is the socialization aspect.
> focus needs to be on absolute living standards

Living standards of who, exactly?

Are you talking about aggregate GDP regardless of how it's distributed?

Is it okay if the top 5 deciles do better, while the bottom decile does worse?

> a 10x Musk and no homeless people

That doesn't seem to be how it works, as the population of unsheltered people appears to be positively correlated with the population of billionaires.
> I also personally don't want to live in a world where a significant portion of people don't know basic history

As quizzes on late night talk shows have shown for the past 20+ years, the current education system doesn't accomplish this. Additionally basic numeracy drops of _severely_ after leaving school, which means a majority of people aren't really absorbing anything beyond arithmetic on the math side.
Do you have other good resources for this? (I'm sure I understood this better back doing my degree but it was 40 years ago)
Imagine eating a burrito bite by bite as you're performing a pure computation in your head. This would be captured as `Burrito Result` monad, where `Result` is the value that you're computing, and `Burrito` is the partially consumed burrito at the end of the computation. By representing it as a monad, you can pass said partially consumed burrito to someone else for them to compute while continuing to eat it, or you can delegate your computation to other people, passing burrito from one to the other. ~

So, yes, I suppose.
I read arvix papers and all the other tabs I have open that I've been meaning to read). These days, that means I need to purchase WiFi unless I take time to specifically download PDFs. (Because <gesturing vaguely around at the complexity of our current web stack from top to bottom>.) But it's a kind of work+pleasure that is usually a little more flight-compatible for me than, say, writing code or in-depth text.

I'm on a flight right now. So I guess I also read HN on flights. :-)
>“Everybody who’s had a vaccine, or a pacemaker, or a needle go in their body, they’ve been tested for bacteria. And so we all kind of owe [horseshoe crabs] a thank you,”

That's not sufficient. I suggest stop vampirizing a threatened species just so big pharma profits can soar while enabling you to extend your lifespan by an extra 3 years.
> faking like I care about these people

Would it surprise you to learn that many authors actually adore their readers, and are grateful for every single one who cares enough to read and appreciate their work? I, personally, enjoy greeting strangers for hours on end, especially when we've a niche interest in common.

I don't think the author is "faking," only fatiguing.
The timing of the PS5 (pandemic release) and the near impossibility of getting your hands on one probably killed the hype cycle for many.
How many people do you personally know play way too much video games? And out of them, how many has made a successful living out of playing video games?
That is not comparable because the stuff written with GPT is known to have a far higher probability of being extra wordy with bullshit that wastes people’s time.

If a friend uses GPT to generate an initial draft and then edits it or at least checks it, it is not any different. But if they are using GPT to save themselves time at the expense of your time, then it is an issue.

I can even envision a future where you get paid by advertisers for inserting product placement into your chats with your friends, at which point I would call them “friends”, and not friends.
Here’s something new that isn’t mentioned and might be worth adding to the repo. (Edit I’m wrong, it is there, I just didn’t recognize it.) The magic number in the famous code snippet is not the optimal constant. You can do maybe 0.5% better relative error using a different constant. Maybe at the time it was infeasible to search for the absolutely optimal number, but now it’s relatively easy. I also went down this rabbit hole at some point, so I have a Jupyter notebook for finding the optimal magic number for this (1/x^2) and also for (1/x). Anyone wanna know what the optimal magic number is?
No more e-worms!
https://www.youtube.com/watch?v=Y5BZkaWZAAA

Hope you call it the Innernette :)
Seems like Rows.com is already in this space? or do I misunderstand?
use of limited resources, air pollution, noise, higher infrastructure cost, global warming, more kills in traffic
Thank you for speaking!
Wow, what a crazy fluke. Sounds really harrowing and scary. Thanks for your response.

In retrospect do you think there's anything you could have done to prevent it? Different eye protection, Different process, some sort of mental checklist? Do you still have the workshop and if so, have you changed your process in any way?

I'm really quite scared of table saws but they are obviously a very useful tool. I would like to get one eventually, but this is a vector of danger I would have never considered.
The film doesn't create extra transparency, just the opposite, it's a diffuser, it's translucent. It lets light through, but details aren't visible through it. The interesting parts are the radiant cooling and the self-cleaning. However, it's just a thin film, so it needs a substrate like glass to be practically useful.
I can't believe it's THE saurik I'm responding to! Thanks for all your work on iOS jailbreaking and Cydia (had a lot of memories with it).
I have a difficult time relaxing on flights, so it's hard for me to sleep. However, I just flew around the world and had a few flights that were over 8 hours. Watching movies and writing relaxes me, so I combined the two activities.

I watched some of my favorite movies and would pause the movie after a good scene and reflect on it. It was a fun journal activity. When I returned home, I published some of the journal entires as blog posts.
Because y'all don't mask any more and if all I can do is sit at home then why not be warm while at it? And be closer to family, too.

I can travel wearing the Halo to visit my brother's family (in the UK) and my parents (in Hungary) but that's all. Otherwise, by and large, I don't go anywhere any more. I can't. That's the new reality. I wear a positive air pressure respirator to risk such activities as boarding a bus. And while it's quiet it's not silent so cinema, theatre etc is totally out. You can't possibly imagine how lonely life became even for an introvent who has worked from home all his life. I didn't quite get suicidal over the 2022 holidays but let's just say I understood why suicide statistics climb up over the holidays and I decided this can not be borne any more and changed things so it's easier to visit what few family I have left. I have no other human contact than these visits every few months. Sometimes I don't leave my apartment for several days at all and if I do, it's mostly for lonely walks (very rarely the post office or the pharmacy). The few friends I had in Vancouver got lost during Covid -- and I know no one in Malta. (Perhaps this helps explaining some of my recent post history.)
Just search for videos, stuff like this:

https://www.youtube.com/watch?v=eEwZeY51mT0

You can make similar kinds of videos for all 3 of them. That video shows a divergence free field since number of particles aren't changing, I easily see that since I know the intuitive explanation for divergence, it is useful to have intuition for those things.

Gradient is just the equivalent of slope but for higher than 1 dimension.

Edit: Or no, that field has divergence, I'm dumb I didn't watch the start, many particles accumulate at a few points, that is due to divergence. Divergence is essentially areas that attracts or repels particles in that simulation.

Found the divergence video, in case it is hard to understand what I said above: https://www.youtube.com/watch?v=c0MR-vWiUPU
> Living standards of who, exactly?

Everyone. There isn't some group we should wish ill on in the abstract. The best way forward is one where everyone is better off. That is how the big leaps forward tend to work - the wealthy get insanely more wealthy, the middle gets more wealthy and the lower end of the wealth spectrum stays where it is but shrinks as a relative share of society [0]. I'd rather that than one of the big equalisation pushes like what we saw in Russia or China last century.

The problem with the excessive focus on inequality is it is an easy way to lead people away from approaches where everyone wins.

[0] Due to mental health and rare people with unusual personal preferences, the poorest person in society will always have basically nothing. I don't think that is theoretically possible to improve on. And the mechanical reason why I think "reducing inequality" is a really bad idea - the only reliable way to do that is drag people towards being impoverished.
Nearly 4 years into it's life cycle there are still only like a dozen PS5 exclusive games. Until recently there was very little reason to own one.

Scalpers and other COVID-related supply shortages handicapped an entire generation of video game consoles. Will be very interesting to see where things go from here. In general gaming feels very different now than it did a decade ago.

Especially with many in the new generation of gamers essentially spending all of their time in just one game (eg Roblox, Minecraft, Fortnight, etc) that is available cross-platform and cross-generation.

We've also reached a phase of huge diminishing returns on graphical improvements. AAA games take longer and more money than ever to make, but they don't look or perform much better than games a decade ago. And just pushing for more doesn't seem to be the answer...it's slowly killing video game studios.
> which means a majority of people aren't really absorbing anything beyond arithmetic on the math side.

which is probably happening in spite of school :)
"The initially proposed scanning of text messages ... is to be scrapped, as is the scanning of voice communication, which has never been done before."

If true, then it seems unnecessary to "leave the EU market" with respect to text messages and voice calls.
It isn’t very charitable if you to purposefully misread an obvious rhetorical device. It made perfect sense to me.

One POV is you’re proving the point: people feel much more strongly about exacting vengeance against antagonist celebrities than helping people generally. They’ll of course say the opposite in worthless Internet comments.
The problem here isn't checked exceptions as such, it's that they are not first-class, so you can't write generic code in terms like "I take F and throw all E that F throws plus X".

Back when Java was adding lambdas, one of the competing proposals actually tried to fill that gap by having generic exception specification parameters: https://tronicek.blogspot.com/2007/12/exceptions.html:

static <throws E> void performTwice({ => void throws E } block) throws E {
block.invoke();
block.invoke();
}

Alas, it was not to be.
There’s a link at the bottom to a paper exploring that question.
Seahenge: Ritual responses to climate change in Early Bronze Age Britain
I don't know if it's the case any more, but historically consoles themselves were often loss leaders for video game companies and they turned a profit on accessories and games.

If that's still the case, doesn't make sense for them to want to sell upgrades every year.
> Anyone wanna know what the optimal magic number is?

Sure.
Well-architected + well designed means you can go back later and fix the code if the project survives. I'm hitting this personally right now - the amount of code I can write is dwarfed by the amount of features needed to get something like a working demo out the door - I can spend time and make every thing perfect, or I can squint and imagine how I will implement fixes later and focus on making sure that I don't have to rearchitect.
> Now tell me how not doing anything to discourage people from blocking YouTube ads supports Google's long term interests

Google maintains a monopoly and their brand. Profits are entire the of percent lower by the few power users who use all blockers. Big-O profits remain similar.

That contrasts with real competition, brand loss, or monopoly loss. That can lead to astronomically lower profits.
> A hand written email [...]

I remember when a hand written letter literally meant a hand written letter. Preferably in tidy cursive. Some viewed it as more personal. Others viewed it as a reflection of thought and effort.

It is easy to say that AI is different. I don't even like it when my email client attempts to auto-complete the current word, never mind the next few words, because it wasn't my word. It makes me feel even worse if it was going to be my word. (If what I was going to say is that predictable, is it even worth saying?)

Yet that shift in values over handwritten letters leads me to think there will be a shift in values regarding AI written letters. It doesn't take much imagination to to realize that someone is going to tell an AI agent to write birthday greetings to each of their friends, then send it off on their birthday.
Let’s not pretend those interviews aren’t heavily edited to create an “look how dumb everyone is” narrative, if not outright fabricated.
Pogo Pin
Yep. I have relatives in Vernal Utah and grew up my self in SE Utah. This story is totally plausible.
I heartily prescribe the programmer's manifesto to the author:

http://programming-motherfucker.com/
You could make it optional to grow users and then require it later
Did this with my 7yo last year, as I’m always on the lookout for ways to get her interested in science and the environment. If a) your kid can (at least mostly) listen to and follow instructions, b) you are not going to let them just run amok, c) they can tolerate or even enjoy a long walk in the dark during which they will probably get wet, it’s a great time!
Is BART measurably worse than 10 or 20 years ago? I didn't see anything in the news.
It sounds like there is a misunderstanding here. Two kinds. You are taking too literally the “every category” part and your bar for “excelling” is higher than it is commonly used.

In your comment you talk about being the best of the best. “Excelling” doesn’t have this connotation. You could say that someone is “excelling” at business if they have a nice, well-run pizza shop. They don’t have to be the literal Steve Jobs. Excelling in classes would be someone who effortlesly gets good grades, not someone who has a Nobel prize. Much lower bar.

Also the “every category” is not the same as “literaly everything”. Just everything the commenter cared about at that point in their life. Probably popularity with others, popularity with girls, academics, sports, something creative like music, maybe dressing, humour, etc.

I would not, unless otherwise qualified, would assume that the person was literally excelling at neurosurgery, and astrodynamics, and crystalography, and parliamentary rules and customs. But since those topics don’t just naturally come up in real life the commenter had no way of knowing that.