skysight-inc/HackerNews huggingface dataset:
I've written a multithreading runtime from the ground up in Nim.[1]

And yes, writing that taught me that current programming languages are not sufficiently equipped to deal with concurrency bugs, including Rust. The bugs that I had where of the dining philosophers kind (deadlocks or livelocks when trying to put a thread to sleep for example or resolving data dependencies between multiple threads), some were due to a bug in glibc where only formal verification allowed me to ensure that I was doing the correct thing and it was the lower-level layers that was incorrect.[2]

Similarly, state machine formal verification to prevent design bugs is something that hardware engineers are deeply aware of but would also be extremely useful to ensure "correct-by-construction" event driven code in software engineering.

In comparison, we have many more tools to address memory bugs (Address Sanitizer, Valgrind and fuzzers in particular) but synchronization and communicating state machine bugs are still impractically addressed at the moment. This is something I'd really want Nim to explore and I'm really excited about the Z3 integration[3] to enable new formally verified use-cases[4].

Unfortunately, when I express concerns about those bugs to people from the Rust community, they tend to dismiss those as if the borrow checker was the panacea to all multithreading problems.

[1]: https://github.com/mratsim/weave

[2]: https://github.com/mratsim/weave/issues/56

[3]: https://nim-lang.org/docs/drnim.html

[4]: https://github.com/nim-lang/RFCs/issues/222
> University is a place where teachers and students who are interested in a field meet to learn and research together.

It would be nice to have places like this open to the general public and not gated off like universities are. There are a lot of people who become interested in these things after university, people who didn't attend university that are interested in them, who were interested and involved in these things while they were in university but then drifted away from them, etc.

It seems like we'd be better off trying to encourage the public at large to continually improve (and also connect more with their community and improve civil society) than acting like all of this should only exist in a 4 year window that many people aren't even a part of.
I have no opinion about what is the most likely scenario, but:

Using really far-fetched nazi symbols in campaigns seems like a smart move if you want maximum attention and for your opponents to call it out, and then most people going: "?? whats nazi about a triange??".
Why would they want to shift people to ARM based instances if they weren't more efficient?
I too dislike hyper aggressive militarized police who act above the law. But anyone who makes facile generalizations about entire groups of people is merely mirroring the problem, not helping it.

Edit: "populations" -> "groups of people"
Beautifully put.

I wrote a little about this on my website [here](http://ankit.fyi/about). You might enjoy this passage in particular related to your idea that you cannot prove:

> I think misunderstanding as an epidemic is rooted in how we’ve learned to consume information and how we haven’t learned how to digest it. This is one of the reasons I’m excited about the Internet, social media culture, and how we choose to express ourselves and connect with one another.

> I also think the best way to consume and digest information is through real human interaction. Even better if it’s with a non-judgmental lens of curiosity in understanding why people are the way they are, but it’s still pretty great when it’s just shooting shit about a common interest or sharing an experience.

> I have a dream that one day, Internet interactions will fuel more human interactions. That our default behavior will be to use this amazing access to information that we have to learn more, connect dots in constructive ways, understand others more deeply, and maybe even to grow more open minded to who each of us can become.

> Right now, though, the Internet feels like a place where people are throwing food at each other and taking shits on the sidewalk. I think we can do better.
Loved the essay. You captured a lot of specific sentiments and emotional instances that I was pleasantly surprised to read because I related to them so deeply. Thanks so much for the piece!
The article links to this "FEDERAL RESERVE statistical release": https://www.federalreserve.gov/releases/h41/current/

I would expect investors and analysis firms pay attention to these reports. For civic-minded hackers, there may be an opportunity to contextualize these reports to a broader audience.

Some context about me: I used to work for the Sunlight Labs (part of the Sunlight Foundation in Washington, DC) that advocated for financial transparency. At the time, Sunlight had considerable bipartisan support. To the extent I can, I would be happy to connect interested people to organizations that have interest in investigative journalism around such financial statements.
A64fx have on board HMB -> that means no dram. If you look at the fugaku mother board their is no Dimm slots. All the memory is on the same package as the CPU.

This delivers a huge boost in bandwith.

HMB stand for high memory bandwidth. It offers up to 900 GB/s.

Now if you add the tofu interconnect on top you have a systems finely tuned for maximising data movement.

Remember : compute is cheap, communication is expensive.

You can have load of gpu and processors but if you can't feed them data fast enough they are useless.
To quote from the article:

>Smith: Every time the US shifts a little towards fascism or centralised control, somebody will send me a link to something from Deus Ex. It’s not that we were prescient – the sad part is that it’s on repeat through history.
So Apple makes a great product at a great price, and you still complain about their margins? What’s it matter what the margins are if it’s competitive with alternatives?

It’s always kind of strange to me to see all the people who criticize Apple’s profits. Look at the profit margins of other major tech companies, and you’ll find they make similarly large margins.
You say that like you just live with a stomach ulcer?

They can be fixed in almost all cases with diet and antibiotics.
Autoimmune diseases: we discovered how to turn white blood cells
I don’t know if any real rockets were built, but according to this old video we’d see a reduction of weight due to the absence of heavy chemical fuel.

https://youtu.be/eDNX65d-FBY
The site of the organisation responsible for assessing the fastest computers in the world succumbs to the hacker news hug of death.
Confusion Matrix is not so confusing
> Outlawing concurrent shared state means that every communication between two threads needs to be formatted as a "message" in whatever abstraction is in use.

> It's a real requirement, and Rust has little to say about it in its standard library

So, I don't know much about concurrency, but you're looking for like, a Mutex, right? They're in the standard library and used all the time.

https://doc.rust-lang.org/stable/std/sync/struct.Mutex.html

And RwLock, a variant on Mutex that allows either one writer or multiple concurrent readers:

https://doc.rust-lang.org/stable/std/sync/struct.RwLock.html
Rest assured, I'm doing everything in my power to hold on to what I have, despite the efforts of those that want something for nothing to take it from me.
It literally can't be a schedule I drug. Schedule I implies that there is no valid medical use. Diabetics would disagree. Glucose is a critical tool in managing their blood sugar. Perhaps you could make the case for sucrose itself, but some kind of sugar must be available.
> Looking at the repository, the impression I get is that this codebase had a web interface grafted onto it relatively recently. Most of the code looks like it was written with the expectation that it'd be used over a line-mode interface.

yes, if you know the history of muds, and diku specifically, you would know that, but where those changes were made it could more easily have been changed to respond either as text, and styled in the browser without adding all of the html elements, or as json. it was a very weird decision to be made given its history and the new goals of the project.
Well, there does exist this standard by the Specialty Coffee Association specifically intended as a reference for testing: https://sca.coffee/research/coffee-standards

It suggests that the 'cupping vessel' be "between 7 and 9 fluid ounces (207 ml to 266 ml), with a top diameter of between 3 and 3.5 inches (76 - 89 mm)"
You can't cater to everyone, especially if what you serve is dependant on exiting skills, knowledge or levels of understanding. One would maybe argue that a university might fix that by making dumbed down versions of things or adding extra pre-learning options but at that point it just becomes a supermarket. If you try to cover everything and everyone you just end up being mediocre which is not the point of a university.
He doesn't have an email address listed anywhere, and his page says he stopped dev'ing in 2007.
One of the big 5 was banned from Uk government work for decades over the Delorean Scandal.
That's pretty cool! That probably means that applications will have an easier time. Looks like it has 512-bit SIMD.

I wonder what BLAS they are using, and if the contributions are open sourced.
Agreed, but my point is that if I spin up a new container with something in it, I want to be able to have DNS registration occur automatically so that I’m not having to go update DNS entries somewhere.
CI/CD for production machine learning
It was a trick, because Trump DID send the FBI in on the 2nd day, before the violent protests started. So people in power did pay attention and did care before the violence started.
Yea, last I looked at it, Apples average Mac sakes price was $1300, HP/Dell/et al were under $500.

Apple owns the premium PC market, it’s Mac division is not only the most profitable PC company in the world, it might be more profitable than all the others combined.

It’s share of Intels most expensive desktop CPUs is much higher than its raw market share.
You can learn from free @ https://lyty.dev/css/index.html
There are some benefits of coffee that don't really fit with this hypothesis, though. Like how it decreases risk of kidney stone formation, despite containing chemicals that can increase urinary calcium excretion.
> [it will] make it easier to express complex human problems/domains into code

What is "pseudo-intellectual" about that answer?

> i'm sooo curious to study all of this and see for myself

Good thing SICP is available online, and there are even recorded classes of it with two legendary professors available online somewhere.

> life's too short and I'm already spending so much time in front of a PC

Yet, here we are.
And ion thrusters still need "fuel" usually in the form of xeon.

Okay it's not normal "fuel" but you still have a limited supply that can be exhausted.

EDIT: The word is "propellant"! Thanks for the correction!
I'm just an armchair space enthusiast, but both of those problems seem like they have possible workarounds or solutions. Using methane instead of hydrogen could significantly reduce the required tank volume since CH4 is denser, and you don't lose that much performance with it (based on Project Rho's table linked above). For shielding, if you put the fuel mass between the engine and the humans aboard, you should be able to get a decent amount for "free".
Very few of AWS's costs are in the hardware. Nearly all of Hetzner's costs are in the hardware. That's why AWS, and Azure, and GCP are so much more expensive.

Margin is a really weird statistic to calculate in the "cloud". Sure, you could just mortgage the cost of the silicon across N months and say "their margin is huge", but realistically AWS has far more complexity: the costs of the datacenter, the cost of being able to spin up one of these 32 core EPYC servers in any one of six availability zones within a region and get 0 cost terabit-scale networking between them, the cost of each of those availability zones not even being one building but being multiple near-located buildings, the cost of your instance storage not even being physically attached to the same hardware as your VM (can you imagine the complexity of this? that they have dedicated EBS machines and dedicated EC2 machines, and yet EBS still exhibits near-SSD like performance?), the cost of VPC and its tremedous capability to model basically any on-prem private network at "no cost" (but, there's always a cost); that's all what you're paying for when you pay for cores. Its the stuff that everyone uses, but its hard to quantify into just saying "jeeze an EPYC chip should be way cheaper than this"

And, again, if all you want is a 32 core EPYC server in your basement, then buy a 32 core EPYC server and put it in your basement. But, my suspicion is not that a 32 core EPYC server on AWS makes zero margin; its that, if the only service AWS ran was EC2, priced how it is today, they'd be making far less profit than when that calculation includes all of their managed services. EC2 is not the critical component of AWS's revenue model.
This [1] gave me an idea of how some police might see their role.

[1] http://mwkworks.com/onsheepwolvesandsheepdogs.html
> What's the "fruit juice problem"?

The fruit juice problem is that fruit juice is basically just sugar water but nobody in the general public seems to realize or care and medical associations continue to drop the ball. The American Academy of Pediatrics only recently started saying to not give children juice. The American Heart Association should be hammering that drum loudly when talking about sugar in drinks...but they don't.

> At the end of the day, it's a sugary beverage. Why shouldn't it be taxed in the same way as any other sweet drink.

Correct, it _should_ be taxed. But municipalities keep exempting it despite extremely high sugar content because people are brainwashed into thinking that fruit juice is healthful and magically forgetting all the sugar.
1. Laptop in lap and ass in comfy chair...the kind of chair that you would sit in to binge watch Netflix in your living room. It's just another screen. The ergonomics allow shifting my weight and adjusting my relationship to the screen and the angle of my hands to the keyboard. My favorite is an Ikea Poang chair with footstool.

2. Keyboard with Ctl and Alt on both sides of the space bar. Then I can use one hand for Ctl and/or Alt and the other hand to press a key.

3. Item 2 is an optimization for Emacs picked up from Xah Lee's ErgoEmacs...which means I try to use Emacs key bindings whenever practical.

4. Laptop has a touchpad. I don't use mice because that screws up two handed Ctl and Alt shortcuts. Pointing sticks are also good if you have a Thinkpad (and Thinkpads are the best because not only are their Ctl and Alt keys on both sides of the space bar, they are symmetrical (my Dell has an Fn key between Ctl and Alt on the left side of the space bar)).

5. Barring a laptop, I like the Microsoft Natural Ergonomic 4000 keyboard...again in my lap. But my Unicomp EnduraPro has symetrical keys, buckling springs, and a built in pointing stick which means I don't need a mouse and so it's even better.

6. One of the big things about putting a keyboard in my lap is it avoids pressure points where my wrist rests on the edge of the desk. This is the biggest source of discomfort for me going back more than twenty years. The first solution was a plastic folding table as a desk with a ~1" radiused edge back in the early 00's. But keyboard in lap is simply better and laptop in lap and ass in comfy chair is even better.

7. One of the big things for me is recognizing when I'm having discomfort early -- it's amazing what I am able to ignore if I try -- and adjusting my position slightly for the next few days. That took a long time to learn because I was trying to sit at a desk with a keyboard and mouse on the desk and that's fundamentally broken...which reminds me that standing desks have most of the same issues for me as sitting desks in terms of keyboard position and the display position is worse...again, for me.

8. When I notice pain I stretch my arms and wrist tendons. The arms by doing whatever feels like it's stretching, the wrist tendons by extending my arm palm down and pulling back and upward on the fingers with the other hand.

Being mostly self-employed for the past thirty years, I don't have the privilege of claiming RSI. Sometimes it just hurts and so I do what it takes to reduce the hurt and keep working. But that also means I can work in a comfy chair with a keyboard in my lap without a manager managing me for the sake of conformity.

Good luck.
Seems like the solution is to wait for the requests to complete, at least up to the point where a "slot" is reserved in the sequence order of a single actor.
Usually the ratio is 1:16 for full extraction without bitterness @200f with grain size slightly larger than refined sugar. That’s to maximize taste, without regard for nutrients. The bitter compounds probably make no difference.
In terms of assessing the value of one individual's data, shouldn't there be some consideration for the fact that it's worth nothing to that person on their own? I can't sell my data on the free market. It's a transaction over an object that has value in only one direction.
Three great things about Rust for data-intensive computation
How would climate change have been affected if we eliminated coal usage 2 decades ago?
This is sort of the US Dept. of Ag playbook though. They subsidize the hell out of unprofitable ventures. Look at milk for another example, when the USMCA was being negotiated, the US wanted milk tariffs eliminated but refused to quit selling at lower than production costs. [0]

[0] https://markets.businessinsider.com/news/stocks/american-dai...
I'm a fan of Postum. Interested in trying this mushroom coffee though I'm concerned about the footprint of where they get all of their ingredients.
> My understanding is that with the pretrained models, everything happens on the TPU.

Nope. Try running SSDMN on a laptop with the stick and on a pi, you will get different scores due to some layers running on the host CPU.
yyyeah... no.

A major part of what makes these machines special is their interconnect. Fujitsu is running a 6D torus interconnect with latencies well in the sub-usecond range. The special sauce is ability of cores to interact with each other with extreme bandwidth at extremely low latencies.
There's already a fork. Its called epub.
There are also things I learned in CS (BigO notation, building algorithms from scratch, working in groups) that I don't think I would have picked up easily on my own (or know that it was important to learn). But it's still theory I use all the time when I design and build things at scale.

There was a lot I didn't learn in University and that I picked up while working, because I kept my skills up.

I know people who graduated from University who only knew Java and never did anything outside of the curriculum. I know other students who played with hardware, hooked up sensors, did assignments in different languages each semester (if the professor allowed it) and went out of their way to learn as much as they could.

You get out of any education what you put into it.

I do think in-person education is really important though, even in things like Comp Sci. I do think it should be affordable. I went to a small school in a small town and IIRC, my tuition was <$3k per semester (not including books, food and housing of course). It was the early 2000s and I had roommates who worked grocery stores and print shops, and were able to either pay for school with those jobs or pay off their loans within a year or so.

During that same time, I met people from other schools with $20k in debt (and that's considered very low today!).

No education should cost $100k. That's truly insane.
I f you need to pay someone as a scapegoat because you break stuff and cannot revert it:

FreeBSD: https://www.xinuos.com

OpenBSD: https://www.openbsd.org/support.html

NetBSD: https://www.netbsd.org/gallery/consultants.html

Oh and load-balancer..Jupiter OS is based on FreeBSD, pfsense and Opnsense(HardenedBSD), Netflix, Cisco, Sophos, Stormshield and so on:

https://www.freebsd.org/doc/en_US.ISO8859-1/books/handbook/n...

PS: If you serve 34GB/s you should probably have your own 'top notch' TCP experts ;)
Personally, I think they are just overreacting to their excessive optimism about the prevalence of life in our solar system before any of the probe missions to Mars and Venus. If you read old astronomy books from that period they were full of speculation and hope that we would easily establish contact with other forms of life. They were burnt badly by the discovery that all other planets and moons in our solar system are much harsher environments than we initially expected and they received a lashing from the media after headlines full of starry eyed promises. It seems to be a similar effect to an AI winter where initial progress and optimism is met with challenges and limitations that turn fickle public opinion against the science, the researchers then internalize these beliefs or they become fringe pariahs. Thankfully some brave souls persevere and eventually prove the field isn't worthless after all.
This gist is that by controlling the size of the explosion you control the energy, and thus can keep it within a range that the materials you're using can handle. I realize that's a hand-wavy statement, but a lot of actual research has gone into this, and it seems like it should work without exotic materials.
I am French so there you go ^^

Creme de cassis is a strong liquor. It's quite expensive due to being alcohol (alcohol taxes and regulations) and generally being a luxury mixer at that.

It's never drinked alone. It is not drinkable, it's very strong and it has a thick consistency akin to a smoothie. (You could try a sip but you're definitely not going to down a glass of that).

Main use is a mixer for cocktails. The most common is "kir". Put a bit of creme de cassis at the bottom of the glass and fill the rest with a white wine. The fancy version is the "kir royale", using champagne in place of white wine.
Three arguments against Apple anti-trust accusations
> I don't know why we don't simply make those match up.

There are already so many units called the "cup".

If we do anything along those lines, perhaps we instead define a new unit, the 'mug', that is equal to exactly two US coffee cups (12 US ounces, 1.5 US cups, 1.44 UK cups, 2.4 lungos, 0.75 Starbuckses) of coffee.

Related: https://xkcd.com/927/
yeah, honestly i'm sort of worried about decade+ effects of coffee with intermittent fasting (read: coffee on very empty stomach). i am about 3 years in. i don't eat until the afternoon probably 85% of the time, but typically have 1 cup a few hours before that i eat any "real" calories.
Got the same message. Seems like people are more interested in paying for restrictions to others than restricting their own data intake.
This is pretty much the point Atwood was trying to make in the original novel version of the Handmaid's tale, which depicts a Christian ultra fundamentalist version of the Taliban's brand of Sharia law. Even though it was written a while before 1994/1996. Of course fictionalized for dramatic effect.
The fuel mass is already incorporated into Isp.

Hydrogen being less dense causes a problem (not solves one) because the fuel tanks need to be much larger for the same propellant mass, and thus you're adding a lot of structural mass.
Have you compared a raw bean to a roasted one?

They’re definitely burned!
Neat! Felt a little nostalgic seeing reading the title as it was a somewhat big emphasis as the "next thing to do" when I was part of the NGINX Amplify team.

In case you didn't know, the configuration parsing library we created for the NGINX Amplify agent is open source under Apache 2.0:

https://github.com/nginxinc/crossplane (credit to @aluttik who was the primary author)

It parses an NGINX configuration files into JSON and vice-versa.