skysight-inc/HackerNews huggingface dataset:
No matter who you are, talking to the police is a bad idea. This is a constant piece of advice from every lawyer AND POLICE OFFICER I’ve ever known. I have several cops in my family, and they all advise to never talk to the cops.
I’m not excited that much yet, because except for dumb single board computers, i still can’t get a proper arm system to run at home.

My home server (a repurposed fujitsu esprimo q920) is still intel based and it doesn’t seem to be anything available with comparable performance and connectivity. And I’m not even considering the price point.

Basically: arm cpus don’t play any significant role in my everyday computing life.

At work, I’ve been migrating all of our infra to graviton and we realised substantial savings… but then again, I don’t pay the cloud bills and my salary is still the same, so meh.
Huh, didn't know that - thanks for the link. The very ambitious name for the OS - Extremely Reliable Operating System made me smile.
>Is this something that HN does on purpose?

No, the HN algorithm is extremely simple and does not consider syntactic similarities of the titles.
They said hw3 will work, but not quite as well as hw4. The whole set of promises is just a mess. I think the strategy is string them out until the cars reach end of life and they avoid having to pay millions or people their 10k or whatever back.
Yeah, and in China your chinese equivalent would argue using the same logic why they shouldn't stop.

Those paying the price will be the children of both nations.
For C, I've really enjoyed reading the Ruby source code. There are good and bad spots, but overall especially if you know Ruby the language, the source is both entertaining and enlightening.
I see bisect as a git superpower. Also grep (with rev-list).
It's like knowing regular expressions. Not that one writes regexps every day, but this knowledge/skill definitely uplifts one to the next level.
To whoever downvoted the parent comment (yes, I see that the comment doesn't address the article):

When it comes to organic waste it's basically always going to convert to carbon gases, unless you're burying it in a peat bog or something of that nature. At least here the conversion is in a controlled manner that theoretically allows capture, as well as being conversion into carbon dioxide instead of carbon monoxide, methane, nitrous oxide, and various other gases that have sundry externalities, including greenhouse effects.

Additionally, those microbes can often be used directly as chemical factories (or at least a bunch of scientists are working on this, with some production plants already in use). So the waste isn't being converted to carbon dioxide, it's being converted to inputs directly used for manufacturing. While this particular product isn't doing this, it might be adaptable for the purposes at some point.
There’s bitter and then there’s whatever the fuck I just read.
> It should instead track changes in terms of language constructs.

This does not generalize very well. On top of GIT‘s core data structures and file management facilities you would also need parser plugins for all languages now and additional commands to manage language constructs. This would make it even more difficult to grasp.

I would say version control of text files in general is not an easy problem. GIT‘s complexity arises from the complexity of the problem it solves. Perhaps the user interfaces of subversion or mercurial are easier but I don’t think they lift the burden of understanding version control and why it is necessary from beginners …
The ryzen z1 is based on the laptop phoenix silicon. Its tuned, but underneath it is the same die size on the same proccess with the same core/gpu config.

Van Gogh (the steam deck chip) was originally supposed to be in more products, and showed up in multiple leaks with details that were confirmed later: https://videocardz.com/newz/amd-mobile-apus-for-2021-2022-de...

The same leaks specified a van gogh successor as well.

What happened afterwards is speculation, but it seems logical to assume AMD canceled that line.
Related:

Book of Proof – An introduction to the methods of proving mathematical theorems - https://news.ycombinator.com/item?id=12101328 - July 2016 (27 comments)

Also this related ongoing thread:

Basics of Proofs (2017) [pdf] - https://news.ycombinator.com/item?id=36353322 - June 2023 (32 comments)
No, definitely not, but if you start using it you can fall in love with it easy and suddenly find merging overly complicated :) I dread the merge workflow my colleagues do in a strange multi-repo-with-subrepos project - I just rebase all branches in all repos and find it even simpler and be happy and can still see my history at least :D
You should expect this from any candidate. The amount of money required to run for President is absurd. There's a very small class of people who are capable of putting this together, and they're all apparently incapable of doing so without making massive political sacrifices to the donor class.

American politics are largely broken.
In fact the Taliban has been on a spree of destroying poppy crops, often to the despair of starving farmers and their families. The apologists for the regime claim it's a moral stance, driven by Islam, while the rest of us suspect that it's an attempt to shore up the price of opium.

Remember poppy extract can be dried and stored for years, so they already have vast amounts of the stuff. By openly destroying the next crop, they can drive up the price of the reserves they already have, and the Taliban is utterly desperate for currency.
people do not get that copying does not equate to stealing. The copyright trolls have done their work well.
A lot of the bay area is due to old chip manufacturing plants. I want to say it has one of the largest concentrations of Superfund sites in the US, but don't quote me on that.

Edit: Don't quote me, quote the Atlantic.

https://www.theatlantic.com/technology/archive/2019/09/silic...
I don't think they've lacked understanding of their value proposition. They thought they had something worthy of capitalizing on, kind of like YouTube.

And they could have capitalized quite a lot on Reddit, but I think they've screwed themselves over the last couple of years by pushing a bunch of features no one liked and not actually focusing on anything that would make them money.

Like, I should be able to pay Reddit to be able to post high quality images and have them posted to all the users of the website without reliance on their shitty mobile app. I shouldn't be able to upload high quality images without paying, and that incentivizes me to give them money.

What are they doing instead? They incentivize their shitty mobile app.

I think they've dramatically overestimated their ability to make money and they've expanded the site to the point that they cant actually sustainably continue to maintain it.

I have half a mind to believe they actually expected the third party developers to pay the outrageous fees and that that would help cover the costs of them running the website.

I think Reddit is unsustainable and it's going to collapse in on itself and go into bankruptcy eventually.

They will continue to fail to make money to support the bloated and shitty infrastructure and hiring practices they've put in place, and when they inevitably fail they will blame these terrible moderators and users for ruining the website.

In reality it was their own greed and shameless lack of self-restriction the wind in terms of establishing their bloated and terrible infrastructure.

But hey, they have an office in San Francisco so they're quite the lovely san francisco high-tech company that's making all sorts of money. And by money I mean investments.
They have background in IT
I think the real reason startups are using blub is something else entirely, tooling. The reason lisp was cool in the early days were because it allows you to easily build abstractions to improve productivity, but these days any language comes with a decent web framework. You also get fancy IDE's and language servers and SDK's from your cloud provider. The productivity a large ecosystem gives you IMO is much larger than what a language can provide.
> But actually, the whole point is that if we can't expend the effort to make trivial sacrifices, or to follow seemingly trivial rules about valid matter for the Eucharist, then why on earth would we expect ourselves to get more important things right?

Reminds me of the Van Halen brown M&Ms

https://www.insider.com/van-halen-brown-m-ms-contract-2016-9...
Don't know most of these - thanks for the info
This PDF from Consumer Reports discusses some of these EV exclusive taxes:

https://advocacy.consumerreports.org/wp-content/uploads/2019...

Depending on the state, in some states you always save money Vs. gas tax, but in others unless you're in the top 10% or even top >5% of drivers by miles driven, you're likely paying more in EV fees than gas tax would cost. If you only drive your EV low distances, you're particularly negatively impacted.

There are some programs meant to help with fix this, but they involve putting a GPS tracker in your vehicle that both drains the battery and robs you of your privacy, so you're exchanging one problem for another.

PS - Many of these states also target Hybrids and Plug-In Hybrids with these fees and many of the problems listed above also impact them.
Rust - A memory safe programming language

wahnfrieden:
Why the iron oxide name? Besides the fact that it's a pun. Is the code written with it always bound to be rusty and old?
For quite some time now I believe there should be a better alternative to git. I have never thought of building it on top of git. Neat.

What I think should be there is a daemon doing autocommity and automatic sync with server. Even if you work from multiple machines.
> That makes it as useful as the 'x', although that's also one we could do without.

I would like to further improve the 'x' by making its pronunciation 'sk' at the beginning of a phoneme, rather than 'z', 'ex', or maybe 'k'.

It sounds fine in words like 'xylophone' or 'xray', and there are plenty of words like 'xy', 'xate', 'xunk', or 'xeleton' so we could re-balance our alphabet.
No I don't. It's wrong so much of the time but gives me enough to figure out a lot of stuff. It's more like a rubber duck most of the time.
We've always said the same thing about the Firefox for Android extension ecosystem.

Despite Mozilla's explicit denial of the intention to kill extensions on Android, there is an allow list that effectively bans almost all extensions on Android.

There is no justification for this; extensions work just fine on Firefox for Android, which can be tested using the nightly and jumping through a few artificial hoops.

tl;dr: There's little evidence that there will be any big news once adblockers get finally axed on Firefox.
Would you really feel differently about any part of the situation if you found out he had nothing to do with it? He's still accepting the benefit of it and apparently not campaigning _against_ it.

"Will no one rid me of these meddlesome dealerships?!"
I can see two ways to implement something like this:

1. Completely alter the paradigm for editing software: from editing text to editing the AST (or a projection of it). See Unison [0]. This gives you fine-grained understanding of every aspect of the development flow, but requires rewriting most of the tooling that developers are already using.

2. Layer the smart features on top of the existing text streams. This gives you less control and is more resource intensive, but you don't throw away the entire developer ecosystem.

If we choose #1, we waste millions of man-hours building these tools for every new language.

If we choose to layer our language-specific features on top of text, then why does this need to happen at the Git level instead of at a higher level of abstraction? IntelliJ, for example, can already use the git history to tell you who wrote a given method and when. This kind of functionality could, in principle, be extended to following the history of a method when it's moved or renamed.

Is there any benefit gained by having the VCS itself do the language-aware processing instead of having language-aware tooling layered on top of the VCS?

[0] https://www.unison-lang.org/
I feel like there's a really unfortunate effect where we see someone else's tribal beliefs when they say stuff that's unhinged from our collective available understanding, like blanket calling all climate change information "fake news", and it results in us strengthening our own beliefs because we know this person with the opposite belief has totally garbage methodology on the topic.

But it's not actually evidence for our beliefs, and we don't notice how it strengthens our own tribal beliefs, and so we don't notice that it's also unhinged to causally talk about "global total destruction" in this context, and only validated by tribal effects. And then our "fake news" friends notice our garbage methodology and take it as evidence for the correctness of their beliefs.
You are asking 100,000+ people to do research to understand the political comment. We are all sort of busy.
The bots build content to break the algorithms better than humans can so we only see bot content organically or paid/boosted content from humans? Intentional?
I'm in Europe and don't see the infinite scrolling setting unless I set my VPN to the US. Geofenced A/B testing.
What do you do then? Live off the interests of some fortune?
Ha! If I get your drift, we don't ever want to be seen as scheming. Transparency is paramount to building a trusting relationship with our customers. We will be very careful to avoid any hint of scheming. Thanks for your comment.
Agreed; there should be no manipulation, but evidently that's too high a bar for most people most of the time.
You can actually get these models to do this, but you have to ask:

>>> lm.do(f"Answer from the context: What is YCombinator? {lm.get_wiki('Python')}")
'The context does not provide information about YCombinator.'
>>> lm.do(f"Answer from the context: What is YCombinator? {lm.get_wiki('YCombinator')}")
'YCombinator is an American technology startup accelerator that has launched over 4,000 companies, including Airbnb, Coinbase, Cruise, DoorDash, Dropbox, Instacart, Quora, PagerDuty, Reddit, Stripe and Twitch.'

Without being told to be grounded, the model will guess. However, it may be able to identify information not available in a provided context.

One of my goals for this package is to provide a way for folks to learn about the basics of grounding and semantic search.
No doubt because the submitter thought it was intellectually interesting and enough upvoters agreed: https://news.ycombinator.com/newsguidelines.html.

Religious practices are often quite interesting if one can relate to them out of curiosity (the intended spirit of this site). The challenge is that intense emotions, identities, etc. can also get activated and those can easily drown out the interesting aspects. Curiosity isn't a high-intensity phenomenon - it requires a light touch.

Quite a few commenters in this thread have been managing to discuss the OP in the curious spirit, which is good - probably better than median for this type of topic!
The original del.icio.us was pretty good, it got weird later on.
As long as they pay in real money rather than scrip and the local institutions don't discriminate based on whether you work for The Company, I wouldn't think it would be worse than any other new neighborhood in the same area.
>If that’s true, then even if we somehow managed to make ourselves neutral

What does "neutral" even mean. 11% emissions sounds about right, but you aren't even counting the absorbtion of the US against it.

CO2 offsetting is a ridicolous greenwashing proposition.
Same, devs overthink it.

Others obsess over history, but personally didn’t find it worth the effort. We look back maybe twice a year, typically fixing issues moving forward.
I think requiring your startup in lisp also keeps the type of engineers away you don’t want.

In all of my career, it’s not those who know who have been good. It’s those who know how to learn new things fast that are good. It’s people who problem solve that make good engineers.

In the inverse. If somebody has a negative reaction to lisp, it’s a sign of a poor engineer.
This isn't accurate, adverse inference can be drawn from silence in many first world western nations.
Hey Yeovil. Nice to see you here in hn x
fs2 (reactive streaming, https://github.com/typelevel/fs2) written in Scala. It shows how nicely things can compose in a typesafe way if the language supports it.

And then, the opposite is Monix (https://monix.io/) also written in Scala. It's also about reactive streaming and the API is great, but the internal code is ugly because it sacrifices readability/composability for performance.
My immature side just thinks it's fun to write þorn.
With Python it doesn't take abuse. You blink and the bloody thing rots away.
https://www.coinopsy.com/dead-coins/abandoned/
What do you think CO2 offsets look like? As in, what is done with your money?
> If I don't tip, I'm being an asshole to the worker.

No you're not. It's the employer being an asshole to the worker. Just because the asshole employer is begging you to volunteer to subsidize his labor expenses so that he can pay his workers less and less that doesn't make you obligated to and it ultimately hurts the workers anyway since what they really need are higher wages that aren't dependent on the whims (or wealth) of whoever happens to walk in, and the employer has no reason to provide that if customers agree to pay their employees for them.

I'll start paying tips for basic/retail transactions when companies start tipping me for being a good customer. I'd even be tempted to start carrying around an ipad and demanding that employees enter a tip for me on it, except that the employees have no control over the POS system their employer users and I don't want to waste my own time. Hopefully pressing the "No Tip" button every single time gets the message across.
Getting downvoted by the group-think majority. Just know I tend to agree with you. Our country does not get to dictate how the world operates no matter what our beliefs are. And the idea of intellectual property is just a belief, and a bad one at that.
The fact that the dealership lobby is having to push for laws to protect their business means they are seeing the writing on the wall: the car dealership model will soon become just another (unpleasant) relic from the past.

Baby Boomers and GenX both like the idea of being sold something and having that service provided, but Millennials and GenZ have consistently shown that we greatly value self-service, straightforward pricing, and not wasting time or money on feeding the “fat” in systems.

Car dealerships are a major reason why new vehicles are so expensive now, with automobile pricing far outpacing inflation or any other metric.

In what other industry, not using the dealership model, would we be ok with major purchases being gate-kept by an army of middlemen who’s job is to grift off of every sale, obfuscating the price, are trained in deception, and their employer will also try to sell you financing, service place, and other crazy shit that people are not informed about? At least in retail you can shop around and find the best price and margins are well understood.
Your rent price is way off, you’re looking at 6k/month (72k/year) for a 4-bed, at least.
Michael Flynn has a friend with the power to pardon. You do not. Do not optimize the rules as if you and he were in the same class.
Sounds like a good way to hasten the move to electric. Manufacturers should stop updating gas models and focus all R&D on electric. Phase out ICE vehicles ASAP, and policy that encourages that is good regardless of whether it currently gives an unfair advantage to Tesla, Rivian, etc.
No I haven't recorded it for YouTube. I do have it on some home video somewhere, maybe. I would probably have to dig for that and maybe do a format conversion from 8mm tape.

I diagrammed it out in the post above. I hope that helps.
You need to read it as: "Set theory is a language through which all of math can be described."

Think of this example:

Set A is the set of all maximas and minimas of the polynomial function f(x).

Now, to populate the set you'll need to do Calculus. But it is described in the language of set theory.

There are many more examples that can be given:

Set X is a set of all non-prime integers between 2,000,000,000 and 3,000,000,000. (Number theory)
Set Y is a set of all the eigenvectors of the transformation matrix A. (Linear Algebra)

And so on.

This is just one of many ways set theory describe math. In my understanding, it makes human-to-human communique on Math much more efficient, but it is not limited to that.

If there is a new field where you can show that you can satisfy tenets of set theory, then rules of set theory applies to the new field as well.

This pattern is most profound in Linear Algebra. You use it in Deep Learning, Geometry, Equations, Non-Linear Dynamics, Quantum Computation/Physics, etc.
Yes, won’t somebody think of the poor white supremacists who… come to reevaluate their belief systems after having a few moments of chemically-increased empathy?

The man didn’t forget who he was. Reading the article, it suddenly became painfully clear to him who he was, and he started to question why.

I’m quite certain that weed and MDMA aren’t quite the woke mind-control agents you seem to believe they are.
The past 2 or 3 years have been something of an anomaly, but before the supply chain shortages, you could often basically buy a car at a few hundred dollars above dealer cost. (There are often other dealer incentives that aren't necessarily reflected in the online cost numbers--but close enough.) Which is why dealerships tend to put the big sell on using them for your vehicle's service because that (and financing) is where the money is. If you give them a check, drive your car away, and never see them again, they don't make a lot in general.
What's the problem with the Witcher?
Is this a traditionalist ("tradcath") thing? I feel like there was no such scrupulousness about the wine at masses when I was growing up.

I don't mean this as a dismissal. If you're not Catholic you might not have noticed that there is a weird cultural moment happening right now, with a very small but noisy (or prominent, if you like) faction of traditionalists, many of them young hipsters. It's oddly centered on New York City and Kansas/Nebraska.

So I see things like this, almost unrecognizable from the church I grew up in, and I wonder if this is just another tendril of that movement.
sure, and 1 UST = 1 UST, but it turns out that people who thought they didn't need to trust the asset held its value are considerably poorer than they were before.
Which is why the most successful lawyers are more akin to the most successful evangelists: the ability to hoodwink groups of people with their interpretation.
Those computers took a fairly significant effort to design, source components, and run through manufacturing. You'd think at some point they'd be self aware enough that the open source they're adulterating also required similar levels of gratis effort and should be afforded some respect.
San Francisco's Pain Worsens as Workers, Visitors, and Shoppers Leave
Weird using a E3-1230 v3 in 2023, it's over 10 years old. A similar modern low end CPU would be many times faster.
Relative to what other language?
Those days are over. Automakers realized they could juice profits by keeping supply constrained, and are doing so.

https://www.axios.com/2022/07/14/automakers-production-level...

https://www.businessinsider.com/automakers-low-inventory-max...

https://www.businessinsider.com/used-vehicle-prices-inventor...

Edit: used vehicle prices are held high by reduced new vehicle deal flow. The whole auto market is supply constrained, pushing aggregate prices up.
^ https://archive.ph/cQv7D