skysight-inc/HackerNews huggingface dataset:
(My apologies for any america-specific advice here)

1. If your company has a 401(k) retirement account match it's worth using the program, match = free money. They often have target-date retirement funds, just do 100% to those. Otherwise an S&P500 index fund. This isn't likely for part-time work but worth remembering for the future. Also probably not called a 401(k) outside of the US, but if you ask the HR person at your job they'll likely know what I'm talking about.

2. Save up six months of expenses in a savings account. Check around for the highest interest rate you can find. When you've done that, calculate what local market rent is, pretend you had to pay that, and save six months of expenses with that amount.

3. Open up an account at a low-fee brokerage. Ally, TD Ameritrade, etrade...it doesn't really matter just check out their websites and pick the one which you like the best.

4. With any extra money, dollar cost average into a broad market index fund (SPY, VEU, VTI are all popular choices). People will probably weigh in on which one is best, honestly the broad market funds are all correlated >0.95, just pick the one with the lowest fees.
DCA: https://www.investopedia.com/terms/d/dollarcostaveraging.asp. It's best if you can set this up automatically somehow.

5. Generally speaking, any money you put into the stock market you should avoid touching for at least 5 years. Which is why I harped on the 6-months savings above. Also the people that do best in the stock market are often people that check their accounts the least often. Buy-and-hold ftw. Which is why I mentioned making the DCA plan automatic.

6. If you feel like taking some risk (individual stocks, options, crypto), it's best to have a separate account for that stuff and it shouldn't be more than 10% of your main account.
This whole stick shift thing is funny, whole generations learned driving stick in Europe from day 1. Up to the point where using an automatic feels strange for the first couple of kilometers.
Then they learned a valuable lesson?

I mean, this seems like a low stakes operation. Nobody on their deathbed is like, "If only that Taylor Swift ticket had cost $10 less."
It mentions the flavor is produced by “one synthetic compound”, and then links to articles on 2,4-dithiapentane which is generally derived from petroleum, though it can be derived from other compounds.
There’s some merit to “replacing battle tested code with new code”, but (1) a straight port can significantly mitigate these risks and (2) the parent explicitly compared “poorly-written Rust” with “expertly-written C”, so I think your steelman is far too charitable (I’m all for charitable interpretation but the charitable interpretation must bear some semblance to the original).
Tiddlywiki: A Database for Your Notes
Most people wanting genuine truffle oil aren't likely to be price sensitive, however, you make a valid point. Unfortunately this time of year, before Christmas, search results are flooded with Christmas offers.

You are likely to get much better deals if you can buy locally in a truffle growing region.
Sorry, you were imagining the use of a TXT record (I assume) and that would work better than an A record inquiry that I was considering.

It still wouldn’t find http filtering, but it would work better than I initially gave it credit. (I still doubt it would give a contextually correct answer for an airplane wifi connection [where DNS May very well work but few other services do if not paid].)
Gear stick, I'm in control of changing. I've driven both but in UK you're pretty much taught how to drive with what I'd call a proper vehicle interface. You can get automatic only tests but you're not allowed to drive any non-automatic car.
Sorry wouldn't a single guy in his early 30s have the relationship with a romantic partner be on top of social hierarchy?

I am in the same place, I while I logically understand that it's probably easier to find a girl friend if I had a friend or two first, I still have a much stronger desire to have a romantic partner that just a friend.
> I can sit down and prove something using a tool like Isabelle, and I will be as sure of its "truth" as I can possibly be, and it really doesn't matter what other people, mathematicians or not, think about it. That's the beauty of it.

But I guess the point is that almost no-one does this. I would guess that if someone tried to formally verify every published paper out there (or even every textbook), they would uncover a large number of gaps. Very few of those gaps would be unfixable, and very few results would turn out to be incorrect, but the possibility exists.
doing a PhD was one of the worst experiences of my life.

friendships in a college-like environment durring the PhD was a bright point for me and many others and one of the best experiences of my life.
I have been using Kagi for 6 months now, and really enjoy its clean interface and relevant results. Being able to boost the ranking of relevant domains and downgrade the low-quality ones is a game-changer!

To remove pinterest and slackoverflow mirrors from all search engines, I use https://letsblock.it/filters/search-results
You can choose whatever you want, and mathematicians do sometimes choose different axioms. The question is whether the consequences of some axioms are up for social negotiation.
Here’s what confuses me about this. The entire SV culture is have an idea, build a prototype, demo it (whether it works or is just a UI doesn’t not matter because you want to validate the product). Then get capital and go all in on making it work. Now this being a medtech product with heavy research, I am not surprised many things were not working and more engineering/scientist hours were needed. I don’t think she was intentionally trying to defraud anyone, I do believe she ran out of runway before her breakthrough and because no more VC capital was available there was not a clear path forward and people lost faith in her. I mean what was the endgame? So be in research mode forever?

Obviously I don’t condone her unhinged behavior of stalking and threatening whistleblowers, but that should not all amount to 11 years. It will absolutely make any similar startup too risky and they will not find any capital.
Like, google glasses but for ICU workers?
A simple theory of urbanism and British economic growth
I do not want my home computer to be exposed to the Internet. I do not want your fancy new Internet apps, the existing ones with explicit user-initiated connectivity are more than enough for 99% of people.

And even if you somehow have a non-NAT, non-CGNAT, no-ISP-filtering home connection, do you have full Internet access if the server behind NowhereNews.com refuses all your connections because you’re in Europe?
It's not. It's a fact derived a priori from the definition of addition and the axioms of the field of real numbers.
There's nothing special about the claim that 1 + 1 = 2. You can also define addition such that 1 + 1 = 0 or anything else.
Crameri Scientific Colour Maps
I've never understood the popularity of truffle. If I had to rank mushrooms in preference of flavor, truffle isn't even top 10.
You mean like when Apple introduced (and standardized) HLS, so everyone else immediately jumped to create DASH - a literal hell of an over-engineered kitchen sink of NIH? Or when they created/contributed to CUPS, mDNS, Webkit? Or as they continue committing to Lightning 10 years in, while the rest of the world kept flailing between USB micro, USB mini, USB-C, and random proprietary cruft of the month?

I don't disagree that Apple is often the worst offender, but let's not pretend like the rest of the industry isn't pulling all sorts of user- or developer-hostile crap all the time.
I believe that in France the common complaint is that cheap truffles are actually a different species from Yunnan, China.
Pushing for innovation is one thing. Messing erratically with people's minds careers at a large scale is another one. The former does not excuse or justify the latter. Firing people can be necessary but what he did this week was just crazy in a bad way.
Yeah, right.

The Redmond you’re thinking of is in Washington, BTW.
I really fail to see the logic here, if Donald trump remained a Democrat in 2016 he would 100% not get nominated. Just look at what happened with Bloomberg.

Show some examples of this, AFAIK if you go against the voters you're out.
Have not yet played with Win11, I must try that that one day and find out…
That doesn't answer my question. What I mean is that "a day" is not a fixed length, but depends on the existence of leap seconds. Most days have 246060 seconds, but not all.

Say I have a timestamp in the future, and I want to add a day to this. Then the first approximation would be to add 246060 seconds. However if there occurs a leap second in that day, the correct thing is to add one more second. But I do not necessarily know today, if there will be a leap second. So I cannot compute the correct timestamp.
> I guess you have to ask the man in the street.

How about checking with a GPS?

A social construct has nothing to do with simple facts about the universe. And whether the Eiffel tower exists as an object at a particular spot as indicated on maps is such a fact. And if there were maps that would place it elsewhere, those maps would be a lie. Even if the every single map ever made and every other person would deny that there is such a tower at that position one could still go there and check for oneself.

Maybe you are talking about the name? The fact that we call it the Eiffel tower? Well, that tower has a history and again one could lie about the history, who built it, how it was historically called as a matter of fact etc. But an observer would have seen who actually built this tower. It's a fact.
The Magic Disk and Game On title songs from Thomas Detert and/or Markus Schneider are rather good IMHO

A small issue I have:
The player doesn't seem to work on Chrome under Linnux though. Getting "Uncaught TypeError: Cannot read properties of undefined (reading 'playSong') at HTMLTableRowElement.<anonymous> ((index):665:22)" when clicking a song

Works fine on FireFox though
looks like music (.wav) files...?

from the github:

> Extract game music from the gog game files:
bchunk -w “game.gog file location” “game.cue file location” track

(Music tracks will extract in to current working directory (track02 -track11.wav).)
{{tree}
{li
{details open
{summary Giant planets}
{ul
{li
{details close
{summary Gas giants}
{ul {li Jupiter}
{li Saturn}
}}}
{li
{details close
{summary Ice giants}
{ul {li Uranus}
{li Neptune}
}}}
}}}}
Not yet tested. Will inform if there is time to test.
> Take the proof that the square root of 2 is irrational. The proof relies on a contradiction that arises if one assumes the root is rational, but one can imagine a logic system where such a contradiction does not imply that the original assumption is false. How possible, you say? It's all math, where one is allowed any starting assumptions, and works out the implications of those.

The truth or falsity of that statement in a model is independent of who observes that model.

The only “social construct” you’ve described is which model to use by default — literally, a notation convention, nothing semantic.

> But, there is something deeply satisfying about thinking that contradictions are (or should be) impossible in our universe, and so this "proof" seems solid.

Our universe either does or doesn’t, depending on which model best represents it — we’re only debating what assumption to make about an unknown.
I like stop and go with manual, any time it's not a strong uphill. Somehow I find it easier to go in and out of neutral, as well as going directly to second, with the stick. I guess it technically should be possible with an automatic too, though.
They'll be raised by a wealthy family with every material advantage in life. Some estimates have it that around 1 in 8 children in America go hungry at some point in their childhoods. So even if these kids are just fed regularly, that puts them ahead of millions of children.
I love these kind of stories! Any more HN’ers have these?
Can you see that there is effort which must be paid for it to be both?
First gear and reverse are occasionally unsynchronized on old cars. And should you ever get into a Trabant: in 4th gear you get no engine brake, it's freewheeling!
I went a bit higher because there is some debate that the low strike price of one of the offshore wind farms was artificially low due to being able to use existing infrastructure from an earlier project.

Anywhere in that ballpark though and I think we can talk.
It's also an aromatic component in cheese and in real truffles. This is a misrepresentation of the facts on the same level as "dihydrogen monoxide makes up the majority of urine, industrial detergent, antifreeze, human sweat, and pus."
It is a poorly organized rant that should have been about 1000 words shorter, but the point is one worth making. Truffle oil and most truffle-flavored foods have no truffles in them. They have an artificial truffle flavor called 2,4-dithiapentane, which is extracted from petroleum oil. If they do have truffle in them, it's cheap tasteless varieties and the flavor comes from the artificial truffle flavor. Most of the truffle-based food you buy in stores and restaurants is not really truffles.
There exists a method called "Magnitude Estimation". https://groups.inf.ed.ac.uk/webexp/release/demos/magnitude-e... describes it as follows:

"Magnitude estimation a technique standardly applied in psychophysics to measure judgments of sensory stimuli (Stevens 1975). The magnitude estimation procedure requires subjects to estimate the magnitude of physical stimuli by assigning numerical values proportional to the stimulus magnitude they perceive. Highly reliable judgments can be achieved for a whole range of sensory modalities, such as brightness, loudness, or tactile stimulation."
I originally said modern manual car but that felt like an oxymoron.
Nothing to do with crypto and more with the fact FTX corporate struture is such a mess, and account owbership close to impossible to identify. Based on that, authorities on the Bahamas, which hold jusrisdiction over at least part of FTX, did their thing by getting a person, that might or might not have been in a position of authority, to comply with a legal court order.
Ba

All in all, nothing to see here. And in case the confiscated assets cannot be confiscated by the Bahamas a court will ultimately return them.
Of course they have the right. It's called 'fractional reserve banking' and it's the foundation of our financial system.
A: It calls home
Thanks so much for explaining! I was wondering what kind of bug could possibly cause this… in any case, it’s nice to know it’s not Typst’s fault. Pity I can’t edit my post any more.
Google. I haven't spent much time with the others.

I use "reddit" a lot. I wish there was an option to only get results from private individuals on any site.

There's a big problem with sites that scrape content from other sites. They're named fiiwebbcjiriebdbjfjeb and the like, and aggregate crap. If you click them the actual page has nothing to do with the preview and is some kind of scam.

Sometimes they seem to have exactly what I was looking for but I can't find where it came from, and the site is just a preview plus a scam. I wonder if some are using GPT3 rather than scraping.

There's also a problem with less dishonest scraping sites that ate just annoying. Like those sites that make a summary landing page from a github repo and don't actually add much value. They just clog up results.

And of course, pintrest, which only has the thing you clicked on about half the time and yet seems very popular.
Software center to easily install and manage Nix packages
Two functioning adults
If you are reading comments first, the video is a wast of time. Doesn't explain what is going on, just a bunch of barely coherent words.

I don't understand how this was upvoted by hn community
> The issue is to demonstrate that a given function, say f, for given real-valued inputs, say x, has an output y which is not real-valued and goes to infinity.

Why would the output need to be not real? There's no difficulty with saying a real-valued function has a singularity.

The issue is to demonstrate that this function has a singularity at some point, yes. Simulation is a bad way to do that, though conceivably you could get lucky.

> A computer cannot demonstrate such a thing, because real-valued functions aren't computable.

Obviously false; computers are fully capable of providing proofs that some function has an infinite limit somewhere.

> The idea that a finite number of bits in a particular state "must just be infinity!!!! because the IEEE ref docs say so" is strange to say the least.

That is the only way anything is ever infinity - by designation. As I pointed out elsewhere, IEEE infinity has all the correct mathematical properties of positive infinity in the extended reals, so it's difficult to see what you think you're saying.

> I'm not sure where your misunderstanding comes from, but at least, you might consider you're disagreeing with an article on quanta magazine which writes up a project by experts in their field.

Writing about an expert doesn't make you any smarter. The reason proffered by Quanta is nonsense. They are correct that the experiment they describe cannot achieve the goal sought; they are quite obviously wrong about why.

> infinity isn't a bit pattern; and isn't here in any relevant sense even a number; the IEEE standard may as well have said "Overflow"

That's what infinity is. In every sense. Overflowing is defined by exceeding a boundary; infinity is defined by exceeding all boundaries.

I'm morbidly intrigued by your fetish for the idea of "bit patterns". Infinity is also not an image on paper. How do you expect a correct mathematical proof to represent infinity?
Why Do Lobsters Turn Red When They're Cooked? (2019)
On things like facebook usually our “guard” is down. We just assume at some point that if someone feeds it to us, it’s vetted already.

Usually a lot of context is missing with for instance a scary headline. In that sense context tools could also be great to have. Something that exposes connections between information.

I don’t believe no one cares tbh, but there are those who are resistant to change in bias.
He hasn't had time to know them. He doesn't even know who does what and who's already been fired. It's only been a few weeks. He's only now wanting to "understand the tech stack"!

He might think he knows the employees, based on his prejudices and clichés. Nothing more.
Sadly, I've met people that actually enjoy fake maple syrup more than the real stuff. To the point of actually disliking real maple syrup because "it doesn't taste like the thing" that they'd been eating since childhood.
I know work is going to be boring sometimes. I know there is going to be drudgery and pain and monotony. Well aware of all of those facts. There's maybe somewhere between that regular boringness and pain we have to put into our work and me waking up for a job every day and thinking to myself "I'm wasting my life."
Because the source code was published years ago, giving more life to the game.

This is the power of Open Source.
The hardware providing those nanoseconds is not nanosecond accurate (unless using atomic clock)

However they may be more accurate than 1ms. The guy is saying the timeslice given by the OS for a program to run in has at best a 1ms slot because the OS is switching between threads on a 1ms timeslice basis

So unless you're polling, the timing at which you ask the hardware for nanoseconds will jitter with 1ms offsets
Saying ICU are overproportionally occupied by the lederly, abd very young also if this a different ICU, is a fact. Continuing to say that is reason "you" have to wait for getting a slot and asking whether or not the observed sotuation is actually hood is cynical.
Interesting, I'd heard of truffle oil, but not that some truffles are flavourless.

Thought this was pretty fascinating -
https://www.theguardian.com/food/2022/jul/24/puzzle-of-prize... on the importance of particular trees in their growth.
I like

http://uz
Because it is made by you with good oil and good truffles?
You'll be pleased to know that if you went to the places where they do have the truffles in the ground, you do not need the restaurant to be «expensive» to be served real truffles. Black truffles are sliced on your "normal" ~10€ dishes.
There was also a government-in-exile spanning the USSR period: https://en.wikipedia.org/wiki/Estonian_government-in-exile
Right. I was going off the definition in the article that active customers are those that have performed an action within a time span, i.e. at the end of each such time span you can definitely count customers as "no longer active" or "still active... for now".
I never really understood Cloudflare's intent, because from the marketing material it seems that you get DDOS "protection", free TLS certs, everything in a monthly package, affordable, bla bla bla.

But from some basic calculations I get that R2, Workers and egress bandwidth beyond a few terabytes costs just as much as Oracle cloud / Alibaba.

But what I dislike the most is how little control you have over what's going on there. Like: If you haven't setup TLS on your webserver, why do they allow unencrypted traffic to flow between the server <-> Cloudflare and encrypt it to the end users and pretend that is secure?

Why can't they forward all my server's headers? Why <XYZ> ?????????

Read some horror stories on Hackernews and you'll quickly find out what their "unmetered bandwidth" really means. You get very little if any transparency about the pricing, which I would except from tiny cloud companies, but this is supposed to be a major one!
Planning on trying the Broad Noodle very soon, good to see it mentioned here too!
No, but then it's in samsung's best interests to use another standard and work to make it common enough that they pay the reduced rate of tax.

Even USB-C has licensing fees - although they are insignificant for most companies.
So suppose economic growth ends today. How do you optimize for friendship?
That's not sad, that's great! They're paying less than you for an equivalent level of enjoyment, so good for them.
I'm not so sure. Is it correct that the Bahamian government prompty converted all the seized tokens to ETH? If the seizure was for purposes of "safekeeping", what gives the Bahamians the right to trade in other people's cryptographic tokens?
Leader as shock absorber
It is an absolutely horrible idea to "invest" the money you have coming into stocks/ETFs. Literally. You make it sound like you are under 25 years old, and the best thing you can come up in terms of using your hard earned money is to (from your perspective) put it in some magic box that will grow your money at X% per year?

1. Contribute whatever you need to contribute to your local pension.

2. Save the rest of your money.

3. Deploy your money when needed by either investing it in yourself(health, skills, whatever else) or into an area where you have an edge(so computers). At worst, if you have some idea for a startup later in your life you can use this as startup capital.

My general advice in this regard: Passive "income" for people under 25 is a pure financial trap. You need to be making active "income" and saving otherwise. All your money you earn right now should ideally be spent on developing and honing whatever edge you have in the area that interests you. And it obviously isn't the financial markets.
I've always despised the taste of "truffles."

Maybe, one day, I will try the real thing.