skysight-inc/HackerNews huggingface dataset:
> NZ today is a tough place to stay alive.

This might be a low effort reply, but a bunch of us manage too :)

In all seriousness every country has it's own unique things that locals are very much familiar with and outsiders it's just foreign to.

Australia - predisposed to critters that want to kill you. Checking your shoes for spiders is a thing.

America - well I'll leave the obvious out, but there's some pretty nasty deserts you'd not want to be caught out in, or the odd cat 4 Tornado, or my favourite from last visit, walking past a tree that had head high claw marks all through it (either Cougar or Bear, wtf, that was like a 20min walk from the hotel in boulder!!)

Then there's Canada -40c anyone? That's really not meant for human survival.
Which ones? Most were developed into farms, cities and industrial zones. All directly responsible for pretty much every thing you're enjoying about your life.

Sure, it would be even better to have both all the forests and plains, and all the food variety, telecommunication, transportation, lifespan and individual freedoms. But it was never a possibility. There was no path from there to here for humanity that didn't mean developing much of the land, cutting down much of the forests and poisoning much of the world - it's because we were (and still are) figuring things out as we went along, acting in an uncoordinated, distributed fashion.

We could eventually restore much of what was; we can see the possibility now, but the path to it starts with developing Earth orbit. The way to get the forests and clear sky back without making life universally worse off leads through weathering the whining of astronomers as infrastructure, industry and habitation is being moved up the gravity well.

(It's either that or making some huge leaps in biotech, but that's pretty much post-singularity regime, in the sense it's too hard - or too scary - to predict how the world would look like after working with DNA becomes as easy as working with code. Expanding to space sounds like a much safer option to pursue first :).)
They couldn't find the nucular wessels.
I'm guessing you are in the USA. How does one find an agent capable of giving more sophisticated advice on finances and the local market?
There exists a book dedicated to explaining how to use a single CSS property: https://www.goodreads.com/book/show/28485920-get-ready-for-c...

Yeah, I know, that's cheating. Grid layout actually consists of multiple properties, but the point is that just because something can be described in a way that sounds trivial that doesn't mean it is trivial. There's also a book dedicated to async/await (and promises).

You can describe useEffect by its behavior and interface and be done in a few sentences. But it's basically "side effects: the API" in React. You can use it to do complex things much like you can use CSS grid layouts to build complex layouts, and it's entirely reasonable to provide a more thorough guide for those who prefer to learn that way rather than through experimentation.
Anybody knows if some shells apply these easy optimizations? Could a shell detect cat abuse and replace it with the right grep incantation?
https://www.youtube.com/watch?v=0RiAxvb_qI4 - this video about Bell's inequality finally makes sense. Somehow all other videos try to start with polarizing filters and claim they somehow require quantum effects to work or other distractions.
This one goes straight to point - there are different expected outcomes depending on moment we "roll the dice"( on particle pair generation or on its detection), and experimental data fits only one without local hidden variable.
Emulate Any ISA Card with a Raspberry Pi and an FPGA
You usually want a line of text to have 60-80 characters. Given the fact some characters are thinner and some are wider than the ‘0’ character in a proportional font, making a paragraph 70ch wide gets you in the proper range.
Walking shouldn't hurt your back and its very worrying that it does, you should look into some resistance exercise.
Alameda was a hedge fund. It could lose all of its money and it would be totally fine.

The moment they touched customer funds it became fraud and theft.

This was not accidental. Losing it in trading might have been, but it was trading with stolen funds.
Sadly I don't have predictions. I can only tell when other people are wrong, not actually be right myself :D
Crypto exchange FTX expects to have more than 1M creditors
I wanted to point to FOSS (GPL3) alternative ProcessHacker [1] which I'm using for years, and found out that their github link [2] now redirects to systeminformer [3], looks like repo rebranding, wasn't able to find it mentioned anywhere though.

[1]: https://processhacker.sourceforge.io/

[2]: https://github.com/processhacker/processhacker/

[3]: https://github.com/winsiderss/systeminformer/
Show HN: A crypto social trading platform that improves Etoro's copy-trade model
Hey HN,

I was watching an interview of Caroline Ellison (CEO of Alameda Research) the other day and found it interesting that she never uses stoploss (no wonder shit happened). One of the most important skills for traders is how to set up stoploss and stick to it when stoploss is about to hit. I see that most crypto traders don't follow this principle.

There is a huge demand for social trading (similar to Etoro) from crypto traders. Fact: 76.2% crypto traders surveyed say that they want to have social trading (copy-trade) features - Source: Statista (2021). There have been multiple attempts from various crypto start-ups (including the ones backed by major crypto exchanges such as Binance or Bybit) trying to build Etoro-equivalent for crypto.

However, due to the volatile nature of crypto markets, most of the top traders on such platforms are pure gamblers, who may have luck once in a while. Most of the copiers there cannot obtain sustainable profits from copying the top traders. Users do not enjoy similar benefits of copy-trading as the ones on Etoro.
A personal story: I was once a top trader at a crypto social trading platform (Zignaly), attracted some substantial funding from copiers, but later get myself (together with the copiers) liquidated.

I recently found out about prop-trade platforms such as Topstep & FTMO. This is a proven business model in forex & stock trading with multiple platforms having 100k+ active users. These platforms evaluate day traders’ performance in real-time simulated accounts, in which those who pass the evaluation/challenge earn a funded trading account (while still being monitored against its max drawdown rule).

I realized that prop-trade challenge can be integrated with copy-trade functions and fix the problem of the existing crypto social trading platforms. That's why I built Tordess (a “misspelling” of tortoise).

We launched our MVP (open-beta) on October 15th, acquired 700+ beta users/testers as of today and secured affiliate partnership with 2 major Vietnamese crypto trading & prop-trade (Facebook) groups that have more than 200 thousand members.

Since launch, several top traders on our platform have produced 100%+ return on simulated accounts, without breaking our rule of maximum 10% drawdown. While it is amazing how talented retail traders are able to achieve such results in crypto bear market, it also shows the potential of fixing social trading (copy-trade) model by combining prop-trade challenges.

If these resonate with you, then give Tordess a try. Our competition mode is always for free.

Let me know if you have any feedback or questions!
What fraud does Binance do besides evading U.S. regulations?

note: This is an actual question.
Don't take it personally, I think upvotes are a lot more random.

Every 6 months or so I repost (on another site) bottle rocket under the ice:

https://i.imgur.com/IEW6QqB.gifv

Sometimes it's huge, somtimes it sinks. No pattern to it.
Evidence grows that mental illness is more than dysfunction
Mediocre/bad article. It's mostly a rant against decolonisation in general.

The actual treatment of why this mostly does not apply to maths is very thin.

And there actually is a problem with the notion of mathematical truth: Not within mathematics itself but in its transfer to sociological questions. Here, simply presupposing that concepts can be defined with a universal meaning and statements have a universal truth is simply not true. Mathematics is not advanced enough to discuss these matters properly. (So: New notions need to developed)

Since most readers here have a background in programming, here's an analogy of what the issues are: Sociology is about distributed systems. And these are more complicated. For example thinking about time in distributed systems requires quite a lot of non-trivial tech (vector clocks, etc). It's even more complicated for sociological notions.

But in general, I agree: The topic mostly does not apply to maths.
In this world view it is not insulting to suggest non-Europeans prefer ‘other ways of knowing’ to rationality and science.

This reminds me of that "racial sensitivity guide" that told employees punctuality and logical objectivity were "white expectations" not to be applied to persons of color.

In New Zealand the school chemistry and biology syllabus has been decolonised and now invokes the concept of mauri, or life force, to give the atomic theory a new spiritual dimension.

I went to high school and college so deep in the bible belt you could put an empty Coke can to your ear and hear banjo music and our textbooks still didn't have anything like that bullshit.
I'm with NewPipe on this one. Although I've never seen any sponsor-pauses relevant to me. And despite the fact that they consume my time and traffic. Sponsor mentions are OK because they don't invade my privcy (ok, there's the rewind/skip forward stat histogram). But there's one exception I've seen a few times: concealed advertisement. And that is what I really hate. While video catches your attention the advertised material keeps creeping into your mind, and by the time you realize it, it's too late. I'd just blacklist such youtubers on the spot.
> Pretty much nothing of consequence has happened on Twitter on user side, except for what people make it in their heads, or talk about to show off in front of the group, one-upping each other in their newly discovered deep hatred for Musk.

You mean the pay to verify thing never happened?
NuttX RTOS for PinePhone: Render Graphics in Zig
The Ontario Teachers' investment is outrageous. They are charging middle-class people (by definition) good money from their retirement savings to make reasonable investing decisions and do due diligence.
For those unfamiliar - The Spectator can occasionally be an interesting read, but their business model is generally far closer to "push all the right-wing buttons" than to "objective and factual information source".
For even more context of how bad SBF was at League of Legends, a large part of their player-base is children and teens. You would not expect a normal functioning 30 year old man to lose to 12 year olds after years of playing with the frequency he did.
>Dealerships are a middleman much more deserving to be ruthlessly demolished by "tech disruption" than, say, journalism

Why are you inserting a moral position here? The world economy runs on middle men. I know of no-one that goes to the local ore mine to build their own car. The industry is literally built on middle men.

If you want to make the argument that there are laws protecting their middle man position that are now out dated that's one thing, but absent that they are obviously providing a service people find valuable.
Initially, they thought that ötzi was a one time coincidence of a man being stored in ice untouched for thousands of years. Now they found evidence that he was exposed to open air multiple times. So they are more hopeful for finding more like him.
I agree their pricing model is good, but that has nothing to do with the value proposition of dealerships - just their approach to pricing. Ford could mandate flat pricing overnight to all their dealers too. It's just never been in corporate's interest, until now. For example a MacBook costs the same at BestBuy as it does at an Apple store as it does at apple.com

I'm hardly a Musk fanboy, in fact I have strong negative opinions about the, er, gentleman, but this push towards flat pricing and allowing sales directly to individuals is imo an unequivocal good. If the price everyone pays is the same online and at the dealerships then dealerships can prove their value to the customer - or not.
Then they begin a campaign of protesting outside of schools and pressuring donors to pull funding.
Google is also making Flutter the de facto UI solution in their upcoming Fuchsia general purpose OS. It also is powering their single biggest money maker (Ads). It’s an absolutely core part of their future strategy with almost zero chance of disappearing like you described. I imagine Canonical also got the same assurances in writing before making that decision.
Did you mean with cheques?
> The meaning of the "exists" quantifier is that it runs over the universe of entities; the formula it quantifies over must be true when instantiated on at least one such entity.

This much is true when we start assigning semantics to formulas - which is what leads to model theory, where you assume that a mathematical universe already exists and you're trying to figure out which sets of formulas describe which parts of it (to oversimplify).

If you look at the ZFC axioms purely syntactically, there aren't many presuppositions. Essentially we only posit that we should be able to coherently reason about finite sequences of strings - because a first-order proof is nothing more than that. That seems easy enough to believe. And it's what allows us to write proofs with computers.
> Neither is a colonial power by any reasonable definition.

Beg your pardon? If a colonial power is a country that expanded by force in lands that were not ethnically theirs (and I can't really think of a meaningful definition that would single out European powers between the 16th and early 20th century), then ancient Egypt and the (Eastern) Roman Empire are definitely colonial powers.
If anything at all is objective, it's mathematics. Anyone can verify if the statements are true, independently. Granted, some of the statements are massively complicated, so not everyone can do it reasonably fast; however when you state something, typically you need to prove it.

I (naively) thought this protected this particular discipline from "modern politics" or whatever we want to call this insanity that is spreading. I worry that we might reach a place where people believe that 1+1 is not exactly 2, it is dependent on the emotions of the person uttering the words, akin to the current discussions of male/female, genders, pronouns and so on.

It looks weird even typing this, but I am sure someone in 19th or 20th century would say the same thing about the current state of what is a man, what is a woman, who gives birth.. things that are so obvious that but yet disputed.

I don't understand what can be done about people legitimately believing insane things. I have no doubt that they believe what they are saying. We ought not to fund it with tax $ at least.. disappointing.

> The QAA’s benchmark document that defines the common mathematics curriculum has grown in length by 50 per cent in just three years, but not because of any radical shift in the nature of the mathematics. Instead there has been a been a decision to introduce teaching on diversity,

Just like the communists forced Marxism upon everyone, and Nazi Germany did the same thing to their youth. I expected Math would be the last place to be infected with this, but it has happened. We'll see how much it spreads.

> Activists also have statistics in their sights. One academic review of school statistics textbooks ‘with a theoretical framework of queer theory and critical mathematics’ notes disapprovingly that ‘pregnancy was used frequently in problems involving females/women.’

Cannot be distinguished from pure comedy. What a reality we are living in.
Not any faster than stars themselves.

And arguably slower. I see a bright star, I look it up, it's so-and-so in the constellation of something-or-other. I see a bright satellite, I look it up, it has a story.
Yeah the fork is a weird example since it was introduced relatively late in England.
> The QAA themselves don’t explain what decolonising means.

Presumably this is a good thing, given the complaint:

> But by requiring that all subject areas include these topics, the QAA is homogenising university teaching and diminishing true diversity of thought.

The 'sinister attempt' here is literally just advice to have a bit of a think about this stuff when you're covering areas where it might be relevant, like the history of mathematics; and to consider the diverse needs of your students. An academic who chooses to follow that recommendation has huge scope to determine how they do so.

The rest is just baggage Armstrong is bringing to it, and is very much his problem.
>It's especially weird when I'm listening to some book or podcast where travel happens - like Critical Role for example. I now have nearest 50 km around my city mapped onto a D&D world by accident

Amazing. I'm dying.
I don't think League is a popular game in that demographic. I see it as a old man/woman game now, like counter strike
But should that technology even be a part of mathematics? Different fields/applications will have different needs so I would imagine that these critical discussions should be part of each field and its methods. Eg: physicists don’t go around blaming math because specific physical systems need different models.
> This article is very little more than just a gossip rag version of the NYT article

This characterization is so far from the contents of the article I have to assume this comment is in bad faith or you're extremely biased towards the NYT.

The article is 90% discussing facts/quotes from various sources and 10% speculation on what actually happened by people who are very familiar with crypto markets.

The NYT piece on the other hand contains almost no facts (90% narrative) and throws a pity party for SBF. It's a complete joke.

NYT piece: https://archive.ph/413e0.

E: the author of this piece even states on Twitter that it's mostly a compilation of known information. Nowhere near gossip or speculation.

https://twitter.com/0xfbifemboy/status/1592387837126905857
Yeah what I hate about dealerships is that they usually have at least four ways to screw you, and it's pretty hard for a layperson to negotiate fairly on all of them.

ie. Trade in price for old car, purchase price for new car, rate of finance, cost of extended warranties.
Maybe I am wrong about this, but the price you pay at a dealership is the spot price for a car now and here. The price you pay on the Tesla website is for a car some time in the future, some times an indefinitely far off time in the future. I suspect the spot price for a Tesla now and here is also fluctuating, opaque, and subject to negotiation.

Am I wrong?
This is a false equivalence. FTX stole customer deposits and lied about it, to the tune of billions of dollars.
I second that first book recommendation. It made me feel like I was missing half of the picture for all of these years.
There is something I saw on the wild here https://github.com/Shinmera/legit/blob/master/repository.lis... which I thought was pretty cool.

We all know about memoize, but let's say I want to define a global hash-map, where the keys are actual pieces of code and the value the result that would be evaluated when executed. Something like this:

| Key | Value |
|----------------------------+--------------------------------|
| "hello" | "hello" |
| (square 5) | 25 |
| (factorial 5) | 120 |
| (git-tags "~/foo") | (list "1.0.0" "0.1.0" "0.0.1") |
| (make-instance 'singleton) | #<SINGLETON {1301DE5A03}> |

Which can then be used like this in a trivial way, just passing code because code is data:

(let ((path "~/foo")
(tags (cache `(git-tags ,path))))
(format t "Tags of ~a~% ~{- ~a~%~}"
path tags))

Sure, something like this is possible in other languages, but having done macros in languages such as Rust and Nim, it involves such a verbose and syntax soupy way of dealing with the AST that I don't feel like reaching for those abstractions that often. I'd rather just write boring code, and most consider this a feature.
Heard of it. Repeatedly. Never seen any, you know, proof.
I think this sort of thing is overstated to provoke political outrage
and distract from the real socio-economic disaster unfolding in higher
education. It's certainly one minor symptom, but only a small example
of how we've lost our way on a much grander scale.

> It is easy when you work at a university to roll your eyes at this
sort of thing and play along.

But that's not what happens. You roll your eyes, smile and then
blatantly and insubordinately forget about it. No one ever follows
up. No one cares, except that one over-worked bullshit compliance
officer whose softly-worded "advisories" get tactically directed to
spam.

Most people are already sensitive enough to teach incorporating a rich
cultural history and awareness of "colonial values" (expeciallin maths
which is practically a history of India, Persia and China), since it
is precisely the bad sides of those values that are harming our own
institutions today.

People in British universities have more important stuff on their
plate at the moment, like dealing with a massive crisis in student
disaffection, debt, and mental health problems, lecturer strike
action, recruitment problems...
I think that's going a bit far. Having your phone with you and turned on is OK because there sometimes are emergencies that have higher priority than whatever you are doing. Sure, take steps to avoid constant unneeded interruptions but looking at the phone once in a while to see check if a notification is important is not going to kill anyone. You don't own someones attention 100% when you are spending time with them.

And someone doom scrolling while "spending time" with others might not actually want to be spending time with those people. In that case the ire should be directed to those people or obligations making them spend their limited time in a way they dislike.
If there's one thing academics at British universities are more scornful of than third parties trying to dictate their curriculum, it's parents of students sticking their noses in.
If you are interested in volcanoes. A visit to La Palma to see the effects of the sept 2021 eruption, is a must-see.

The western Islands had also Laurisilva evergreen forests. An humid ecosystem relict as close as one "European rainforest" as you can have. Very "Jurassic Park" vibes (the native giant lizards prefer the rocky areas in any case).

The small El Hierro Island is worldwide famous as diving spot. All Islands are good to dive, but in El Hierro is easier to spot big fishes. Whale sharks and Manta rays are not uncommon in the correct months.

Very good places also to do Whale Watching. Dolphins and the tropical species of Pilot Whales are easy to watch in Tenerife, Palma, Gomera or El Hierro. Sperm whales and marine birds frequent the area also.

Some very good spots also for Astronomy lovers. The visits to the big observatory and telescope in La Palma are suspended by now, it seems, but the visitor center is opened. See http://www.gtc.iac.es/

In short Tenerife is the most complete in terms of variety of ecosystems and Lanzarote is probably the most spectacular geologically. If you want nature avoid the most crowded destinations that receive zillions of tourists searching for beach and booze.
I mean i would but i don't know wether going back in time would pass the borrow checker.
Under Communism you are a serf, unless you are higher up in the party.
Ford tried with the F150 Lightning and the top end Mustangs, but the dealers all decided they like money more, so you're not getting either of those for anywhere near MSRP. Not for lack of trying by Ford though:

https://www.hotcars.com/ford-cracking-down-greedy-dealers-ma...