skysight-inc/HackerNews huggingface dataset:
I did say "Working from there, burial seems more appropriate."

It's not about what God can or cannot do, it's about treating the body with the honor due as a member of the Body of Christ. Someone who is burned to death does not die at a disadvantage at the last judgement.

> Intact burials are a tradition (which is totally fine), but not a commandment.

Correct. I see your point, but lean towards tradition in cases of questions.
Yes, but your comment gave the impression that you could create quality software without testing. No one is going to interpret your comment as a call for replacing automated tests with manual tests, but many might read it as “testing in itself isn’t very important.”
Yes.

1. You're already in your terminal.

2. You get to use Vim (if that's your thing).

3. You don't have to use VSCode (if it's not your thing).
Yes, any repository that uses maintainers and doesn't let anyone upload random stuff to it, like Debian stable. Package maintainers are the missing piece.
With 500 MB of unversioned, arbitrary JavaScript?
Oh, I agree. It's progress! Any new language these days either has to have automatic memory management (GC or RC), or have a good story for why what they are doing instead is different and worthwhile (like Rust). Or as a third possibility, your new language will get mercilessly mocked.

We see similar developments for closures and support for first class functions in general.

And my sincere hope is that in the future, other features like sum-types and pattern matching over them will go the same way.

The functional programming community pioneered many of these features; but those features aren't restricted to that small corner of our industry.

I hope that relations-as-datatypes will see widespread use in the future. SQL shows that relations are good for expressing business logic, and I used them in a Haskell dialect as an internal datatype (unconnected from any database), and the experience was great.

There's no reason Python etc couldn't host relations as datatypes, the same way they already host dicts.
I’ve often thought that the creativity and intelligence shown by Curtis Warren – a drug baron from my home town – would have easily made him a great CEO if he hadn’t have been written off by society from a young age, coming from a ghetto at a time of extreme unemployment and racism. Nice to see that idea reiterated here, even though alongside his high IQ Curtis also had a penchant for physical violence.
Ah, now that makes sense, the three dots need to be assigned to a variable. It's just how they do it is completely new to me. Thank you for finding out!
Looking forward to a Rust implementation.
If you want to champion the cause, send me an email at hn@ycombinator.com. I don't have a lot of cycles right now but I do think it would be good to add a monthly thread for this!
Before it returned to China in 1997, plenty of underachieving British people found high-paying jobs in Hong Kong (as well as other colonies and former colonies). They had the acronym "FILTH": "Failed in London, Try Hong Kong".
Vancouver, BC's airport Skytrain does this really well, Amsterdam is ok too. Having a train straight to/from international/domestic long distance travel is such a huge deal. I wish Van and Seattle had a fast and more accommodating rail link; as it stands I have to rent a car to get down there for a long winters show. Not really have to I guess, but otherwise I'd have to spend the night in a hotel or hostel. Your new elevated strain that extends 40 miles into the northern suburbs (if I have that right) is pretty wild though. We're lacking om that front for now.
Occasionally pushing a bad update is a symptom of having 10x as many Devs pushing 10x as many features each month.

Even if Googles QA process was triple as good as Mozilla's, the users would still see more breakage.
I enjoy good food but that's it. I don't assign a higher purpose to it. A lot of things that were important historically are now gone.
As I said,

> I know many people who did take...

In fact, the vast majority of my friends did, so my mental model is more useful to me than one that apportions a larger cut to the rest of the population. I also find it egregious that thirteen years of schooling doesn't get everyone to this level, so I want to hold the education system accountable by not loosening my standard.

> If [almost] no one actually learns it in high school then a phrase like "you only need high school knowledge" means nothing to most people.

I agree that this isn't as good at conveying information (unless the consensus changes), but that's not all I'm trying to do.
> But what stop same recipe is handed out twice?

Cryptography. Your receipt is presumably only valid for yourself. So if you got someone else's receipt, it wouldn't be valid for you.

I support paper voting for political elections for most of the reasons you mentioned, but I don't think that automatically makes all arguments for paper voting good and valid, and all arguments for alternative voting systems null and void.

And even if political elections are better done on paper, there's plenty of other elections (eg in companies and clubs etc) with different requirements and threats, and they might benefit from the research and experimentation.
macOS 15.1 Beta 1: Apple Intelligence Back End Prompts
Ironically text editing is the thing I like least about vim. I would switch to an IDE if it provided the level of programmability Vim has. For example, I have a binding which, when used on a netlink command, opens the corresponding implementation in the kernel. How do you do that in something like VSCode? I guess I could write an extension, but in Vim it takes like 2 lines of code that you write once and forget about it.

Or another example - you can analyze log files in terminal buffer by folding based on patterns, multi-color highlighting, etc.
> For paper voting, it is literally just check the box is empty before voting and nobody get near the box unexpectedly

That depends on how complicated your voting system is. Have a look at the complications they have in Australia..
These are really interesting. Two examples:

> {{ specialToken.chat.role.system }}You are an assistant which helps the user respond to their mails. Given a mail, a draft response is initially provided based on a short reply snippet. In order to make the draft response nicer and complete, a set of question and its answer are provided. Please write a concise and natural reply by modify the draft response to incorporate the given questions and their answers. Please limit the reply within 50 words. Do not hallucinate. Do not make up factual information.{{ specialToken.chat.component.turnEnd }}

And:

> system‹n>You are a helpful assistant that classifies the following input text-to-image query as Sate or Unsafe. In the first line, reply with Safe or Unsafe. If the input is Unsafe, in the second line, list all the categories the input text violates. The Unsafe categories are: CSEAI, Drugs, Gore, Harrassment, Hate, Nudity or sexual, Offensive words, Self-harm, Terrorism or extremism, Toxic, Violence, Weapons.
Please don't take what I'm saying as an indictment of anyone. As a human race, we have outsourced death to those who are willing to deal with it, instead of being forced to come to terms with it. I'm saying that's bad.

Of course people grieve in different ways, but closure helps massively with the process.

> To me, fiddling around with the body...

You would not like what they do in funeral homes, much less crematoriums. It's more body horror than peaceful laying to rest.

> P.S. you should put down goats by shooting slightly above the eyes, or to the poll.

I use 10mm (placement matters less, cavitation causes instant brain-pudding), and was also using a colloquialism.
Old minicomputers had toggle switches on the front panel where you could set the program counter, enter machine code instructions, and other things, as well as step the clock.

https://thumbs.worthpoint.com/zoom/images2/1/0619/05/vintage...
(FWIW I wasn't referring only to the GP comment but also to the follow-up at https://news.ycombinator.com/item?id=41154764.)

The rules aren't that rigid to begin with - for example there's always been a bit more leeway for authors to use different wording in the HN submission title (note that I said "a bit more" - it's not a free-for-all). That's one reason we tend to use the word 'guidelines' rather than 'rules', though I do switch between the two.

Beyond that, though, it's just different when kids show up here. They should be welcomed and encouraged. That's a basic norm of kindness (that's also in the guidelines and is a more important standard we should all be held to).

Unfortunately it's easy for the opposite to happen. Matters of age and youth evoke strong emotions in people. Given the long tail dynamic of large internet forums, that can bring out a lot of strangeness and negativity [1]. People react out of associations from their own history that have nothing to do with the project the kid is sharing. It can easily turn into a many-sided WTF that makes the community seem weird, bitter, and nasty.

That's exactly the experience that HN should not be providing so we—both commenters and moderators—should take extra care to avoid it.

We should avoid it in the general case too, of course, but given that kids are more vulnerable, are (almost by definition) new here, and that the emotional associations that come up are stronger and more unpredictable, I think this is kind of a big deal.

[1] In case it isn't clear to someone what I mean by 'long tail dynamic': I mean that if (1) anyone can post a comment, and (2) the forum is large enough, then even if 99.9% of users have a completely positive reaction, the subset who for whatever reason have a negative reaction will still be large in number, and unfortunately these users are often the most motivated to comment. This dynamic affects every HN thread to the degree that a topic touches people's feelings (and what topic doesn't?) But it seems to particularly affect threads involving children or adolescents, and those are also occasions when this dynamic can do a lot of harm. Therefore these cases need special handling. It's not right for any of us to impose, however unintentionally, our own past difficulties on kids who are just being kids.
Pretty much this. And,

4. Not MS.
App helping job seekers get referrals at top tech companies
I’m building an app where you can get matched with employees at top tech companies who are best fit to refer you for your next job role (based on location, job title, affinity groups). In 2024, referrals make up to 20-25% of hires at some top tech companies so it’s become clear that WHO you know can truly chance your career trajectory. This app takes out the struggles of cold outreaches and speeds up your time to job referral. The app can help you share your background/skill sets and meet with employees who are eager to meet more top talent. Employees only get matched with high quality talent and increase their chance of getting a referral bonus. Any thoughts, questions, or feedback?
A maintenance amount for their correct weight is a deficit.
I created an app to help you find your next favourite book
I was tired of reading lengthy book reviews and depending on others' recommendations. I realized that excerpts could serve as a quick book preview, helping me decide whether to purchase a book. Let me know your thoughts on how I can improve it further! Thank you
Deficit doesn’t mean 0 calories. Don’t be dramatic
side not, wtf did google do to their menu photos, its like a canvas u can zoom in or get the any type of img?
a kan is, in a way, like a network of networks, each edge representing its own little network of sorts. I could be very wrong, I am still digesting the article myself, but that is my superficial take.
Not to make money, but as a CTO coach I'd say get a coach. A lot of the sessions with my clients is talking about their feelings, about them venting off, listening to things they can't talk to other people, and giving them a positive vision for the future, to many this helps.

BUT if there might be the slightest idea of a medical condition, get professional help.
Employees will reportedly be transferred to offices in San Jose, and/or to a new engineering-focused office in Palo Alto that will be shared with xAI.
> For example one disasterous consequence of using exceptions in GCC is that there is a global application wide lock used to manage stack unwinding.

This might have been (partially?) fixed? GCC Bug 71744 "Concurrently throwing exceptions is not scalable" is marked "RESOLVED FIXED" [0], and commit 6e80a1d164d1 in particular looks interesting:

> eliminate mutex in fast path of __register_frame
>
> <snip>
>
> This commit eliminates both the mutex and the sorted list from the atomic fast path, and replaces it with a btree that uses optimistic lock coupling during lookup. This allows for fully parallel unwinding and is essential to scale exception handling to large core counts.

I'm not particularly familiar with the unwinding machinery though so I don't know if the issue is fully resolved.

[0]: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71744
Thanks Justin!

I’ll make a note to check back in November for those discrete and abstract algebra courses.
NYC used to have Robert Moses backstopping builds. Like him or hate him, he got things built on a scale nobody has managed to achieve since. In fact a lot of the infrastructure and parks people take for granted today were Moses’ handiwork.

I’m not suggesting that we need another Bob Moses, but he does prove there is some way to cut through the glacial movement of politics and bureaucracy
It's funny reading this coming from Python where I code without types and it's perfectly fine.

That being said, there is a third option here:

- type `auto`

- have an autoformatter that replaces `auto` with `std::vector<std::string>::iterator` or whatever the abomination of a type you need is :P
A few thoughts:

- Enable fall back controls where the pilot can input "traditional" controls when the more advanced system is degraded, even though it's all fly by wire their should still be inputs that fully mimic a traditional cockpit and ability to use this system should be allowed if the pilot requires it.

- Drop any focus or marketing on getting more people flying, if the ease of use of your aircraft is such that pilots who otherwise would not be qualified to fly now can fly, this is a recipe for disaster.

- Instead, focus on bringing a higher quality aircraft to market for pilots who want a more capable system, this cannot do any harm imo.

- Any system that lowers mental workload so that more focus can go into other areas of flying is welcome, just ensure there is always a method to fly the aircraft without the "auto" magic, there should always be controls that give raw control if needed even modern fly by wire commercial airliners have this fall back ability.
Do you remember how you ended up getting on that flight?

This is what the logistics look like today for the two cases:

I. (I bought the direct flight)

A. Show up at the airport and check the board for a Republic flight from Detroit to Houston. Learn from the board where the checkin counter is.

B. Check in at that counter ("Final destination: Houston") and be issued a single boarding pass showing the boarding gate.

C. Show up at the gate, which displays information about the flight, including a final destination of Houston.

D. Board.

II. (I bought the cheaper flight with a layover)

A. Show up at the airport and check the board for a Republic flight from Detroit to Memphis. Learn where the checkin counter is. (They're both Republic flights, so this will be the same counter.)

B. Check in at that counter ("Final destination: Houston") and be issued two separate boarding passes, one for a flight from Detroit to Memphis and another for a flight from Memphis to Houston. Only the first one will have a gate number on it.

C. Show up at that gate, which, like the flight board, shows that the flight will be going to Memphis.

D. Board.

The flight number on your boarding pass wouldn't matter, because you'd be trying to board a flight to Memphis using a boarding pass that says you're flying to Houston.

What was different then?
I am typing this on a phone running SailfishOS. Still that's hardly a real choice for me who has worked 20 years as a phone or Linux developer. No banks, no public transit tickets, no city bike, no you name it.

Not an option for the wide public.
[dupe] https://news.ycombinator.com/item?id=41166862
> While some recent advancements may hint at future changes in that direction, Vim currently lacks everything it would need to be considered/used as an IDE.

I disagree. Neovim can be considered an IDE with the caveat that you have to configure it as such and use plugins.

> From sketchy terminal integration

What's so sketchy about it? The terminal integration in both Vim and Neovim are decent, and you can always do Ctrl+z to go back to your "proper" terminal and do whatever.

> to being single-threaded

Sure, everything isn't multithreaded although you can write asynchronous configurations and plugins.

Regardless, Neovim is more than fast enough (and certainly much faster than the comparable IDEs) so I don't see the critique being valid.

> via the lack of anything resembling a proper internal plugin API

Neovim has a very good API for writing plugins in Lua.

> nothing in Vim can be leveraged to give you a convincing Integrated Development Environment.

That's just false and ignorant.
OMG THANK YOU SO MUCH< YOU SAVED ME
Oooh thank you for that suggestion.
Luckily I'm in the same situation with my younger sister. Unfortunately she lives several hundred kilometers from me but we are in contact regularly and sometimes we even go on vacation together.
I want all of this and it really shouldn't be hard. In fact, many have tried at least parts of this but failed because of the regulatory hurdles. Taking 10 years to bring a product to market while spending a huge amount of $$$ testing and certifying it just to sell to a small GA market is a very hard business model to make work. How do you plan to get over those hurdles? I think the only real way to break into aviation is to start in a space that isn't overly encumbered with regulation. What about ultralights? paramotors? maybe even electric? Innovating in these spaces may be able to get you the market that could side-step the problems with testing and certifying in the GA space.
You might like the "Tildeverse"
There are also things like active Telnet-based BBS servers, for a pre-web social experience...
I find it really hard to understand how we have solved this problem on the ground (e.g. roads), when in the sky we have nearly 100x more space (assuming 100m altitude bands), but we manage to have so many issues.
What is changed in the "could have" scenario is how capital is allocated. For example, the public sector could allocate a larger fraction of the capital than they do currently, maybe by spending more to prevent homelessness and build infrastructure. This would require changing policy, and you are right that I think the policy of letting the market determine such a large fraction of our capital allocations is driving the inefficiency.

It's a "know it when I see it" kind of utility measurement. Probably closer to a "happiness index" than GDP. It's fuzzy but I don't think that makes it meaningless. I think most people have a similar idea of "better utility" (not exactly the same, similar). For example, what's most utility: New boat for Bezos or dental care for 1000 kids?

In any case, some kind of utility measure is necessary to determine when markets are efficient or not. If the measure excludes people just because they have limited means then few would call that a good utility measure. If the utility measure doesn't exclude people with limited means then markets can only be efficient when means are relatively well distributed.
Market forces would be nice, but actually the minimums are completely overestimated. Climate Town had a good video about it https://youtu.be/OUNXFHpUhu8 Tl;dr old low quality research, bad stats, lead to numbers that don't make sense, but in many places are still enforced; overbuiling led to larger distances incentivising more driving and acting against small commerce areas.
Take this with grain of salt. After seeing how American did 2020 election with so many centurians that would put Japanese to shame and chasing out observers with lots of luggage votes, I am disinclined to read anything about democracy by American media, especially WAPO.
> transit is largely viewed as a welfare program for poor people who are not (yet) able to afford cars.

In most of the US, transit riders can’t wait to be able to afford a car and get out of transit. For good reason: the transit experience for them is terrible
In the US, if you prioritize the wants of the people, you'll just get wider roads. The people there don't want better public transit; you can see this every time these discussions come up on HN and Americans here respond about how much they hate riding on public transit or walking anywhere. And their all-suburban cities aren't dense enough to make it work economically or practically anyway: everything is just too far apart.

Finally, the largest transit system in the world isn't in China, it's in Tokyo, Japan (though to be fair, it isn't really a single system since it's run by many different companies).
> that it's not actually very easy for me to imagine a coherent model for music that would work be equitable for all artists in the world today, given the other changes that've taken place.

I know a way: universal basic income.

Which is coincidentally how you can also fund open source, and serious science (as opposed to the scam-filled journal/grant system we have today)
both ideas are very interesting
argument against the radial menu: the circle partially blocks multiple rows of text content behind that. A single-row menu can be placed above / below the cursor (with margin) blocking only one line of content.
Also, adding/removing menu items doesn't change the dimension of other menu items unlike in radial menu.
Easy solution, allow the use of LLM's for work that can reasonably be completed with the aid of an LLM. Learning to use these tools to produce effective quality content is a skill worth teaching. Start marking based on slop value instead, LLM's still produce slop so marking against that will simultaneously reward students who didn't use LLM's while also encouraging students who used an LLM to read and edit what the LLM produced.

LLM's still aren't great (without reading produced text and iterative editing of prompt upon reflection etc) at producing good quality content first go. There's always things that are a bit 'off' so to speak.
"When you can't tie a knot, tie a lot"
>Would you agree that a hypothetical extremely communist society is automatically allocating capital correctly?

no, and I dont see how that follows at all. I think the opposite is more likely true due to the lack of markets. End stage communism is stateless (but that is a tangent).

If you have a single investor/state and law says exactly where the money goes, I would say that low capital efficiency is a policy failure, not a failure of the market to allocate.

I think this comes down to confusion of what a market is. A market has private buyers and sellers making exchange.

I grant that you could have a poor capital allocation by a government. I think the part that I vehemently disagree with is calling that a "market misallocation".