skysight-inc/HackerNews huggingface dataset:
I love WASM - who doesn't? Maintaining a WASM target was included on HOC's current fundraise, and is essential to our JIT plans. I don't know much about typed assembly, but I guess it would enable optimizations that aren't possible without types, as well as increased safety - although I wonder if that's relevant, if the source language is already typed?

In general though, I think we should move away from procedural instructions towards "interactional" instructions. HVM's AST can be seen as an assembly language with high-level instructions like LAM-APP (lambda application) and FUN-CTR (pattern-matching), and that's possible precisely because beta reduction is O(1) on interaction nets. A hardware with HVM's interactional instructions could make let us break out of the Von Neumann bottleneck and make processors much faster. Here is a table of HVM's core instructions:

.-----------------------------------------------------.
| Opcode | Effect | Cost |
|-----------|---------------------------------|-------|
| APP-LAM | applies a lambda | 2 |
| APP-SUP | applies a superposition | 4 |
| OP2-NUM | operates on a number | 2 |
| OP2-SUP | operates on a superposition | 4 |
| FUN-CTR | pattern-matches a constructor | 2 + M |
| FUN-SUP | pattern-matches a superposition | 2 + A |
| DUP-LAM | clones a lambda | 4 |
| DUP-NUM | clones a number | 2 |
| DUP-CTR | clones a constructor | 2 + A |
| DUP-SUP-0 | clones a superposition | 4 |
| DUP-SUP-1 | undoes a superposition | 2 |
| DUP-ERA | clones an erasure | 2 |
|-----------------------------------------------------|

I think BlueSpec is impressive and a good direction in the (arguably messy) hardware language domain. It is likely that we'll consider using it in our research and projects.
I'll have to check it out, haven't seen any of his work! I based my current system off of Cal Newports work. I basically intentionally designed and overly comprehensive and overly complicated system and paired it back until I had a good balance of inputs and outputs!
maybe failure in the connection or controller. But most likely the external disk was using smr (shingled magnetic recording), which shouldn't be mixed with zfs. there are different types of smr and some zfs-issues with smr-disks have been fixed in the past. servethehome.com has a detailed article (benchmarks) why those two technologies should not be mixed.
The piece you're missing is that Starbucks didn't say "we offered this deal to the union and they rejected it." Instead they make vague statements about how things would work, if Starbucks was acting in good faith, which it's been clear they haven't. The NLRB has sanctioned them multiple times for acting in bad faith, including not negotiating. They can't blame the negotiation process for delays when they are the ones delaying the negotiation process.
While it would not be surprising if China had pass the US due to sheer population size differences alone, there is data that makes it a valid question as to whether that has actually happened or not. On an annual basis, “non-free” countries seem to overstate GDP growth, which has a compounding effect over the long-run, resulting in large gaps between stated and actual GDP.

https://www.economist.com/graphic-detail/2022/09/29/a-study-...
Blood test predicts tumors before they are even formed
A swapped genetic code prevents viral infections and gene transfer
Minecraft saves are (were? Idk anymore) just big folders with tons of files representing each chunk of the world. These would be a common thing a kid might want to back up to drive and could potentially be zillions of files.
Eventually, definitely, but less likely for this round.
I'm sorry, but what? You haven't cited anything that shows China cares about using TikTok as a means of influencing foreign countries? You're just spouting rhetoric that is made to fearmonger.

China bans western websites because they don't follow China's censorship requirements. Apple services exist in China, why isn't Apple a national security threat? They're the richest tech company on the planet, and based in the US.
One thing it could have been is the “brushing” scam

Creating fake orders to enable fake reviews for a product to be posted, boosting the product listing.

https://en.wikipedia.org/wiki/Brushing_(e-commerce)
Yes, just ask it to summarize the article and provide it with the link. I just did, here is the output:

------------------

"The article explores the job market for tech workers who have been laid off from their previous jobs due to the pandemic. Despite the high demand for tech talent, many of these workers have struggled to find new employment, and the article highlights several factors that may be contributing to this.

One of the main challenges is the way in which hiring managers are evaluating candidates. Many companies are now using AI-powered tools to screen resumes, which can lead to qualified candidates being overlooked. In addition, there may be biases in the hiring process that are preventing certain candidates from being considered.

Another issue is that many of the jobs that have been created in the tech industry during the pandemic are concentrated in certain geographic areas, such as the Bay Area and Seattle. This can make it difficult for workers who live in other parts of the country to find new employment.

The article also notes that many of the workers who have been laid off come from industries that have been hit particularly hard by the pandemic, such as hospitality and tourism. These workers may not have the same level of experience or technical skills as those who have been working in the tech industry for years, which can make it harder for them to find new roles.

Overall, the article suggests that while the demand for tech talent remains high, the job market is still challenging for many workers who have been laid off due to the pandemic. Companies and hiring managers may need to rethink their approach to hiring in order to ensure that qualified candidates are not being overlooked, and more support may be needed for workers who are transitioning to new careers in the tech industry."
Extreme corruption and energy problems leading to riots and concerns over civil war https://www.news.com.au/finance/economy/world-economy/stockp...
Funny you say this as their app is also pretty bad. Their image slider is one of the most poorly made features I’ve ever seen in an app - with it never being clear what a left swipe, a double tap, or a right swipe will do.
Came here to point this out, though not as pithily :D

Really, really bad mark on whoever is in charge of their web marketing. Images should never look that bad, not even in support, but definitely not in marketing.

edit: so this post is more useful, 4k res using Edge browser
> one designated "origin" remote

Git is not limited to a single remote. The default remote is called "origin" but there's nothing particularly special about it.
Such as? Besides of course not being able to find people that want to work on it.
But this is not artificial.

This is a result of the fact that some resources do not have infinite space to increase supply. Land is one of those resources.

No matter how much someone demands it, we cannot simply wish more land into existence in SF.

So while we can increase housing supply by optimizing the usage of that land (more houses per unit area), this has adverse consequences for the people already using it...
Complying with laws violates being a "common carrier"?
FYI you can adjust Venmo settings so your payments will be private by default.
Would be really nice if there was one central source for the current listing of registrars and whether they suck or not. Like wirecutter for registrars, evaluating based on privacy protection, dark patterns like this one, and security.
> I'll be frank, every article that presents BRICS as a real thing is propaganda

Huh? Its an actual organization with actual rules and actual institutions.

https://en.wikipedia.org/wiki/BRICS

Brazil's ex president Rousseff has been elected the president of the bank of that non-existing organization.

https://brazilian.report/liveblog/2023/03/24/dilma-rousseff-...

How does one get elected to be the president of the bank of something that is 'not real'...

> BRICS members don't even vote in each other's favor in the UN. Russia has received zero meaningful assistance from them during the war in Ukraine.

False. And even if true, that wouldnt change the existence of the actual organization, its rules, and the arrangements in between countries.

What happens in the UN is mostly PR. Brazil voted to condemn the war in Ukraine because the left-wing segment that Lula and his crowd belongs to condemns all wars, and yet it voted in favor of the Nord Stream investigation.

> India and China are enemies, they keep having border skirmishes. South Africa is a failed state and it has negligible influence on the world stage. Brazil is one of the reasons why the term "middle-income trap" was devised......It's entirely possible that in the future a real anti-western bloc will emerge. But it isn't BRICS

This feels like a lot of reality-denial. Or copium at best...
Ah, yes, the typical HN arrogance that the pee-ons must be protected from any thought or concept that doesn't support the poster's beliefs. It's important for Democracy for the voters to have only a restricted view of the world, lest they vote the wrong way, at which point, where would we be?
"The news media covers events related the US presence in Syria, but the ongoing fact just isn’t news."

I hard disagree - smuggling out oil in multiple large convoys by the US military from a region just after a significant natural disaster is most certainly news. But the US media will never cover something like this.
But I thought every man is part of the patriarchy and is given a free all-access pass to the old boys' club at birth.
“I’ll hire 5x as many people and work them twice as hard to be 10x more productive” is a disastrous mindset for managing software….
I'm very satisfied with porkbun. Haven't noticed any behaviour like that and really like their straight forward approach.
There is a dropdown menu just above the list of posts. "compact" mode will give you what you're looking for.
I've loved every article he's done so far. He only publishes about once a quarter and usually his articles are ~2 hours long. I've yet to be unimpressed.
It's a more difficult to use version of rss.
Countersteering is explained later in the article.
I’m somewhere between your last two states. I used to turn to Reddit frequently for results on topics I was unfamiliar with, since typically they have communities that are very passionate about nearly any imaginable topic. However, I hardly ever visit the site anymore.

The begging to install the app is intolerable. I don’t want their application. I don’t trust it. I have no interest in it. But that’s only half their problem. The other half is content - the comments are so low-quality, censored, unsubstantiated, and echo-chamber-y to the extent that it is not bearable or useful for discussion or knowledge acquisition.

Reddit will go down as having EEE’d forums and online communication as a whole. There are sufferingly few bastions online holding out from it.
I am definitely a ghost user of hacker news, but I had to comment on this. What a great app. Great work and thank you!
My 6-Year-Old Son Died. Then the Anti-Vaxxers Found Out
Well, the idea with embeddings is, indeed, that they are a representation of meaning, specifically a spatial representation of the meaning of words. The theory is that if two words are close together in "embedding space", their meaning is also close together.

The problem with that has always been that embeddings can be said to encode relative meaning, but not absolute meaning. That is, to understand the meaning of a word A with reference to a word B, you need to know the meaning of B. And the only entities that can do that -tell you what a word means - are humans. So a neural net may learn all the embeddings it likes, it's missing a foundation of meaning on which to base them.

To give an analogy, imagine trying to understand what a word means, in a language you don't know, given only a dictionary of that language. Every word in the dictionary is explained, except it's explained in a language you don't know. You can see that some words are explained in terms of other words, but that doesn't really help much because you don't know the meaning of the other words in the first place. It's lemmas all the way down.

Or suppose I gave you an encrypted string. You can learn the string by heart and repeat it as many times you like, but you won't know what it says until you can decrypt it. So maybe embeddings encode meaning, but where is it that they decode it?

The same goes with neural net weights. The problem with all those techniques -and, to be fair, with every other approach to AI so far- is that we're missing a foundational encoding of meaning that we can relate other representations to. Some people think we can get over this by training neural nets on real-world data, or make robots and let them experiment with the world etc, but I don't know that anyone has really shown that this works yet.

So, maybe neural nets can store understanding in their weights, but we don't know how to put it there, yet.
NYC fee limit exemptions for third-party food delivery services
Last time I viewed it, I believe it wasn't blurry. Perhaps to scale the traffic the images are now displayed in lower quality?

But I'm not sure anymore that it wasn't initially blurry... Perhaps I'm hallucinating, like large language models.

Current image displayed is https://www.cerebras.net/wp-content/uploads/2023/03/Scaling-... , will see if it changes.
Ah yes, organisational benchmarking. Is that the one where you tell your investment bank client that it’s not doing enough in mortgage-backed securities, just before the credit crisis hits?

Not that I’m bitter or anything (honestly), but for advisor and client alike it is surely the laziest form of strategy consulting
The best one for me was a photoshop of elderly lady casually handling a 300lb pack lithium server rack battery.
Do you have revenue? If not, how close to revenue are you?
This is awesome! Nice transparency!!!!
HN thinks asterisks mean you want to emphasise text (these days using italics) so you should in most cases escape them with a backslash.

Much of the C++ standard library (including for example std::array) is not available in freestanding C++. Should it be? Perhaps. But it isn't.

In contrast to Rust's conscious decision to provide core, alloc and std as separate layers, in the C++ there's a rather ad hoc process to decide what's freestanding.
Or the COVID lies, but most aren't willing to admit they got fooled again like they did with WMDs.
Reviews should be tied to a series of SKU numbers which should be tied to physical items in Amazon's warehouse (if using FBA)
right on! Sounds like you have a lot of the foundation for your infra setup, which is great
Impressive in its insidiousness, I would say. I still can't believe Debian bought into that (of course, while claiming it's only an option).
Yeah. The vast majority of parts on a bicycle are the individual links in a chain. Manufacturing these to sufficient tolerance is quite challenging.

Romans might have been able to do shaft-drive. Or Penny-farthings (direct pedal-wheel drive).
A parallel thought is that the first airplane is the product of bicycle mechanics and not railway or automotive mechanics.
As others pointed out, there are a lot of necessary technologies like rubber, bearings, lubricants, sprockets and chains that need to be developed, but there is also something very elegant about bicycles. If you start to mess around with a 70's era road bikes you get a sense of just how perfectly everything needs to fit together and how everything affects everything else. (You see it more clearly in older bikes because you need to deal with non-standard parts). I think I learned more about bicycles from the royal pain of a 1982 Peugeot than anything else. This is not to say that a car doesn't have similar complexity, but the use of chemical fuel and 4 wheels masks how the tunings fit together. With my current bike there is a serious difference when it is perfectly tuned.
The best way to use Reddit is via RSS pointing to old.Reddit.com.
For those interested, the important stuff can be found in the bill on these pages: 1, 10-22, 32, 36-46, 50-52.
> It is however a big mystery why EU and USA get along so well.

Not if you study their history.
I'm against a TikTok ban and here's why: if user-level data collection and fingerprinting are wrong, ban that. If algorithms to show certain things for certain people are wrong, then ban that too. If a company being owned by a foreign entity who is a "frenemy" at the eyes of the military, then sure, ban it. If US social networks are banned in country X, then ban X's social networks in the US. Again, that's Ok.
But those are rules made for any company in any place, not just TikTok. Just banning TikTok now seems more like making some convenient excuses for doing what some folks already wanted to do anyway as soon as TikTok started getting their cookies and slices of ad revenue and media relevancy.
The most severance I ever got was 2 weeks. Not enough time to chill.
Asking GPT+LangChain+ReAct to create all the paperclips
I like https://catbox.moe. Works with ShareX and has a few tools like browser extension for right click upload context. https://catbox.moe/tools.php
I think if this particular logic is hidden away behind a server, it doesn't really matter - people want convenience, and for someone else to hide the complexity.

Serverless postgres-as-a-service isn't a stretch at all.

This thread does remind me of a previous thread, I believe it was something like optimizing a basic string operation (concatenation?) by going down to assembly and SIMD. Few people have a need to know the details of that particular implementation, and mere mortals cannot comprehend the wizardry going on there either, but that's just fine because if it gets incorporated into standard libraries or the underlying implementations that said standard libraries use, everybody benefits without ever having to understand the inner workings.
I guess? I mean, I know India and China did not sanction Russia and still freely trade with them. Probably Brazil as well? The "Global South" or everything outside of US/UK & Commonwealth/EU/Japan def acts far more independently in global politics while the aforementioned seem to be in lockstep.
It amazes how a client UI, which could be easily implemented by a single good engineer manages to come out so terrible with a supposed tech company backing it.

And its not like it hasn’t been iterated upon… they continue to change it and never for the better.

Speaks volumes about Reddit’s (lack of) engineering talent. Seriously don’t get why they don’t just contract it out to a talented person
if anything this is an argument against the paleo diet and nothing else...
Whenever these articles come up that talk about sister earths the only thing I’m really interested in is how far away it is, so here you go:

> Researchers have been excited to use the new telescope to explore it and its six siblings, which are all roughly the size of Earth and which orbit a star 12 parsecs (39 light years) from Earth.
If this is true.. it would be a real shame if someone flooded their searches with domains they are "interested" in.
https://youtu.be/QOtuX0jL85Y
> It's a slippery slope

no it's not. there's no such thing as a slippery slope.

ban TikTok. it is a threat.
I think that when people describe these kinds of markets as "artificially" inflated, they're reacting to the sharp increase in income inequality. For a person who has had a 60-80th percentile income for 20 years, it probably feels more like prices are artificial than it feels like their economic status has declined significantly. Unfortunately the latter is the case, as increasingly fewer people gather an increasing share of wealth.

I would definitely agree that the pricing is not artificial, but I don't think I would call it fair.
As mentioned up-thread: https://www.apple.com/feedback/apple-music.html
We don't get along so well. See the data processing agreements that are just ping-ponging in the courts because they are incompatible with EU laws. This causes similar issues with the use of American social media in Europe as the US' concerns about TikTok. It's an uneasy friendship at best.

Interest in NATO was also waning, but of course Putin's recent aggression has revitalized this in a big way.
Hypothetically, perhaps in some alternate universe where tobacco is harmful and the corporations who sell it are deceitful, what evidence could exist that would prove the tobacco corporations wrong?
Archive.org, archive.is etc have been around for eons.

Don't worry.
Also worth mentioning bicycle related is the lifework of Sheldon Brown: https://www.sheldonbrown.com

Not fancy looking, but very interesting.
> I still find it fascinating how bad the "new reddit" was and still is.

Leading theory is that it's to push their mobile app (which is probably almost as bad).

The prerequisite for this is that they have a large enough userbase with enough of a network effect that relatively few users will move over the website crippling, the ads, or the mobile app (which I think is plausible).

Perhaps it's time to build an alternative on top of some federated protocol (not necessarily ActivityPub), then make a "bridge" between the two where you can add commends to a Reddit post on $ALTERNATIVE that compliant hybrid clients can render inline, which would allow you to bootstrap an alternative off of Reddit's existing userbase.
Exactly this. This is just a response to what China’s already done with non-Chinese companies for decades.
That’s crazy! I use my M1 Air for everything and it’s excellent. I would have asked to talk to his manager.
Yes there is a spectrum. But Win 10 and 11 is not there.
Those who want and appreciate the sound quality already using better than Apple speakers or headphones. If you read carefully the footnotes referenced state the need of proper external DAC. They know it is not for everyone and not forcing it on everyone unnecessarily, still allowing those in need to have it.
oh, but I bet it was "cost-effective" bugs can be ironed out (or just teach your users to put up with them, to drive costs further down)
> For decades, inns like his have resisted geothermal projects out of fears that they will damage their mineral-rich hot springs.

Why hasn’t the government simply run large scale testing and looked at countries like Iceland to determine if there is any truth to this? You’ve got one guy installing his own “monitoring equipment” who also has a clear bias against geothermal.
This intrigued me so I found an article describing this idea: https://news.stanford.edu/press-releases/2022/05/02/gravity-...
one of the most expensive countries in the universe, unfortunately.
The Hibernating House
Now I got reminded of this gem https://youtu.be/I6IQ_FOCE6I
How does agency arise? By letting GPT-4 tell humans what to do.

With suitable prompts, it shouldn't be hard to configure GPT-4 as a boss.
Email would be my preference. That way, I can have it be autosorted and let my email client do any special processing I want, including notifications if that's desirable.
Liberals (in the sense intended) are currently the hegemony. They have all the levers of power, at least in the west. But their ideology depends on convincing themselves they are the oppressed underdog, and basically requires them to be depressed. If they ever said "hey, things are pretty good", their power structure would fall apart, even if liberalism (in the sense intended, not classical liberalism which is almost the opposite) has had a massive multi-decade bull run
ironic that you'd not link to the old.reddit version
Great. My complaint about the animation stands.
They don't WANT the website to be good because they want to push you to the apps.