skysight-inc/HackerNews huggingface dataset:
Lean mathlib may already have the proofs for many of these Stem Formulas (in LaTeX)? These formulas as SymPy would also be useful.

latex2sympy parses LaTeX and generates SymPy symbolic CAS Python code (w/ ANTLR) and is now merged in SymPy core but you must install ANTLR before because it's an optional dependency. Then, sympy.lambdify will compile a symbolic expression for use with TODO JAX, TensorFlow, PyTorch,.

"Ask HN: Did studying proof based math topics make you a better programmer?" Re: lean mathlib
https://news.ycombinator.com/item?id=36463580

[Mathematics in mathlib > A mathlib overview]( https://leanprover-community.github.io/mathlib-overview.html )

From https://news.ycombinator.com/item?id=36159017 :

> sympy.utilities.lambdify.lambdify() https://github.com/sympy/sympy/blob/a76b02fcd3a8b7f79b3a88df... :

>> """Convert a SymPy expression into a function that allows for fast numeric evaluation [with the CPython math module, mpmath, NumPy, SciPy, CuPy, JAX, TensorFlow, SymPy, numexpr,]*

From https://westurner.github.io/hnlog/#comment-19084622 :

> "latex2sympy parses LaTeX math expressions and converts it into the equivalent SymPy form" and is now merged into SymPy master and callable with sympy.parsing.latex.parse_latex(). It requires antlr-python-runtime to be installed. https://github.com/augustt198/latex2sympy https://github.com/sympy/sympy/pull/13706

ENH: 'generate a Jupyter notebook' (nbformat .ipynb JSON) function from this stem formula

ENH: Store/export Stem formula attributes as JSON-LD Linked Data and/or RDFa (RDF in HTML Attributes) .

JSON-LD Playground has examples of JSON-LD, as does https://schema.org/CreativeWork : https://json-ld.org/playground/
If it were merely a matter of harmonizing our behavior with the environment so we could continue along in steady-state, that would be fine.

Unfortunately there's this concept also from control theory called overshoot, that we are almost certainly past the threshold for, by a lot... although how much depends on what near-future technologies become available to reduce the gap between where we are and the Earth's carrying capacity.
I mean, it's completely different, so it has none of the same problems. It might have different problems of course.

Ironically FoundationDB is a key-value store internally, but you don't get access to that.
Not just that. Engineers get pigeonholed into tech stacks as well. It's almost as if companies (recruiters, really) think a senior engineer can't learn another programming language or something. They come at you with "we're looking for someone with strong golang experience," when there's no way to get "strong golang experience" without working someplace that uses it.
https://en.wikipedia.org/wiki/Malthusianism

There are two issues: (1) growth rate isn't constant, it peaked 60 years ago (2) resources are not "fixed" when technology is taken into account, which is why estimating peak oil has been so difficult.
I don't think anyone believes that he designed the rockets and cars himself, but by creating and managing these companies, he is directly responsible for the technological advancements that have occurred.

A lot of people are assholes that get written about here, but I don't see this level of hatred for many people other than Elon Musk.
There is no such thing as running a relay in freenet. Every user is the same as every other. The size and traffic of your node is literally a setting on the gui. All traffic and data are encrypted so you have no idea what's living on your node and what's coming in and out. That's the whole point of freenet.
Even if you believe that, Andrew Tate isn't a dissident, nor does he have any claims to journalistic protections. At best he's a deep-fried Tom Leykis and at worst he's a human trafficker.
Wasn't this the cyberbunker? It sure sounds like them except for the location.
Antarctic sea ice levels dive in 'five-sigma event'
There is not a dichotomy between a post-Industrial Revolution society and living in the woods.
Not an expert, but from what I understand looking at the paper, the sun is what drives ocean mixing. Without ocean mixing, this method would eventually fully extract all the water out of the ocean water resulting in fresh water oceans on top of a floor of precipitated salt. Once that happened, the osmotic pressure would be exhausted and the system would stop working.
Octobot: A Soft, Autonomous Robot (2016)
We need to figure out how to make cell phones out of the refuse salt / salty sludge.

We’d find new ways to desalinate in a week!
True. The online articles all note that he was a peer and friend from the Mod days. And being able to "get along" counts.

OTOH the names you mentioned are arguably brilliant in their own right. I just don't see that spark in Moon's replacement.
The first sentence is literally and nearly tautologically true, because they are the employers of the industry. Characterizing it as "petty power games and greed" is bizarre, though. They want AI for the same reason you want a calculator instead of having to hire someone to do your arithmetic.

Businesses aren't here to fix society, they're here to make money. Giving them command is our mistake, not theirs.
The problem with religion is that people take it too seriously. No one would be killing in the name of God if everyone agreed "God" was just an anthropomorphization of a set of culturally and politically related social constructs. No one would seriously be claiming the world is 6000 years old because that's how the math in Genesis works out.

No "Holy Lands" being the crucible of a thousand years of bloodshed. World leaders claiming to be guided by prophecy and interpreting Revelations would be treated as lunatics. No anti-semitism or anti-gay prejudice (or probably a lot less,) one man writing sexist opinions in a letter wouldn't be treated as a God-given justification for centuries of violence against women.
I've long referred to the lottery as an Innumeracy Tax.

More to your point, the New York lottery long had a marketing line:

"All you need is a dollar and a dream."

My friend's riposte was: "We'll keep the dollar and you can keep the dream"
Debian with Guix for packages I want the latest releases of.
The site itself is apparently hosted in Netherlands. -_-

https://host.io/basehost.eu
This is amazing. One curious question: Why C? Why not standard C++?
> In fact, it’s entirely possible that we already did this to Venus in the long-forgotten past.

oh. ok.
There's an auto-reply system if you message outside of business hours, but if we're open, we reply directly and first.
I think it's the only choice because entropy exists. "Everyone should be retired" doesn't work when you need sewage workers, or even sewage robot maintenance workers.

That said, you don't have to work 120 hours a week just because you're employed, and hours worked has also been trending down over time.

> the average person isn't forced to compromise their values or submit themselves to abuse just to afford rent and food.

This is what happens without full employment; full employment means you don't have to do this because it's hard to hire new people (they're all already employed) so it's easy to change jobs.
f-droid.org
https://news.ycombinator.com/item?id=36836538
I dont think he actually meant to buy it.

I think he originally was making a 420 joke and the twitter people jumped at the opportunity to stick it to him.

I used to respect him but he kind of came off the rails about the time he did that interview smoking pot.
Using the same stereoscopic device, he also released with some other people another awesome book:

> Tableaux depicting life in hell, better known as Diableries, were all the rage in nineteenth century France but over the years the stereo images made after those clay tableaux were scattered and their hidden meaning lost. When first published in 2013, this book featured all but two of the 184 scenes in the series. Remarkably, the two lost remaining views have now been found! This 2018 Complete Edition features the full compliment, to be enjoyed just as their creators intended in magnificent 3-D.

https://www.diableries.co.uk/about-the-book/
It at least gives you an idea of where might be fruitful to begin your investigation...
This is bizarre, especially this bit:

"Crop milk is a holocrine secretion, unlike in mammals where milk is an exocrine secretion."

In which Holocrine secretions are "[..] produced in the cytoplasm of the cell and released by the rupture of the plasma membrane, which destroys the cell and results in the secretion of the product into the lumen."[1]

[1] https://en.wikipedia.org/wiki/Holocrine
That's likely the starting place for the investigation, not the end.
Windows 11.
Great job, thanks! Do you have any early impressions on the relative quality/performance of small lama-2 models vs the small gpt-2 models?
Where's that guy advocating for the desalination plants in Phoenix now?
How about classic video games then?
Why you should learn Physics [video]
something like:

Not Observing Normal Community Exercise
Guess the old chestnut about talent being everywhere but not opportunity is true
That project already exists https://github.com/ggerganov/llama.cpp
Right to the spot, thanks for sharing this! I've always thought that having a decision log of justifying design/implementation choices which are somehow surprising would be healthy thing to do.
Explore Some Core Ingredients of Topological Quantum Computing with Qiskit
Indeed. We agree. People shouldn't do that :)
I think you wife is wrong for the right reason. Her observation is astute, but is essentially the same observation that network effects impact all programming languages. E.g. there are more JS libraries so people are more likely to use JS, etc.

But, ultimately, new products, programming languages included, succeed because they satisfy needs not serviced by the existing incumbents. And I don’t see that changing.
Telsa's proposed, future v4 standard is still only capable of 250kW and meanwhile CCS stations have been deployed for years now that can do 400kW, with 700kW chargers being demonstrated.

It's an outdated, proprietary standard in both form and function, even if Tesla claims it's a public standard; they exert total business control over the plug and their charger network. There's no way they'll allow a random car to plug into a supercharger ('safety' and such), no way they'll allow any other payment methods on their network. There's no way they'll support configuring your Tesla to work with third party NACS chargers and payment systems.

The only chargers that exist with NACS connectors are in one country and controlled by Tesla. The only cars with NACS plugs are (at the moment) Teslas and the only proposed additional users are companies that have signed agreements with Tesla.

This is why it's so infuriating that Ford, GM, and Tesla did what they did. They just effectively killed CCS, and thus dealt a major blow to EV adoption in the US for the sake of a market share grab. 800v architecture meant EVs finally could lay claim to being practical for long distance charging. Plug in at a rest stop, everyone hits the bathrooms, maybe a snack, stretch their legs, and the car is nearly full again. A lot of errands and such fit into the 18-20 minute window a nearly-full-charge takes. "NACS" can't offer anywhere near a 18 minute 10-to-80 charge.

The US version of CCS is far from perfect; the weight of the cable causes connection issues due to the poor mechanical design of the socket, and we never should have had a unique CCS connector from Europe to begin with. But Tesla's "North American Charging Standard" is outdated and their supercharger network in addition to being outdated has been woefully underfunded and undersized for a while; with Ford and Chevy piling onto the network, that's going to get even worse.

What's even more infuriating is that in Europe, there is no such thing as "Superchargers", because the EU forced Tesla to use CCS2. And meanwhile, congress hasn't even noticed that Tesla just effectively captured the US EV charging market.

Ask yourself this: what could possibly go wrong giving the world's richest man - an unhinged narcissist to boot - exclusive control over how electric vehicles are charged in the US?
Most institutions in the US will accept a homeschool transcript. How much they will value that transcript is another question.
> Highly successful multicultural countries appear to be an exception, rather than a norm.

Them why is this "ideal" of multiculturalism so heavily pushed in media and government action?

I personally speak four languages conversationally and from my familiarity, I cannot imagine even these similar cultures agreeing on enough basic values to form a stable society. How could dozens of cultures with different values and worldviews ever form a body of law that respects each tribe's values, customs, and interests?
NFT of Jack Dorsey's First Tweet Cost $2.9M, Now Auctioning for $2k
Or you could use a cloud providers free tier, but then you have to give up your credit card info and name for “verification”
This bloke on huggingface documents the memory requirements for his quantized versions of popular models: https://huggingface.co/TheBloke

Tl;Dr, Max ram needed depends on quant method, rough ranges are:

7B models are in the 4-8GB range

13B models 8-15GB

30B models 13-33GB

70B models 31-75GB
https://twitter.com/fablesimulation/status/16813529041528504...
ldd arbitrary code execution (2009)
Having spent some time there myself, I agree with this. The corruption is more than we expect in the US, but not on this level and getting better all the time.
Why is simply asking permission controversial?

If the implication is that what you’re doing would be rejected by 99,9% of users if they were asked, then you should reconsider either what you’re doing, or how you’re presenting it to them.

Opt-in can boil down to a simple non defaulted choice during installation.
The things you didn't have time to do when you had to work full time.

You could travel, study a field deeply, read books in their original language, teach or mentor, etc.

You don't have anything you've always wished you could find more time to do properly?
> no way to stop them from holding out their hand

Same as for any other official: impeachment
And what happens when you have orthogonal traits ? You have to implement a matrix of all valid permutations ?

Sounds like "you should wear a straightjacket because you might fall down when running with scissors" kind of a solution.
This just in: flawed model discovers flaws in model!
Tier 1 agents don't get to make decisions. They have scripts, on flow charts and they get fired if they deviate from the script.

Dealing with a human whose job is to function as a bot is worse than just dealing with a bot.
If you are good with that you can help the guys upgrade their tools: https://kosix.net/ the ISP's there are new to the business.
Void linux: very simple and easy to use, fast boot, runit instead of systemd, user packages (via xbps-src)... it's simply a joy to use.
Qubes OS, which runs Debian and Fedora in VMs.
You seem level-headed unlike GP with his extreme views on email capture forms.

“Spam contact harvesting pollution for everyone else”

“The only person that benefits from a waiting list is the owner”

“Destructive pollution for the community”

“Antisocial act”

“Selfish community harm”

It’s a fucking email capture form.
Sounds wonderful. If only we had a society that was explicitly concerned with the welfare of individuals who weren't criminals, selected children, or the victims of natural disasters, everybody's lives would instantly become significantly better.
It's bold but also a sad truth (or close to it). We're mostly the lucky ones here on this site but we're a minority.

I'd personally consider dictatorships but also countries with heavy corruption and anti-free speech, and anti-lgbt laws shithole countries. Others may have other definitions of course. But I'm glad to live where I live.
It's very hard to see how RIPE could not revoke them. They might not have much of a process, but that doesn't mean they couldn't invent one.

And if the argument is that you could undertake legal action to get them not to do that well... given you've essentially just argued you are not subject to the law due to the status of Kosovo's government and you'd likely be defending actions that are illegal in any other state best of luck with that.
Please Stop Asking Chatbots for Love Advice
Both of my sons were homeschooled from third grade on. One graduated from the University of Missouri. The other from Roosevelt in Chicago.
> These jobs are not dehumanizing because of management. They are simply dehumanizing.

There’s obviously lots of different types of call center jobs, but I wouldn’t say they are all categorically dehumanizing. I worked as a support agent for a while in my early twenties, and the core of the work was not dehumanizing. But being poorly payed, clocked to the second and not being given adequate equipment or training to do the work well was. I can imagine a version of that job that I would have stuck with for longer.
>Speaking of "maps at our fingertips," good luck finding one that doesn't result in a record of the lookup and any GPS data submitted with it being inserted into a half-dozen databases, all freely accessible by the government, or by anybody buying in bulk.

Et voila! Maps at your fingertips[0] with no logging/tracking. It's amazing what those ancient (ca. 1995) humans could do. Perhaps they had help from aliens -- as we couldn't possibly do any of that stuff by ourselves. /s

[0] https://wwp.randmcnally.com/product/rand-mcnally-road-atlas
Why even scale anything up?

If these peoples have been living and fighting and reproducing successfully for millennia, why do Europeans and Americans think it necessary to get group them into states and force them to form large-scale heterogeneous bodies of law? Does that just make it easier to remove the mineral wealth from the continent?
I did use a tweaked nanoGPT to pretrain a 12M model on TinyStories (2Gbytes produced by GPT4), and results are pretty amazing. I've adapted it a bit on Wikipedia then, and it looks like a solid bullshit generator, much smarter than any smoothed n-gram model, and significantly smaller. My bet small LLMs will be predominant in multiple areas. My next goal is to reduce 7B llama2 to 10-100M without making it much dumber.
> the court-room doesn't care

Not sure if you were aware, but nobody is in court right now.

>it's not pedantry unless it's a minor detail

It is minor though. The license allows almost everyone to use it, excluding literally like Apple and Google, and for a few other unenforceable use cases.

Everyone else is in the clear.
Learning takes time
> like storing at a low/high state of charge or high/low temperature performance are nowadays managed by the BMS

What a BMS can do, depends on what the underlying cell alows or doesn't.
All gambling except for poker is basic statistics. You are a few decades too late to trying to beat blackjack with computers. The advantages of card counting are negated anyway by multiple decks and shuffles before all the cards are dealt.
Ukraine has already retaken 50 percent of occupied territory, says US official
But that’s not compatible with Hyundais or Kias, which is what GP was talking about.
Spain was a fascist country until the 80s.... they have their own agenda, and not a role model of human rights. (i.e. Catalonia independence, where they put the elected leaders of the region in jail or exile just two years ago).
For an astrophysicist he certainly has some intriguing but unscientific theories about what makes the rockin' world go round.
I hope this supplants the v8 standard since trying to build v8 breaks every release, which makes plv8 no longer packaged with typical releases.
My kids were homeschooled and had no problems getting into good universities and community colleges with their homeschool transcript.
Does anyone remember early AWS networking?

- Flat! Yes, you shared with other AWS customers. Was great to make sure security was turned on (you could watch folks scanning internally at least that's my memory). This made it dirt simple, anything could connect with anything, even cross account.

- EC2 instances were the key items in the flat network (they switched to things like interfaces now which add lots of possible complexity - diagram is missing this).

- One private one public IP address (if desired). Simples.

The whole security story with all the layered possible permissions is crazy now. And the org->account model is clunky with a root account login. I think GCP get's this part better with its project model FWIW. That said, I don't discount what AWS provides.
Ah Toyota and its 10 year quest claiming that amazing next generation batteries are just around the corner and that they make their EV best in class from 1 day to another.
People innovate because the want to, not because they can use that innovation to price gauge sick and dying people.

The only people you are protecting with this idea are the top 1% of the top 1%. We will always value medicine, but we don’t have to line the pockets of billionaires with our cash so they will bestow upon us cures from the ether.
The training is a much bigger deal than the equipment IMHO. The equipment is clearly important and an experienced goalie is going to prefer their specific equipment, but it wouldn't be hard to have a small pile of extra goalie equipment that would fit a range of players.

Not sure about NHL rules, but in youth hockey, you have to start with an equiped goalie, but you could continue without one, although it's not very advisable except in certain circumstances (which is why sometimes teams pull their goalie). In friendly leagues, you can put a 'shooter tutor' on the goal as a goalie replacement, but that doesn't fly in competitive leagues.
I'm just wondering if some of this could be automated scans (possibly by law enforcement?)
Almost. You would have to maintain your underwater base at 1atm and you would indeed get free freshwater. The catch is that the internal volume of your underwater base would decrease and you would eventually have to eject wastewater by pushing against the deep sea pressure. Nothing's free in physics!
It’s still a significant concern for C++, you just can’t get around it because of templates. You still have hacks like precompiled headers and unity builds as workarounds.
Users want to be able to use their existing identity providers. At a minimum it's a red flag for consumers if you don't give them the option to sign in with Google, etc. - and it's simply a deal breaker for many enterprise customers if you can't integrate with their IDP.

I wish implementing auth wasn't so complicated now, but the idea that we can just decide to make it so by doing it another way is a fantasy. That ship has sailed.
Opining that "everything should be simple" is a sign of having been in the management class for too long and not being in the weeds.
It's hard to judge what is true or not, especially if it's about a public figure and especially when said public figure seems to be making the most idiotic choices ever.

There are plenty of women pretending to be cool, even doing rape role play and then using recorder material to blackmail men.
He was obviously into BDSM stuff (he was being grilled for a video in which he was hitting a woman with a belt - the woman went on video to record it was consensual), so it would be incredibly easy to trap and blackmail.

Similar situation with human trafficking: the girls were always free to leave but they were getting paid for sex work. He was for sure a digital pimp (not sure if that's a crime).

Overall, I don't think Tate is an actual abuser: it would be incredibly stupid to go public with such a past; I'd bet he is just a self centered narcissist who likes to get into risky and dumb situations and thinks nothing bad will happen to him because he's God.
Also depends on the energy/materials needed to make and maintain that membrane, I guess.