skysight-inc/HackerNews huggingface dataset:
sell low price vouchers, require ID for them, make them refundable in 90+ days or in person with ID only

set up a membership/trust/reputation system for fans and/or frequent venue goers (eg. locals), and if they actually show up to gigs, then you can reduce the refund wait time for them, etc.
How does it make sense? The stuff that makes petroleum smell like petroleum is not that stuff, so the fact that it smells like it could just be a coincidence. It's never smelled like petroleum to me, though.
Making love is just thrusting your penis into vagina until you finish. No biggie.

Singing/making music is just making random sounds until they sound good. No biggie.

Speaking to god is just saying whatever comes out of your mind until you feel better. No biggie.

---

Everything can be made to sound silly when you oversimplify it. Such arguments don't have anything to do with activity "being real" at all.
tl;dr: Fake truffle tastes better than real truffle, to an extent that restaurants using real truffles are forced to flavor it. This makes connoisseurs mad while no-one else cares.
I see, thanks for the details! I’ve never considered differentiating between different levels of “importance” and thus different backup strategies, but it makes a lot of sense!
> risk-aware people who tried to act relatively prudently can still end up losing money.

Risk-aware people don't gamble more money than they want to lose. The moral assumption behind "blaming the victims" of crypto schemes is that their losses are little more than a reckoning of their optimism, ignorance and greed, not a tragic economical ruin.

> I turned the initial investment into $600k

If you call it an investment you weren't very risk-aware at the time.
Embedded micros (Systems On a Chip) often include dedicated watchdog hardware. This is a timer which is reset ("fed") by writing values to a specific register. Crucially, it often isn't just one value; you have to alternate between two values. That way, you can write one value at one point in your event loop and the other value at another point, making it less likely that something will break but keep feeding the watchdog.

If the watchdog hasn't been fed for X milliseconds, then it resets the system.
Take Me Back: Find out what the world was like on any given date
> A computer is always just a function from {0,1}^N -> {0,1}^M

> The "Inf" interpretation, of, eg., 11111111111111111 isnt infinity.

This is incoherent nonsense. If you want to say that the floating point value "infinity" isn't really infinity, you must also say that nothing else is really infinity either. That is true in a completely useless and uninformative sense, but it's false in every sense a person would ever use. And it fails to distinguish the correct mathematical proof demonstrating an infinite limit from the simulation suggesting, but not demonstrating, an infinite limit. Neither of them is really infinity. Each of them can represent infinity just as accurately as the other, though.

A paper is just a function from a bounded countable subset of ℝ² to another bounded countable subset of ℝ². What would you conclude, from that, about the limitations of what you can represent on paper?
All parents have kids because they want to have them. You can't ask for consent from an unborn kid.

Are you implying that certain class of people (poor, ill, criminal, etc – who know their kids could have it hard) are not supposed to have kids?
Interesting that it connects (and sad that MS is doing IP-based redirects). I asked a friend in Shanghai and she said it didn't load, but don't think I can ask her to troubleshoot.

> So what's your argument this time?

Your past couple of comments have been weirdly aggressive. I don't have an agenda.
I completely reject the notion that asking someone to build their own site is censorship, or that a private company turning away users is censorship. If someone has an internet provider, they have the means to communicate. It has always been this way, and only recently have certain groups raised an issue with the way internet content creation works.
In they end they just extract a single chemical and not the entire bouquet of flavours of a natural strawberry. However, if you ask a small child to taste strawberry flavoured ice cream and identify it is flavour they will get it right more often than not.

It is a good philosophical question, if in a 10,000 years people would still link the strawberry flavour with an actual strawberry, especially if advertising companies slowly tweak the image of a strawberry to look more appetising.
I’ve definitely come across this kind of truffle oil in the UK, pre-brexit
> But this is something that's really difficult to regulate. A good example is that wine brewed from natural yeasts that smells like horseshit. It was branded as "barnyard".

How does that make things hard to regulate?
Also seems useful for comment trees.
I would happily suggest that Elizabeth Holmes was orders of magnitude BETTER connected than SBF.
Perhaps the title could be updated so it isn't as clickbaity:

Use kernel parameter panic=60 in your kiosk
Also they're forgetting than Québec is not the only french speaking area of the country!

https://en.m.wikipedia.org/wiki/French_language_in_Canada
I have a network-controllable outlet switch with a timeout feature. You can configure each outlet to ping a specific IP address; if the address doesn't respond after X seconds then the outlet will be power-cycled.
> Is it impossible to calculate infinite values in general?

I would say that it's impossible in a finite universe to calculate infinite values. But it's quite possible to define and manipulate relationships that involve infinity.

You can't calculate the sum of all integers - but you can relate it to the sum of all real numbers. Or compare the sum of all integers lager than one hundred, to the sum of all integers larger than ninety.
Obviously I can't say for sure, but to me "you're a pretty cool guy, but I don't have time/space in my life for new people" sounds much more like a polite excuse to avoid saying "you're not somebody I want to be friends with" than an accurate statement about the reason they can't be friends with you despite honestly feeling you and they are compatible friends.

edit: But maybe that's my British instincts wrongly diagnosing a statement that I have no real context to judge better.
Vanilla is notorious for this. Vanilla extract tastes basically identical to real vanilla and is fully artificial (no vanilla pods involved in making it). I like to make crème brûlée in which it's a distinctive flavor. I sometimes use real vanilla pods, but hot damn are they expensive. Most of the time, it's just the extract.
C was already outdated before being released, when compared with the security capabilities from PL/I, BLISS, Mesa, NEWP.

Even Modula-2, released in 1978, has safety features that are yet to be part of C23, about 40 years later.
Is this your reference? "Truffle oil can be produced using any oil. Common versions use olive oil, or a more neutral flavorless oil such as canola or grapeseed oil."

Now tell me, why would a petroleum product be used with it's foul smell, when olive oil, canola, and grapeseed oil are available?

More to the point, can anyone find a truffle oil where a petroleum product is listed in the ingredients?
SBF publicly lied about this and called it a hack. If it was all aboveboard why would he have done that?
and she got pregnant just in time
I am not sure what these prices represent for Germany but it’s certainly not what the average guy pays for their energy. That’s certainly above 0.30€/kWh. Last time I checked for a new supplier (earlier this year) it was not easy to find something below 0.40€/kWh. Decided to stay with my current one that’s somewhere close to 38c

Maybe it’s the price on the energy market payed by the utilities?

(Edit) according to this [0] even the wholesale price was at 360€/MWh

[0] https://www.statista.com/statistics/1267541/germany-monthly-...
As I didn't knew the word, I gave it to DeepL for translation and in German it translates to words which would be used for extraordinary and over-the-top things (herausragend, hervorragend, hervorstechend). If someone would have used these, I'd have understood it as a call to show my best code.
I use Notepad3 for everything. It even has a Linux version courtesy of WINE. Sometimes Notepad++ if I'm working with loads of files, and need to switch between multiple documents. The tabs are a life-saver.

I've tried Sublime Text but never used any of their features. I mean, the features are cool and all, but sometimes you don't need all that cruft. You just want to code, without being 'helped' along the way.

Vim and Emacs are for the hardcore. Many people swear by them, but I found them too barebones.
For someone that hasn’t heard of they Mayo Clinic other than through webite articles describing medical conditions, are they that desired/high-quality?
Jetbrains Toolbox is not to be feared, especially if you want to keep up to date with all the latest EAP versions.
They're not asking you to delete it. They're saying that your sentence is so badly written, that it's not possible to clearly work out what you were saying.
I think you can make a philosophical argument that a fully formal proof, where every claim is traced all the way back to the axioms, is not a social construct.

But when we say "proof", we usually don't mean "fully formal proof", and there are good reasons why:

1. Fully formal proofs didn't exist for most of the history of mathematics.
2. School by and large don't teach formal proofs, and most students are probably not aware of the existence of formal proofs.
3. Even today, most professional mathematicians never write formal proofs, except perhaps as an exercise during their education.

So what do we mean by "proof" if it is not an argument that is exhaustively traced back to axioms? It's really no more than "that which the teacher/other mathematicians will accept as a convincing argument". When you learned a proof of the Theorem of Pythagoras in high school, you almost certainly didn't learn a fully formal proof. You learned a proof that, at some point, just implicitly got "cut off": the proof tree didn't work all the way back to the axioms but stopped at some point where the argument would become too tedious to continue laying out in full (without even being told that the proof got cut off: your teachers perhaps even told you that this was a rigorous argument).

To write such a proof, you need to judge where the acceptable cut-off point is, which is entirely based on what other people will accept as good work. Hence, a social construct.

edit: if you're not convinced that the proofs you learn in school/university aren't fully rigorous, I warmly recommend trying out a proof assistant like Coq, Agda, or Lean. Try to encode some well-known piece of mathematics. Euclid's Elements is a good candidate: working through it fully formally, you'll find huge omissions in the Elements immediately.
The headline is clickbait.

The article is mild proposals to rehabilitate, e.g. drug users.
Domestic demand is low, but cheap protein is always in demand.

https://www.agric.wa.gov.au/sheep/sheep-live-export?page=0%2...

https://www.worldstopexports.com/top-sheep-and-lamb-meat-exp...

The US is an outlier here.
> Moronic, scared management that is fine with these kinds of problems as long as the dough keeps coming in

That sounds like it’s the same in any sector? Especially IT.
"Selling crap as premium" is hard to regulate. Yes, you can put laws in place to say what is allowed to be called truffles etc., but it will be hard to stop people from selling what is technically a truffle as a premium truffle. I.e., selling crap as premium.
Why ZFS performance advantages cannot be measured by fio
If it's at least $1000, buy a Trezor:

https://trezor.io/

It's easier to use than Ledger, has a better history with privacy and the knowledge you get from using it will be good for you in the future.

Under $1000 I use Bluewallet on my phone, the most important is to not click on a scammy ad instead of a real wallet (look at the number of downloads to make sure you don't get scammed).
Secure and Efficient QNetworkAccessManager Use
I prefer https://1.1.257
Enjoy the bluetooth stack, written in Rust, since Android 12.

https://android.googlesource.com/platform//system/bt/+/83498...
We got 10k visits in a single day. Cost of data transfer: zero
I wouldn't say I'm sick of them, since in computer-world we deal with acronyms a LOT. I mean who even says Uniform Resource Locator in everyday parlance?
11 years for literally putting lives at risk due to medical fraud, forget the money part for a moment. Someone may have lost a love one because of her, maybe it was a few? Hundreds? Who knows. But we are over 8 billion people in this world, do we really need people like this ever having a second chance to life? Medical fraud should be life sentence, at most, give her the opportunity to work from prison for the rest of her life.

This type of people prey on the ingenuous and naive, nothing wrong with being ingenuous but for the rest of us, we should also call out the predators like Holmes and try to keep this predators out of society.
In context, it sounds like they relied on simulations that don’t use exact numbers. I’m guessing that they saw an IEEE-754 floating-point infinity and then had to determine whether they got it because the accurate result was infinity or if the infinity they saw was the result of floating-point calculation artifacts.
I cycled a lot before I learnt to drive. The concept of gears was very firmly in my head by then - all I had to do was learn to good clutch control. If a wrong gear means you are pedalling too fast or too slow, you get the idea very quickly.
Eloquently described. News websites I used to frequent have become echo chambers with little tolerance for opposing perspectives. The willingness to discuss becomes a thing of the past and the term 'facts' has been twisted so much that it now means 'your opinion'.
I love the hacker thought process of "Is there an HTML element that can hide and show content right out of the box (without js), and now can we borrow it to implement a completely different data structure that wasn't obviously part of its design?"
You can use your own domain and string as well[1].

[1]: https://news.ycombinator.com/item?id=28512149
> The only real advantages afaik in ICE are better torque control and engine braking

I'd argue the majority of manual fans are into them not for any utilitarian reason, rather it's all about the enjoyment that comes from controlling a fun (i.e interesting powerband, characterful sound) engine with a satisfying shifter. Think of it like playing a musical instrument.

I highly doubt manuals will catch on for EVs because the electric motors are super smooth and their torque makes gears irrelevant (the Porsche Taycan being an outlier here).
Maybe 5 years ago I was hanging out with a buddy and we took an angle grinder to an empty propane tank. When we were finished, we smelled uniquely awful. It turns out that added to propane is a tiny amount of the odourant Ethyl Mercaptan. Now when you’re using propane you get just enough of a whiff of it to remind you that you’re using propane, but if you get a smell of the inside of an empty propane tank? Well, something about the liquid propane residue that remains, some miracle of science and chemistry, creates a density of Ethyl Mercaptan that is shocking. Room-fillingly shocking. Clothes throwing away shocking. Many showers worth of shocking.

A couple years ago I had my first “truffle” experience with some truffle cheese and was like cutting back into that propane tank. Not the same in scale, but certainly in type. Tremendously similar smells. Since then I’ve been sad and thought I just managed to ruin truffles for myself. This article has given me hope.
"Influencing the market" is just a way of introducing unenforcable or ineffective rules, or unintended consequences. You want to tax resale of tickets at above face value at 100%? Sure. Now enforce it. I mean, it's been illegal in many states for a while now anyway.

Back in the day, before the web, anyone who wanted a ticket at face value could get one. You just had to wait in line. For a long time. And back then, people said that system was unfair, because wealthy people could afford to take the day off of work, while poor people couldn't. Or wealthy people could simply pay other people to wait in line for them. And the wealthy people realized, hey, the limit is 8 tickets but I'm going with just a group of 4... I can buy all 8 and sell 4 to people at the end of the line for a profit. And they did! And so waiting in line became fruitless, unless you were really, really, really early, because all the wealthy people (scalpers) would buy the max number of tickets and the show would sell out fast. Now we have the internet and nobody has to wait on a line, everyone can log in at the exact moment, but people once again say this is unfair.

The idea that you can somehow ignore, heavily influence, or override the free market in concert tickets is nonsensical.
As another bipolar individual: I must agree that he reminds me deeply of my hypomanic episodes I had (before it developed into full blown bipolar).
Bill Gates had a hand in Apple’s Watch OS?
You're assuming SBF is a rational agent, which if he was, he wouldn't be in this position.
I use Google, and I have a shortcut set up to append things to my search, like "-site:annoyingthinggthatalwayscomesupbeforetherealdocs.com"
To be hones, promotional offers are a thing and a real problem in the market. It’s usually considered (at least under my peers) that changing your energy supplier often is worth it to collect all the „new customer bonus“ offers. But it’s not like that would could your bill in half. Maybe 10%?
Ask HN: Looking for recommendations to spend my remaining training budget
I have about 1k€ left of my training budget for this year, which does not carry over to the next year in case it's not used.

I'm looking for a course, books, or maybe a certification (although I'm not really a fan of this industry).

Some topics I'm interested in are:

- Application security, as in actually focusing on security at the software level. I already work in security (offensive, cloud/infra, security in CI / CD...), but I lack knowledge when talking at the software/algorithm level. For example, identify security vulnerabilities in code (beyond common ones), discuss whether one algorithm is better than other for a particular use-case, etc.

- AI in general, although more particularly into the operations side (this so-called "MLOps"). I know Andrew Ng has an updated course in Coursera covering this topic, but it's free, so I don't need to use this budget.

- Leadership. So far, I have used this year's budget in improving my leadership skills, especially communication skills. I have led a few teams over my career, and so far so good. Everyone loved my way of leading, except for one guy. However, this is an area of constant learning, so any course or must-read book is welcome.

So, in summary, do you have any recommendation for courses or books covering any of those topics that you think are worth?

I'm more interested in courses / video material, as with 1k I could buy dozens of books that I probably I won't have time to read.
1 cloud combined with 1 cloud gives 1 cloud.
I'm only superficially involved with machine learning, is it ever required for applications to implement their own differentation for something specific? In my line of work it's mostly transfer learning, maybe with small modifications to architectures and retraining. Is this only for researchers?
FTX is incorporated in Antigua and Barbuda and headquartered in The Bahamas.

https://en.wikipedia.org/wiki/FTX_(company)
The issue here isn't whether a wine company can creatively brand smelly wine as "barnyard". Before we even deal with the question of how do we grade products, we first have to ask whether companies should be able to simply lie to customers about whether listed ingredients are even present.
The addon Tree Style Tabs has the option of adding your own CSS to style the tree view. I don't know the the HTML that renders the tabs is built up, but I'm confident that it's possible to replicate this style with some CSS tweaks.
Why is yewtu.be a stupid domainname? It's an "alternative" spelling of youtu.be that's easy to memorize and fast to type. I use a plugin to redirect to newpipe instances, but if I hadn't one I would probably use yewtu.be because it would suck to always type something like piped.kavin.rocks or invidious.pussthecat.org
we can be friends then
> Musk tweeted that Twitter would stop amplifying hate speech and restore a few controversial accounts, though not that of former president Donald Trump.

Musk said "A" and "not A" simultaneously and wonders why people think he isn't as smart as he thinks he is.

(Obviously there are readings for both or all three statements which don't imply a contradiction and since I respond to news of his tweets not the originals it's subject to interpretation and distortion)
We will have full self testing theranos machines by the end of the year.
> It is not just that convincing other mathematicians that a proof is correct is a social process, but also that the reasoning on which any proof relies, even if it seems unassailable, even if built into an automated checker, is still a product of the human mind. Usually there is a level of logic that can challenge even what seems so basic as to be fool-proof.

I think you are mistaken.

I used to be very troubled by the notion that no single set of axioms really can be agreed on to do mathematics, but I have been convinced finally that the truth of the matter is a very subtle point; that the truth of mathematics is absolute; it merely is not finitely-axiomatisable.

With a sufficiently weak proof system, clearly we can conceive of a system where the irrationality of the square root of 2 is not provably true, but no consistent proof system can prove that the square root of 2 is rational. Certain mathematical constructs, indeed most(*) of known mathematics, that which is constructible by constructivist methods, are irrefutably there in any consistent mathematical universe, and in that sense, true.

Yet, no single axiom system can encompass all mathematical truth, as is well known from Goedel's theorems, but neither does that mean that the set of axioms to be worked with can be arbitrarily chosen. The chosen set of axioms must be consistent. The question, then, is whether consistency of axioms can possibly be an objective fact; and even though for any sufficiently strong set of axioms, its consistency cannot be proven in of itself, it consistency can in fact be objectively established - objectively established, but not finitely established.

My evidence for this perspective is Scott Aaronson's construction of a Turing-Machine encoding of the ZFC axioms. What the construction of this encoding implies, is that the revelation of the uncomputable busy-beaver (BB) function for value 8000, which is a finite, well defined, and an objectively irrefutable, albeit unthinkably massive, number, constitutes a proof of the consistency of ZFC axioms. A similar procedure I believe can be applied to any set of axioms that one wishes to work with.

The part where the magic occurs, I believe, is in the uncomputable nature of the BB function, by which it is possible to finally and objectively establish consistency of sets of axioms. Uncomputability amounts to the acknowledgement that though something may always be well-defined, there is no finite method to encompass its values; that is the nature I now take of mathematics as well.
That does sound like a plan that could work (other comments have hinted at why it may not on this case).

But firing everyone immediately, with no chance to transfer knowledge? Funny!