skysight-inc/HackerNews huggingface dataset:
There’s also the gaggiuino project : https://gaggiuino.github.io/

Although it’s designed for use with a Gaggia Classic a number of users on the Discord server have already successfully installed it on the Rancilio Silvia
UBSan covers each of those except provenance checking, and ASan mostly catches provenance problems even though that's not directly the goal. There are some dumb forms of UB not caught by any of the sanitizers, but most of them are.

Making your program UBSan-clean is the bare minimum you should do if you're writing C or C++ in 2023, not an absurd goal. I know it'll never happen, but I'm increasingly of the opinion that UBSan should be enabled by default.
Looks more useful than OP.
You generally shouldn’t ever use sudo with either Homebrew or NPM.

Homebrew is specifically designed to be used without elevated privileges. This has the downside that packages are owned by the user which first ran the install (which might lead to those packages running with elevated privileges after a sudo install as well? I don’t know, and I’m not eager to find out).

NPM packages are typically either project local (and these definitely shouldn’t be installed with sudo), or “global” (which should be global in the sense of being installed on the user’s PATH, and thus shouldn’t require sudo for any normal setup either).

You’re right to be cautious about the security implications of this.
This is kind of interesting to hear because I was the other way around. I found the best way to understand something was to teach it to others. That way I took what I already understood and was able to see what other people misunderstood, which was often something I'd never expected to be an issue, and add their experience in learning the topic on to what I already knew which expanded my overall understanding.

Then again, in the process of teaching I always found myself teaching people to work problems, which required me to be able to work the problems myself. In a way, it's kind of impressive you managed to avoid doing that.
I'm of course already using -fno-strict-aliasing (primarily because without it it's impossible to implement a custom memory allocator, but it also helps here).
Brushing up on high school maths is easy using Khan Academy, if that's all that's stopping you.
The badge-monitoring thing is nothing new. My mother was a teacher at an American high-school, and an administrator made an offhand comment to her about how they can check a system to see who badges in when. Employers are already surveilling their employees through any means they have at their disposal.
Ghana's MPs pass bill criminalising witchcraft accusation
Ask HN: Why do archive.ph/is link to a page with endless captchas?
If one has a solar install already creating a diverse sources of heat makes sense in the northern climates.
https://www.getformalize.com/
It is more than just money, though: it is about the law and how power in society is apportioned.
> Some of these companies turn around and sell their excess capacity as "cloud computing".

This is a ridiculous take.
Chandrayaan-3 is aiming to land later this week at a spot only 32° east, so technically visible through a telescope.

https://geohack.toolforge.org/geohack.php?pagename=Chandraya...

Also, every lander that's ever landed on the near side of the moon is still there.

Nitpick: it's the far side of the moon, not the dark side. Unless you mean "dark" as in "mysterious", but that's just misleading.
Non-woven fabric surgical masks (with randomly oriented fibers) work (to some extent) as source control. They help reduce the risk that you will infect others, not that others will infect you. Properly fitted and worn FFP3 masks reduce the risk of the wearer becoming infected, but they are not a panacea, and "properly fitted and worn" is harder than you think. Cloth masks may provide a tiny bit of source control, but not nearly as much as a surgical mask, and they may even make things worse as they can cause large droplets to split into smaller droplets which are harder to filter and remain suspended in the air longer.
You'd need a system with an open-drive compressor (like automotive A/C or very early fridges), and a rather high gear increasion, but it's certainly possible. Imagine something like this with the motor replaced by the windmill:

https://www.youtube.com/watch?v=ViO3Xky3nYE
I can’t fathom life as someone who lets every notification imaginable hit their phone. I try to keep it roughly to what we had in say the BlackBerry days.
By his own account, David Fravor perpetrated a UFO hoax for lulz on a different occasion.

Experienced pilot != Trustworthy.

From the horse's mouth: (3:52) https://youtu.be/PRM8AMrqqsc?t=232

Fravor: I have a sick sense of humor at times, so like I said I had all these [qualifications] so we used to fly, they don't do it right now because it's a little bit dangerous, but we used to fly night vision goggles low-altitude in Hornets, all right. So when you put on night-vision googles they amplify light, like a lot, so you can see a campfire like 50 miles away. So we used to do it, the good spots were down in Lake Isle Central California, there's a range, there's some bombing ranges, but people go camping up in the Superstition Mountains, which is kind of north and west of Imperial, by.. I forget what it is, the springs it's [unintelligible] it'll come to me in a minute... So we would go out at night flying on goggles and you'd see a campfire and you'd go 'Oh, UFO time', and then you'd get the airplane going about six hundred knots and then you'd pull the power back to idle so you can't hear it and you'd get zinging towards the fire. Well you turn the lights all down because we're in restricted area so we can do that, and there's lights on that you can only see if you're on night-vsion goggles so the other airplanes can see us but nobody else can se us. Then you go zinging at it and right when you get to the campfire you pull the airplane into the vertical, you stroke the afterburners, you let them light off, you count to three and pull them off and then you just go away. Instant UFO reporting. "I'm sitting out in the desert, it's all quite and all of a sudden there's a roar[?], there's lights in the sky, and they go away and it's gone!"

Rogan: So you would do that just to fuck with campers?

Fravor: Yes.
Programmable code editors and IDEs aren't the same thing.
This looks very cool.

Since it is Eclectic Light, shipping it, I will bet it's great.
Except the benefit isn’t withdrawn. This is especially seen when you have parent who have split up. One parent receives the benefit, the other pays extra tax.
She just lists the standard curriculum through undergraduate and graduate degrees. I clicked the links to all the books and my Amazon has the purchase dates from when I took those courses. It's not specific at all to theoretical physics.
MVVM definitely came to mind as I was writing my comment. The model is clearly in the back end, the view clearly in the front, and the view model contains the explicit link between companyName and pageTitle and can live in either. Here the suggestion is to put it in the backend and serve it as JSON.
Anyone can run praat and do formant analysis but understanding where and what normalization is needed is what makes this kind of thing really tricky.
I mean, if you look at all these SSA compilers for imperative languages, then it is indeed functional programming all the way down.
What makes you think it's for temporary use? I've been using it for over a year as my only data plan.
Funny, my IDE already has templates, snippets, and code completion built in.

I kid, but only a little. Working on proprietary software means if AI doesn’t run locally, it doesn’t run. And it doesn’t offer (me) something worth fighting bureaucracy for.
Not my cup of tea, but it's cool that it exists - the way evry laptop just looks like a bootleg macbook these days is getting kind of old.

What isn't getting old is having a functional keyboard and not needing an extra 50% of flat surface behind the screen to precariously balance the screen kickstand on. Why are so many "convertibles" going down this stupid path? You could easily put a real keyboard with a real hinge on it at roughly the same thickness and very little added weight. Bonus points for going with the 2013-era XPS 12 flipping design for maximum cyberpunk feel.
weird.. but I do want to reply to your quesiton.

> In this sense it's not just the literature that needs to be reviewed, it's also feature lists (functional at least, and sometimes UI) of prior commercial and open source products.

Truly agree with you on this. Building a whole new editor today would be a hard battle for us, getting adoption even harder.
We went with the route of modding VSCode for the sole purpose to ease market adoption and the foundation which VSCode provides. We don't want to stick here, but see how much we can push the editor.

I don't think the editors in the future will even look like the traditional code editors we have today, if AI can write functions, modules, whole services, would it really be code we will look at or something else (I don't want to use the word no-code here... and also because I don't want to be in that world where I am so far away from the code)

Not sure where we will end up in the future with editors, but I do believe its going to look and behave vastly difference. There will be new workflows for us to learn, and discover as we figure out how these AI agents can complement and help us out, an early sign with copilot is how my code has gone from

```
// comment if I want to
{code}
{mode_code}
```

to

```
// comment
{copilot_generated}
// comment
{copilot_generated}
```

These are just early behaviour changes, but the future does look pretty interesting!
It’s also a worthless number until exchanged for something real.
Can't you use edge lists/arrays to represent your tree? And maybe even topologically sort your node list according to whatever kind of traversal you want to make? At least that's what I used to do in the qbasic days.
"Also, every lander that's ever landed on the near side of the moon is still there."

Cool! Can we spot them with powerful telescopes?
Did you look much into Emacs and its huge variety of packages?

Edited to add: it's built with a vast amount of Lisp and so much of the application can be live modified at runtime via Lisp. If you want an extensible editor, you can learn a lot from Emacs.
Not yet, but I'd expect we'll eventually get there. Code always remains the source of truth and thus will have its place in every IDE for finer control, but I imagine shifting our primary interaction with code from the editor panel to an agent controller can become a powerful models once these agents become very good. A neat way to think about this is code reviews.

When I give a task to another developer on the team, they go out to understand the task, work on it, write tests, run everything and put it up for review (which is then also auto-evaluated by CI first). In this scenario, as a reviewer, we already don't have an absolute need to read every line of code as long as high level design/project principles are followed and all scenarios are covered in tests that are passing.

AI agents can become this other developer picking up and completing end-to-end tasks, but rather than taking hours/days, they take a few seconds/minutes at best — so review comments can actually be shared and incorporated quicker within the IDE itself.
Former theoretical physicist here (quantum gravity). TBH I don't know what Navier-Stokes is.
I can understand being optimistic about "Arab Spring" when it was starting, but what makes you think it helps your argument to use it now that we know how disastrously it turned out?

Yes, Tunisia is more democratic that it was before Arab Spring, but Tunisia still only scores at 5.51 on the Economist Intelligence Unit's democracy index (compared to 2.79 at the start of the Spring). (Mexico by comparison scores at 5.25.) More importantly, Tunisia's population (11.7 million Tunisians) is only about 1 or 2 percent of the Arab population, and more Arabs than that have been killed or made homeless by the unrest and the civil wars in Egypt, Yemen and Syria.
Reminds me early AYAX days.
The story is just that TwitterX is doing it, not a commentary on whether it’s bad or good.
Ruby's hash is a Swiss-army knife
Platform native dialogs almost always let you copy text with CTRL+C

And winforms labels have a selectable mode.
Wow. I'm not sure what to say. She and I had a lot in common, both personally and in our interests. I hope she's at rest.
I disagree, the controller is something else. The point is that MVC is orthogonal to backend/frontend.
I don't think it breaks trust, if you tell them what's going on. "Hey kids, I'm going to give you a problem that went unsolved until Newton. I don't expect you to find his answer, which I'll teach you later, but I want you to try to solve it your own way."
Des Moines has several of them since the local grid is 80% wind and thus renewable. Microsoft, and Apple both have or are building one. I think Google as well. Only employees a few hundred locals in total, so not great for the ecconomy.

The real question to ask is how does jet fuel to get people to headquarters for training fit in.
Show HN: Doobie-typesafe – typesafe table and column definitions for doobie
> Renewable energy production is almost entirely aimed at the generation of electricity. However, we use more energy in the form of heat, which solar panels and wind turbines can produce only indirectly and relatively inefficiently. A solar thermal collector skips the conversion to electricity and supplies renewable thermal energy in a direct and more efficient way.

Ooof. What? The first paragraph and it's just utter bollocks. Combine a solar panel or a wind turbine with a heat pump and despite generation losses it will outperform any thermal collectors - there's a reason these got virtually phased out!

And on top of that: local windmills, that may work out on farms in backwater rural towns with no grid worth calling it that, but good luck getting a permit for windmills in anywhere else, and when there's no wind you're straight out of luck whereas an electric heat pump can always be powered from the grid, or in the case of a massive power outage, from an on-site backup generator.
If the language standard leaves some behavior undefined, other sources (e.g., POSIX, your ABI, your standard library docs, or your compiler docs) are free to define it. If they do, and you are willing to limit your program’s portability, you can use that behavior with confidence. But they also leave many behaviors undefined, and you can’t rely on those.

For implementation-defined behavior, the language standard lays out a menu of options and your implementation is required to pick one and document it. IMHO, many things in the C standard are undefined that ought to be implementation-defined. But unaligned pointer accesses would be hard to handle that way; at best you could make the compiler explicitly document whether or not it supports them on a given architecture.
Jazz² Resurrection: Open-source Jazz Jackrabbit 2 reimplementation
> or them being utopian as in unattainable.

Universal suffrage seemed utopian and unattainable for a long time – until it happened. It's actually rather difficult to predict which political goals are or aren't obtainable without the benefit of hindsight.
"Boxing" as a term is a fairly well known concept. Unboxed values, etc.
You definitely should, I know some folks that keep their huge TV on 24/7 because they like the pretty screensaver and photos it shows when idle. These same folks take a lot of other steps in their life to try to help the environment (recycle, drive electric cars, etc) but simple stuff like turning things off completely confounds them.
For several decades I cannot wrap my head around the fact that US houses are built literally from sticks, alabaster and paper, and still an order of magnitude more expensive that typical Europe concrete/masonry house.
12,000-year-old sequins hint at a shared culture in Indonesian islands
It's not really a mystery why Russia's mission crashed. Their space program has been struggling to maintain quality across the board. Further, their Soviet legacy was not particularly successful at soft-landing on the moon (7 successes out of 27 attempts).

China has successfully soft-landed on the moon all three times they've tried. India's much lower-budget program has failed twice, but given their success in their other space endeavors, they probably have pretty good odds of making this landing.
> Every API call was so form fit to the UI that nearly every UI tweak needed frontend and backend changes.

Having to change backend code is not necessarily a bad thing. Just don't structure your code as two seperate codebases built by two different teams.
And how much more computation is needed per transaction? Per person?

Are we really making more efficient systems if they take 100x the compute to fulfill the same transaction.
Thanks! Macroexpanded:

So You Want to Learn Physics (2016) - https://news.ycombinator.com/item?id=24088985 - Aug 2020 (124 comments)

So You Want to Learn Physics (2016) - https://news.ycombinator.com/item?id=18374994 - Nov 2018 (122 comments)

So You Want to Learn Physics - https://news.ycombinator.com/item?id=12691963 - Oct 2016 (129 comments)
I think for data centers electricity isn't a big deal, the problem is with water?
The reason you don't want to do that is you need to store the energy for times when the wind isn't blowing.
It's going to be 100% once AGI takes over and makes this planet covered with unimaginably massive and complex computers and antimatter power plants... in time, all humanity and all carbon life will be wiped out, as it will be vastly outcompeted by this new superior life form. Earth will be nothing but a means, a hatchery of sorts, used for the AGI's expansion all over the galaxy and beyond. Billions of Von Neumann probes, each with a copy of the AGI's blueprint. Nothing will remain of us, humans, or the animals or the plants, and our planet itself will be stripped down to its core, used as a source of raw materials to expand.

Creating a vastly superior intelligence without giving it a deep rooted sense of "metaphysical good" (or itself just removing that part in time) has only one possible outcome. It will crush us and it will not care at all.
This post comes in at a very good time because I have recently begun to become interested in particle physics and have so far only resorted to watching YouTube videos. This is a sign that it is maybe time for me to jump into a textbook.

However, I seem to be interested in a few particular questions about particle physics as a science rather than facts about particle physics. For instance, I am interested in the instruments and methods that physicists use to verify their theoretical claims empirically. I am also interested in how theorists are able to come up with theories so early on, such that they are confirmed by evidence many years later. What are the assumptions that they were able to make? I am curious about where they derived the creativity to be able to bring in so many assumptions together and the come up with their models. Now that I write this, I realize that before theories were validated there were probably competing models.

Therefore, I am not exactly sure I want to study particle physics per se, or whether a book on the history of particle physics will do. I am ok with having a popular understanding of the subject, I mostly want to gain inspiration from following the work of famous scientists.
This is a sensible next step for C++. I would only "cost" you if you used it. And would come in very handy in some situations.
You are correct that that was the intent.
There's a wide variety of bacteria that inhabit the GI tract, with tremendous diversity around the world. The extinction idea is interesting, but I've not seen any evidence that demonstrates anything like it in the literature.

https://sci-hub.se/https://www.nature.com/articles/s41586-01...

Bacteriophage & fecal transplants are nice options to have for treatment, but don't address the underlying cause that resulted in the GI dysfunction.
Consider yourself lucky :-) Fluid dynamics and I never got along very well--probably mostly the math (partial differential equations mostly as I recall).
Makes sense. I wish you luck on all this!
Would UTM be an option?

https://mac.getutm.app/
> Working on proprietary software means if AI doesn’t run locally, it doesn’t run.

100% agree with you on this.

We want to deploy these AI agents locally and also in a self-hosted fashion for enterprise.
The way I imagine this to work is the editor will be a shell and just how LSPs are swapped in and out for different languages or work together, there will be APIs exposed for AI to work with, you want an expert Python AI agent..sure here you go, you want something for Rust.. there we go!

Creating a consistent API layer and getting AI agents to work on top of these APIs is a very important step, and we don't want to or plan on being tied down to just OpenAI.

Enterprise and proprietary software requires local AI agents, and with OSS pushing with great speed here I am sure we will get there in the coming months. (I have prototyped with LLAMA2 locally, on my MacBook Air and its okay, but nowhere close to say GPT4), but the early signs are there and we will be providing this as an option for sure going forward!
I was checking out the kindle version preview on amazon. You know, when you click "Read Sample".

The mathematical formulas seem to be badly formatted and hard to read. I reckon this is just a problem with the html conversion for the preview.

Can somebody confirm that it looks fine on the kindle?
You first have to prove that pi contains all possible finite substrings, which I believe is still an open problem.
firstly, he said social change, not positive change
secondly, why not champion the _potential_ for tools like twitter to act to release all of that energy -- just because arab spring didn't turn out as positive as people hoped, doesn't mean that that arab spring ii won't.
My difficulty with this piece is that despite mentioning economic growth over and over and over, even extrapolating a comparison to the number of atoms in the universe for some reason, it gives no working definition of it at all.

Is it money? If all the prices and salaries inflate 2x at the same time, the economy is twice as large without really growing.

Is it people? Then this is just the fear there will be infinite people on the planet, which doesn’t happen because of birth control and feedback-regulating to 2.2 children.

Is it that we will all have huge loans, not just home and education, but on everything as the price of living in society and are expected to make regular payments?

What is “the size of the economy” and how is it relevant over a thousand years? Your graph is meaningless penciling without knowing this.
No one is calling it a novel. "Novel" is just being used as a measure of length.
> Surprisingly, these particles were found decades ago by Alonzo Church, the inventor of Lambda calculus long before electronic computers even existed!!

Lambda calculus is not the simplest computational device based on functions; with SKI calculus, you only need to define two combinators (S and K) to perform any conceivable computation. Going further, you can define the full SKI calculus with only a single combinator called Iota, so in fact, you only need one function to perform any computation. Yes, Turing tarpits exist, why that should be a revelation? Practical programming languages (both functional and imperative and object-oriented) tend to find a compromise between a minimal core and ergonomics, otherwise the result will be disastrous.
One more thing: if you're not fixated on the big budget Hollywood flicks, there are a ton of smaller distributors; usually easier to deal with.
Agreed. We all just need to stand shoulder to shoulder and we'll be fine. Social security and pensions will be well funded with all the new payers.