skysight-inc/HackerNews huggingface dataset:
Well the thing about a large mammal like an elephant is population control is easy and the effects generally more understood

Unlike a zebra muscle which one it’s in your local lake goooooood luck ever removing them and now your lake may die a toxic blue green algae death
You’d not use lithium ion batteries to store energy across seasons. Instead you’d do things like grid scale pumped hydro
And speaking of kind individuals, you are no longer in the competition.
The problem with Elon is that he's decided to pick and choose which countries he will comply with local legislation on, and which ones he won't. So India, Turkey, he did. Brazil, he didn't.

Maybe the Supreme Court in Brazil is "wrong" and "corrupt" where legislators in India and Turkey are not, but knowing a fair bit about all three countries, I doubt very much that to be the case. So then it's a business decision -- or more like a "whatever pisses Elon off" decision, which in the end is just as "corrupt" as your typical corrupt dictator who acts on whatever pisses them off.
According to the Wikipedia link you sent the marxist Leninist state was set up in 1987 and inherited the problems caused by the previous military junta including the aftermath of the 1983-1985 famine.
> With that kind of a CEO you have to bend over backwards to poach them (eg. Making them Chair and CEO - very rare for non-founder CEOs to be granted this role)

According to the article roughly half of public companies have the same person as Chair and CEO. They cite this [1] to support that. I don't think there are enough CEO founders to account for a majority of those.

[1] https://corpgov.law.harvard.edu/2024/01/18/2023-disclosure-p...
https://archive.ph/iOPCu
I hope you are a troll
>Tiny tip of the iceberg. And all of those only got to prison for crimes against their investors, not for crimes done on behalf of their investors

False. SBF was specifically convicted of committing wire fraud on FTX customers, not just investors/lenders.

https://en.wikipedia.org/wiki/United_States_v._Bankman-Fried
In case you are not familiar with Wi-Fi HaLow:

IEEE 802.11ah is a wireless networking protocol published in 2017 called Wi-Fi HaLow (/ˈheɪˌloʊ/) as an amendment of the IEEE 802.11-2007 wireless networking standard. It uses 900 MHz license-exempt bands to provide extended-range Wi-Fi networks, compared to conventional Wi-Fi networks operating in the 2.4 GHz, 5 GHz and 6 GHz bands. It also benefits from lower energy consumption, allowing the creation of large groups of stations or sensors that cooperate to share signals, supporting the concept of the Internet of things (IoT). The protocol's low power consumption competes with Bluetooth, LoRa, and Zigbee, and has the added benefit of higher data rates and wider coverage range.

https://en.wikipedia.org/wiki/IEEE_802.11ah

https://standards.ieee.org/ieee/802.11ah/4960/
Deno 2 (RC) is live on Docker Hub
In the UK at least if you don’t put the parentheses you will get flagged for a ‘bidmas error’ because indexes (exponentiation) have higher precedence than multiplication

Source: have made this mistake. Have been flagged.
You can plug arbitrary values in, but you can not expect to gain any valid predictions or reasonable physical insight from Coulomb's law as soon as you are no longer dealing with static point charges. That's because B and E are not independent quantities but actually closely intertwined components of the electromagnetic field strength Tensor F. As soon as you start dealing with motion, these components will mix, preserving only certain quantities like the tensor contraction E^2-B^2. So even if you construct a case where B=0 at time t=0, that will no longer be true once you had any acceleration of your charge carriers.

In the fundamental quantum field theory picture you don't even have forces and particles in the original sense anymore. The dynamics are then described by interaction between the em field and charged fermionic fields. Stuff like Coulomb's law (or any other force potential) only emerges as a macroscopic low energy approximation for specific field configurations.
Why? Insurance providers have capped profit margins. The only way to grow their revenue is to grow covered expenses (and correspondingly, premiums).
> I made a statement, that TLA-PL is a programming language

It is a programming language only the same sense that some subset of English that you could interpret as instructions is a programming language. It's not that you can say, if you only use these symbols then you'd get something executable. While a language could technically be defined like that (a language is just a set of strings), programming languages (and all practical formal languages) are usually defined in a way that it is very easy to mechanically determine whether or not something is in the language and even have a generative grammar for it.

But yes, it is true that are subsets of rich mathematical formalisms (including TLA+) as well as of English that could be "executable", but these subsets are not as easily recognised. So it's a matter of how you define a programming language. If you consider "the subset of English that could be interpreted as a program" to be a programming language, then yes, such subsets of mathematical formalisms including TLA+ exist. If you also require that a programming language is a language that should be easy to decide whether some string is in the language or not, then you'd have to restrict the subset to be very small (just as it is easy to decide the subset of mathematical expressions that can be evaluated by a calculator), and then it's again up to you whether or not you would consider something so rudimentary to be a programming language.

To be more specific, I would not consider the subset of TLA+ that can be simulated or checked by TLC in a way that you'd want an interpreter for a programming language to behave to be a programming language because that subset is not easy to define. For example, you could have two specification of the same program, both of which in the subset that TLC supports, and yet TLC would exhibit a behaviour that could resemble an "execution" for one and not terminate for the other -- even though their meaning is identical. That is because TLC performs a certain analysis of the specification to determine whether some propositions are true or false (e.g. a proposition that a certain variable is always of the same "type") and the algorithm used by that analysis sometimes resembles how people would imagine an interpreter to work and sometimes it doesn't.

So I would say that that subset, like a similar subset of English, is more "a language that could be used to produce a program" than "a programming language" because it is neither as well-defined nor as well-behaved as what we expect from a programming language.

On the other hand, there is an even smaller subset of the language than the one supported by TLC, which could be easily defined, well behaved, and guaranteed to be executable, but it would be quite limited and not make a useful programming language. You can still call it a programming language, but again, it would be smaller than the subset TLC supports.
There's this awful semi-famous photograph online of a previous African famine that depicts a man walking past a child who he stole U.N supplied foodstuffs from.

This might be naive but what's stopping the U.S, Russia, E.U, China or any capable world power from just air dropping tons of food onto Sudans population centers? You can't tell me Sudan's military has the ability to shoot down advanced aircraft. Am I missing something? The country has no government currently so claiming it's a violation of sovereignty would also be questionable imo.
It’s more than that. They also say:

“Both Asian and African elephants, which Colossal plans to use as surrogates to grow mammoth calves, are endangered, and every elephant gestating a "mammoth" calf can't grow babies of its own. "That's going to reduce population size," Lynch said.“

We risk putting existing endangered species at more risk to try to bring back these past species.
The Google Pixel C was the best Android tablet ever made (2020)
MD is managing director, not medical doctor.
Onboarding and discovery is much too difficult for the average user. Distributed is technologically cool, but will remain niche IMO.
Yeah, I build custom solutions. For one customer I built a few custom server using supermicro chassis.
At some point the Google web should be declared an official fork of the web.
Show HN: 789-Zip – A native macOS app for 7-Zip
Your question is a trap because you’re not qualifying what type of job you’re talking about. I could say “because your code runs on Linux and you should learn it” and then you’ll just say “well I wasn’t talking about jobs writing code running on Linux”.

Assuming the discussion is about a typical developer that runs code that is deployed to “the cloud”, and the cloud is basically 99% Linux, yes. You absolutely need to know enough about how Linux actually works to be effective at your job. Otherwise you’ll fall into the sort of trap zillions of “big data” engineers fall into, where you spend countless hours writing custom code that takes up terabytes of RAM that could have been a simple sed/awk/grep pipeline that uses a handful of kilobytes.
It’s easy to build Rust with a stock llvm. You may just lose out on some back ported bugs that were patched in the fork the rust team maintains.
> 2. Break the rules if the rules are stupid.

This.
What's the difference between the Moire effect and "Lenticular printing"? https://en.wikipedia.org/wiki/Lenticular_printing

The effect seems to be very similar, but the Wikipedia page I linked doesn't describe itself as using the Moire effect.
> They were worth, literally, their weight in gold

That's correct. They do nothing, but when that nothing is actually done well, it shows.

Unfortunately, this is not common.
Author here for your obscure Pentium questions...
> employees simply doing what was best for them and bad for the company

No surprise there. If you can’t align incentives, then you are going to have trouble getting people to do what you want. Blaming the employees for a company failing is like blaming gravity for a building falling.
https://github.com/ai-robots-txt/ai.robots.txt
> What are the disincentives to doing so (beyond the need for requiring more from people)?

Working out how to motivate people whose individual impact now has near zero impact on the stock price.
The fact the current process isn’t perfect doesn’t change how I think things should work. Determining another person’s mental state is difficult and you’ll always run into problems.

On a whole, more people ultimately wish to live afterwards than those who want to die. So any system is going to err on the side of caution.

As I mentioned, there are situations in which a rational decision is easy to understand and verify. Our current system in the US does not allow for these cases.
You have to assume all publicly available data is used for training.

If you don’t want people using your images, consider data poisoning techniques to punish systems that train on them.

https://www.lakera.ai/blog/training-data-poisoning
https://www.technologyreview.com/2023/10/23/1082189/data-poi...
Show HN: Space Make - Download and Convert Twitter Spaces into Content with AI
The availability of `else` in `while`, `for`, and `try` is an interesting feature of Elvish.

https://elv.sh/ref/language.html#while
It's a bit off topic, but I've never understood while people hold Netflix as some engineering Holy Grail.

Their product is straightforward feature-wise, and pushing a low-teen megabits per second of static video data on the internet in a somewhat timely manner is not a huge technical challenge nowadays (or 10 years ago).

Doing stuff like real-time video streaming, where you have to encode and push video to users with very low latency requirements (like Google Stadia) or with moderately relaxed latency but broadcast to a lot of users, like Twitch, or having a mind-bogglingly huge library like Youtube, is probably orders of magnitude harder.

I do like their shows, and probably a lot of technical wizardry VFX goes into making them, but getting the bytes to the end user is not it.

I'm sure there's a lot of adversarial smarts there, where brilliant engineers come up with incredibly complex solutions to simple problems, and it requires even more brilliance to make things run smoothly, but I'm sure their problems could be solved with simple pragmatic engineering.
The only thing that should matter is if they are medically claiming the patient "poses an imminent threat to themselves or others", either they did the paperwork or they didn't.

And these aren't one of occurrences, these are systematic abuses in the same communities that would come up over and over again - which is presumably why police raided their facility in Georgia.

> More practically, I doubt they get unsupervised phone calls.

Most facilities have communal phones that are available throughout the day for short periods of time.
Berry. I hate tea with milk.
Phone access is typically restricted to a supervised call using the phone on the staff administrator's desk who can simply cut you off and glare at you with silent promises of retaliation if you don't say what they want you to say and what they agreed to let you say before they hand you the phone, all with their finger resting on the disconnect button the whole time.

Unless you are not making them money, then they get you out of there asap and make calls on your behalf all day to other places to shuffle you around to.
Brazilian minimum monthly salary is 1412 BRL which is about 251 USD.

That's around 17000 BRL per year which is around 3020 USD.

This fine is around three times the minimum yearly salary of brazilians. Per day.

For the crime of accessing wrong think.
Engineered blood cells successfully transfused between species
Insurance executives' pay is limited by a pool of money that is calculated as a % of total expenses. If expenses are higher due to this sort of fraud, have an incentive to ignore it to keep that pool of money available for compensation as large as possible.
I suppose I never learnt Calculus in it's Essence, that is, trying to answer The questions that brought us Calculus in The first place.

So take this answer with that mind.

My opinion is for You to read artificial intelligence a modern approach fourth edition by Peter norvig and Stuart Russell (it incluyes chapters by Ian Goodfellow and Judea Pearl).

The moment You encounter symbols You don't understand What they are saying You can Start diggi g on the topics explaining those symbolic forms, at some point You may find youtself revisiting Algebra.

But if I have to recommend a book on Calculus that would be Calculus Made easy by Silvanus P. Thompson (which I havent finished).
This is more or less how airport glide slope indicators work.
Buenzli/Demodays OHP (overhead projetor) competition has many of those

https://www.youtube.com/watch?v=6G5rTavyx7A

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

https://www.youtube.com/watch?v=LCIsIfEOEI8
>much as they're instances of people being punished for stealing money from the wealthy.

Don't most instances of corporate malfeasance result in "stealing money from the wealthy"? If you do a bad, try to cover it up, and then try to raise money from investors, that's basically stealing money from them.
I think banning any network that allows citizens to air their views, whatever they may be, is very dangerous. Free speech that is free of control is essential.

I also think that anyone, especially someone prone to childish tantrums like Musk, having unquestionable control of a major network on which citizens can air their views, is also very dangerous. Free speech that is free of control is essential.
Sure, but that’s assuming the technology on a Tesla Model 3 actually is capable of safely self driving. Today, Waymo is the clear winner, and the equipment costs a lot more than a Tesla.

I know Elon/Tesla can be a charged topic, but teslas don’t self drive today. It might be true, but I don’t think we can assume they’re capable with just a software update based on the info we have today.
It's easy. They all happen to live in SF and be working on a YC start-up...

/s
Assume a 5-year lifespan (probably longer) with no issues.. (450+322)/(12*5) that's a grand total of 30 pounds a month for storage. Considering the average consumer doesn't use more than 1TB, it's still cheaper at 10 / month and requires zero technical knowledge or skill.
This doesn't seem any different from the reintroduction of horses to the Americas. Humans get along with similarly massive pachyderms now. This isn't like bringing a brachiosaurus back where there's no realistic way for them to live in the current biosphere.

The risk to elephants in using them for this is a real concern though.
Both. Some farmers, for example, have bulldozed some berms on the edges of their property to keep the water in for a bit and let it sink into the ground.

When I lived in Arizona long ago, many homes would add a small berm around their property for the same purpose.

Terracing of slopes can also be done.

But on a larger scale, it'd have to be the government.
> What? You have to understand a language to write performant code in it. That’s not a hack, that’s basic competence.

The poster is not referring to understanding the language, he/she is referring to having to guess at how to structure the query in a way that increases the chances that a good plan is within the constrained search space of plans (due to it being a combinatorial problem and the optimizer has limited time and information).
I think it's a world of difference bringing back a species for which we have actual DNA, instead of creating a "wooly-mammoth-like" creature via guesswork. I'm not opposed to the effort, if privately funded, just weird to consider the pointlessness of it in my eyes.
I wish some formal standard for this would catch on, like a `META` HTTP request type or something. We try to pull in link metadata sometimes and get a Cloudflare captcha instead.
If you're referring to the minimum medical loss ratio provisions in the ACA, most insurance companies are above the minimum, which means any marginal fraud reduction is pure profit for them.
The Angry East (of Germany)
Your Audiobook
Another way of stating it: now that worthless text and images can be made to be worth money people no longer want to have public websites and are trying to change the longstanding culture of an open remixable web to fit their new paranoia over not getting their cut.

I welcome all useragents and have been delighted to see openai, anthropic, microsoft, and other AI related crawlers mirroring my public website(s). Just the same as when I see googlebot or bingbot or firefox using humans. For information that I don't want to be public I simply don't put it on public websites.
I thought that one was unable to handle domains without a protocol, which makes it pretty much useless for normal business cases. I’ve never met a single non-technical person that understood what that https was, why they should add it, or didn’t get immeasurably bored if you tried to explain it…
You come across as biased and angry, which makes your statements unconvincing. In what universe 375g device is easier to hold (with 1 hand) than 215g I have no idea, esp. keeping in mind that kobo has buttons for easy scrolling with one hand.

You also miss the point, that limited functionality of readers is feature not bug. It massively reduces impulse to start browsing youtube etc.

All together, price, weight, battery time and limited functionality is what makes the whole proposition attractive. I personaly do not need yet another androd tab even for free.
If you mean at extreme risk of carrying through with a plan, that seems fairly accurate in my experience. I had a number of safety plans I’d use to remove myself from the means I’d use until I could get back to passively suicidal instead of actively suicidal.
Honestly, this sounds like the sound bites I’ve seen on social media.

Getting married is definitely not expensive. In Ohio it costs $30-$70. And you can have an affordable reception.

If you’re talking about a reception you can’t afford - sure. But that’s your own decision. And if that’s your reason to not get married then that I can see how that line of thinking extends to “I can’t afford to buy a house”.

I have 4 kids. They aren’t free but they are totally affordable. I’m really not sure what you are saying - the vast majority of 35+ year olds DO have kids and afford it.
George Hotz calls this "the button" on his last Lex podcast.
<https://youtube.com/watch?v=dNrTrx42DGQ&t=5247>

"This is Mark Zuckerberg reading that Paul Graham asking and being like, I’m going to show everyone how alive we are. I’m going to change the name [from Facebook to Meta]. Does Sundar Pichai have the authority to turn off google.com tomorrow? They have the technical power, but do they have the authority? Let’s say Sundar Pichai made this his sole mission. He came into Google tomorrow and said, 'I’m going to shut google.com down.' I don’t think you keep this position too long. Now, does Mark Zuckerberg have that button for facebook.com? I think he does. And this is exactly what I mean and why I bet on him so much more than I bet on Google."
These tools don't actually work[0], by the way.

[0] https://arxiv.org/abs/2406.12027
Use private AWS Aurora with DBeaver using SSH tunneling
Having worked at a school in China in which a large number of the students were there because their nonlocal hukou didn't entitle them to attend local public schools, it's pretty surreal to see someone claiming that the hukou controls where people are allowed to live. How are you imagining that happens?
Further into the article, there's a section dedicated to the main objections ("Unintended consequences").

> For one, de-extinct animals may be sickly, given that the pool of available DNA for each species is relatively small.

> It's also worth considering who would be liable if large-scale mammoth reintroductions went wrong.

> Reintroductions can lead to clashes between humans and wildlife.

> The makeup of the reintroduced population matters too

> There's also no guarantee that animals will stay where we release them

I have the impression that while each single point may be unlikely, there are (too) many unknowns in the project.

In addition to the biological objections, there are the ideological ones, primarily:

> Instead of using that money to bring back three extinct species whose ecological impact is unknown, the funds could be put toward saving roughly 100 species that are currently facing an uncertain future

I agree that this is ultimately purely driven by profit:

> "If they're successful — and I have no doubt that they will be — they're going to make a ton of money," he said.
naively, i'd wonder if the time properties of black holes could be used to effect local super-massive gravitational effects on entangled particles here.

e.g. they figured out how to entangle the electron and proton of a hydrogen atom with a complementary particle that is being pulled into a black hole, like if there were a way to entangle or entrain a local atom with hawking radiation from a black hole, where as the effect of entanglement, the local atom adopted the dialated time/gravity of its remote counterpart in the black hole. the effect would be that states of matter which only existed on the ephemeral femtosecond scale here would be stabilizied for longer time periods because its "clock" had been slowed down by its adopted clock entanglement via hawking radiation in a kind of black-hole-time.

maybe better for a movie script or fiction, but people who think of these things reason them through logically before doing the math as well.