skysight-inc/HackerNews huggingface dataset:
FYI – you can go to github.dev (or press "." while browsing any repository) to get the same VS Code online experience, additionally with the repo automatically loaded into it.

Something else I find very confusing is that vscode.dev & github.dev are both free and run the editor fully locally in your browser. Github Codespaces on the other hand provisions a VM behind the scenes so you can run containers, build tooling and whatever else alongside the editor. That one charges by the hour.
Nice catch! Hopefully OP will see this.
What do you use to load the stylesheet?
A social network has a duty to take reasonable steps to ensure that bad people can’t easily conspire together to do their bad deeds. Society has a problem in that people engage in shitty behavior. One way societies combat this is by limiting the ability of like minded people from openly sharing the effects of their misdeeds.

Do you think it’s OK for a convention center to host a meeting where attendees are passing around photographs of CSAM to each other? Why treat the online world differently than the offline world in this regard?
Still bummed they didn't go with gecko.
(I know chromium is the superior engine, but Microsoft could've pushed gecko development to new highs for sure)
The main character in The Innocent meets his love interest in this manner. But the book took place in the 1950s.

https://www.goodreads.com/book/show/6868.The_Innocent
Those statistics alone demonstrate that people do not vilify such actions.
This line is what makes me roll my eyes whenever I hear someone say "Safari is the new IE". Safari missing a couple of features few websites use is far less of an issue than the dominant browser company can just invent new "standards" that make the web actively worse for everyone. (Sorry, I should say "everyone except for the scummy advertisers".)
You can rent one of the Atom Kimsufi boxes (N2800) to experience first hand a cpu with no speculative execution. The performance is dire, but at least it hasn’t gotten worse over the years - they are immune to just about everything
10 meters at sea level. A lot more when you have an ocean’s weight of water pushing on the other end.
Let them eat spreadsheets
Ah there it is, the eternal "better things are not possible" retort to any given criticism.
The way I understood it, the author is saying that, with this change, big values disappear, and we can then use fewer bits to encode the output of transformers, which means reducing the memory requirements of the network. Memory being the limiting factor to running models large, this would be a big deal.
Install Firefox. Disregard google.
Napkin math and unvetted reference warning but here goes:

there is about 1B cows, there is about 8B humans. Fart composition matters as well, if we're counting methane as worse, more plant ingestion means higher fraction of methane.

humans produce around 0.5g methane per day
average beef cow of 500kg produces around 0.265g methane per day, average beef cow weighs ~1000kg, so lets say we're around on par for methane.

So, if we get rid of cows and instead ingest plant matter directly, we would need to see a increase of methane production of no more than 11.11% to break even.

however, if top google hits continue to be (if they ever were) reliable, we will see an increase of about 7 farts per day, from a 13-21 average for a male. This is an increase of about 33-54% so if in all the error that will exist arising from my franken-data and all the assumptions made along the way don't significant impact general accuracy, then we're not even close to breaking even.
I wonder if this might be partly because they have not made an effort to make their software be more intelligent about surfacing answers to questions as well as evaluating answers. I would think that, at some point, it isn't necessarily the fault of the question authors or those responding.

One of the things I say with some frequency is that all failures are engineering problems. Blaming the users/customers, in the end, fails to take advantage of an opportunity to improve the product, learn from mistakes and improve process.
Introduced in 2017 and updated in 2020, I think this is mostly an interesting footnote at this point. Open podcasting efforts continue to evolve on RSS (thanks to RSS namespace extensibility) through industry groups like Podcasting 2.0 and Podcast Standards Project.
A misleading headline. Not too different from the last round of headlines that there are card carrying fascists in the fediverse. Both are true and they are blocked by all well run servers.

This is like the web and just like we don't say that HTTP has a X problem it doesn't make sense to say that open source software run by thousands of people across the world under different laws has any specific purpose or problem.

Improvements can be made to the software but bad admins can just rip that code out. Still I bet good instances will make changes.
Other countries' court systems are just as exploitable, but go unexploited, out of (presumably) a lack of interest / lack of social mores that predispose toward suing people.
That must be it. It would have been nice for the original post to include this information.
Thanks for making this. I’ve been a subscriber for awhile now and have advocated it’s usage to coworkers, family and even a Chase financial planner who had a lamer version that took minutes to rerun.
That is what would happen if they made adblocking impossible in chrome today, minus all the people who don't use AdBlock and happen to be numerous enough to be Google's entire business.

In a world with attestation, you can't browse any website unless you are using Chrome or another attested browser. The New York Times would refuse to serve content to unattested user agents. That is what would make everyone use Chrome.
> I know it is not a part of PPL, something I am very pissed about.

Private Pilot ACS Section IV Task M requires both demonstration and knowledge of
"Forward Slip to a Landing"

https://www.faa.gov/sites/faa.gov/files/training_testing/tes...
The alternative ICE also has those energy expenditures to get manufactured…
Just running on a separate core would avoid this bug.
I can't speak for LLMs, but Stable Diffusion goes above and beyond bias you would expect in a dataset.

Corporate executive photos are an often cited example, but a good one. It almost exclusively generates stereotypical white guys, where the dataset can't be that homogenous.

"Dark skin" pretty much exclusively generates African Americans, and its hard to steer away. Its also almost impossible to generate a dark skinned person with light eyes.

What I am getting at is that reasonable dataset correlations can turn into hard assumptions in diffusion, and maybe other transformers models.
Some bad writing certainly comes from trying to sound “academic” or “scholarly” but there’s more to it than that.

A lot of research involves lumping and splitting: what underlying properties do these seemingly-different share (or vice versa). For example, reading text is just one possible instantiation of a “visual symbolic channel.” Traffic lights, road signs, gauges and dials, logos, and clocks also carry information the same way. If you want to discuss “reading and reading-like activities”, you may want some kind of umbrella term.

Plus, you may want to contrast them with other ways of sharing information: non-symbolic systems that literally depict the item in question (photos on a picture menu, for example) or using a different sense altogether, like church bells for telling time.
> what exactly "high meat" means

From the study: high meat-eaters (≥100 g total meat consumed per day)

https://www.nature.com/articles/s43016-023-00795-w

> I am also curious how this changes based on where you live and how far your food has to travel to get to you within the same country. Like rural vs urban in the US.

https://ourworldindata.org/food-choice-vs-eating-local

You want to reduce the carbon footprint of your food? Focus on what you eat, not whether your food is local

... the results of a study which looked at the footprint of diets across the EU. Food transport was responsible for only 6% of emissions, whilst dairy, meat and eggs accounted for 83%.

Many of the foods ... are ... transported by boat – avocados and almonds are prime examples. Shipping one kilogram of avocados from Mexico to the United Kingdom would generate 0.21kg CO2eq in transport emissions. This is only around 8% of avocados’ total footprint. Even when shipped at great distances, its emissions are much less than locally-produced animal products.

Transport is a small contributor to emissions. For most food products, it accounts for less than 10%, and it’s much smaller for the largest GHG emitters. In beef from beef herds, it’s 0.5%.
There is a niche use-case for the reverse order `(foo min map filter baz bar)`, which is, solving typed holes (you could refine the hole as like `_.foo()` although that wouldn't be interoperable with things like next token prediction).

But that's more of a math thing than an everyday coding thing, where dot chaining usually reads nicer.

Mixed is definitely the worst, like you said.
As someone who's worked on some very similar problems, fix it properly on the vehicle side. Lamport/vector clocks are not a silver bullet here. They can be very difficult for end users to handle properly, and don't necessarily scale well in large fleets with unbounded drift. The vehicle network has a synchronized notion of time already. If the vehicles were designed properly, that's hooked into GNSS already. Even if they aren't (e.g. because it would impose unacceptably high uptime requirements), you have another system to bound drift already because various systems are required to stay within a small margin of "true" time (certificate validation comes to mind).

This is a fundamental system for the company, so it's worth cracking a few heads over the issue.
A lot of the things you have mentioned, I fail to see how that's not still not the same today.

Particularly the part around security, nowadays it is almost a necessity to be in a couple in order to afford a home. Couples still afford significant financial security, even more than before in my opinion given the cost of living.

Boredom, well who's not to say that people weren't bored decades ago?
I was surprised to learn last week that GoDaddy waits until the renewal date to renew. I'm used to other registrars renewing 30 days in advance, so you have time to fix any billing issues before the fees to get it back after it expires.
Not related to domains...

By my own experience I know they don't have even basic business ethics.

Several years ago, a quite a large transaction appeared in my credit card bill. Upon checking I found GoDaddy charged for a hosting service I never asked for. Upon calling their support, they were not surprised or asked any question, they just rollbacked the transaction. I'm saying again, no sales person or anyone reached out to me before using my credit card to process the order I never asked for.

I have a few domains and a shared hosting service with them. Their price increases are not justifiable. I'm in the process of packing my stuff.
I'm just happy these dudes won't have to deal with the deluge of misandry. They can be happy with their AI prostitute and women won't have to confront their own sexism. It's a win win.
You don't necessarily need to trust them for them to be useful.

I can often evaluate a Copilot autocompletion (check that code looks right at first glance, check that it compiles, hover over method+type signatures to see their docs, run the code) in less time than it would take me to find+read a Stack Overflow answer.
Thanks for your work as a mod.

While I understand it's a lot of work, and some (most?) might be posting low quality answers, my main problem with stack overflow has been exactly that over time, the top answer becomes stale.

The question is still relevant, but the best practice or library, platform whatever changed... That is a problem the stack overflow model has a hard time adapting too.. and it just gets worst over time..
It's easy to create content, but it's terrible finding content. Even alternatives like Coda suck at this.

No startup in this space has solved this problem yet.
You need to understand how it works if you want to analyze the numbers.

If your pool had a hole in it and you saw the water level slightly go up, you would conclude that the water flowing in must have been slightly faster than the water leaking out. Now imagine if you patched the hole.

I would recommend comparing with a study with both minoxidil and a 5a-reductase inhibitor.
Nah, I'll be saying eXcrete over tweet from now on. It's on brand.
not sure it was revolutionary, but it sure was helpful for example for getting alerts to breaking news stories and such
Isn't this the kind of thing that is possible with less than 100% mortality?

Like the northern cooler part survives and the reef moves that way?
US government is holding a historic UFO hearing this week
Defamation is offensive, Spam is not suppressed speech(?).
Wow thanks! Maybe you were one of the OG people who inspired me to keep working on it :D
Interesting that this seems to have started around Spring 2021 when posts + votes started tailing off, followed by traffic starting to decline around spring of 2022.

I can think of a few theories that I don't think hold water:

1. The rise of ChatGPT to answer many questions that StackOverflow would previously have been used for. This seems unlikely, since the timing doesn't really work out.

2. The perennial complaints about StackOverflow's culture of closing everything as duplicates or offtopic. This seems unlikely as well, since those complaints have been common for a decade or more.

3. The prevalence of SEO-optimized scrape sites - the ones that pop up with a "blog post" merely reposting a stack overflow question + answer in a different font. I've seen these for a while, and anecdotally they feel more common that they used to, but I couldn't give any real timeline for that vague feeling.

4. StackOverflow internal politics? I've seen the occasional stack-overflow meta thread pop up periodically on HN or social media, but I don't recall anything earth-shattering recently.

5. Most questions have good answers now and there's less need for new ones. I'd have bought that answer 10 or so years ago when StackOverflow's pile of questions + answers reached maturity. I don't think it suddenly hit some sort of answer saturation point in 2021.

My guess is that it's a slow shift in the culture of the StackOverflow userbase:

- Being a top answerer confers some cachet and makes you more employable in some places

- People notice this and start looking for the most effective ways to become a top answerer

- The most effective way is fast, low-effort answers

- There's been a rise in such low-effort answers over the last 5 years or so

- As a result, the cachet of being an StackOverflow top answerer is a lot lower

- The really good, deep, technical answerers (as well as the mods) are leaving as that cachet goes away

- Post quality starts dropping around 2021 and views start declining as people react to that in 2022.
Did something get changed since 2020?
That sounds like the app would need to implement their own RAM paging and that is a complicated and error prone endeavor and likely not worth the effort for he developer. I don't even know if an iOS app would have the system hooks to be able to do it.
Meta already appears to hold the rights to 'X.' It could make Twitter's rebrand
Specifically for clinical research, how do you deal with the cloud aspect? I’m a big fan of devcontainers, but can’t use cloud environments for security concerns — everything must be local. And setting up a local tunnel to vscode.dev is also not possible.

Do you have development in one environment and data in another?
Who would use GoDaddy on purpose? Do you also plan to host your app on Oracle's cloud? Horrible.

Use Porkbun next time.
Not arguing the sentience bit, we don't know what that is, have a definition for it, or can even agree on what that might generally be.

That being said, what you've described is different to how a human first learns and many never grow beyond in what way?
Dafny and Whiley are two examples with explicit verification support. Idris and other dependently typed languages should all be rich enough to express the required predicate but might not necessarily be able to accept a reasonable implementation as proof. Isabelle, Lean, Coq, and other theorem provers definitely can express the capability but aren't going to churn out much in the way of executable programs; they're more useful to guide an implementation in a more practical functional language but then the proof is separated from the implementation, and you could also use tools like TLA+.

https://dafny.org/

https://whiley.org/

https://www.idris-lang.org/

https://isabelle.in.tum.de/

https://leanprover.github.io/

https://coq.inria.fr/

http://lamport.azurewebsites.net/tla/tla.html
Those posts have grave errors, which the authors have been made aware of long ago but have refused to fix. For example, they literally made up the claim that wild animals have been getting more obese (there is no evidence of that). See this post I wrote for more details: https://www.lesswrong.com/posts/NRrbJJWnaSorrqvtZ/on-not-get...
> answering questions that have good solid answers from 8+ years ago (mostly 10 years),

I hit upon those useless answers all the time. I have no need to know about solutions that might have worked a decade ago and are obsolete. Stack Overflow is useless now.
So if my front door is open, or my garage door is open, you feel you have the right to enter my home without permission?
haha did we know each other?!
you'd have to separate out compiling and linking at a bare minimum to get even a semi accurate model. plus a lot of userspace is c++, which is much, much slower.
Eh, I was forced to have a notary do something and it ended up being an apparently 20 year old dude at a UPS store looking at some papers for a few seconds. Not exactly the high trust exercise it’s made out to be.
In practice, this doesn't seem to be a problem. Clients are generally smart about using HTTP conditional requests to minimize transfer.
> Because of this, a plant-based diet causes less suffering and death than one that includes animals.

In many cases zero more plants need to be produced to raise cattle, and how much suffering that's experienced by their death seems to be a personally attributed value, but slaughtering systems have been continuously developed to alleviate that as much as possible.

If I had to get my calories from plants alone, I'd be broke, and rather bored.
For me, a few months ago, when I had a question, I used to google/bing it and try to find my solution between 2-3 different SO answers (even the questions themselves were often helpful).

Now, AI kinda replaced for me, it's copilot first, then ChatGPT if copilot is not enough, then google/bing if ChatGPT is not enough and maybe finally SO.

Conservative figure from my side would be 15-25% less stackoverflow in a regular day.

I'm sure I'm not the only one.
https://archive.ph/8RK3M
"If the world adopted an [x] diet" is blue-sky thinking my friend. Human behavior – on such an intimate and culturally-important thing – is practically immutable – and probably should be.

The higher-order requirements of 'Four Pest' policies are incompatible with human rights. There's ways to attain equilibrium with the planet without using thumb screws.
In light of the past couple of months, I guess I should not surprised that the interaction with reddit staff went that way.
It's hard to actually know precisely why they are resistant to HTML in emails just by the comment. Seems like just a vibe
We have year-round research stations in Antarctica. What is possible for a few is not necessarily desirable for the many.
Back/Forward Cache Helped Yahoo Japan News Increase Revenue by 9% on Mobile
Honestly HN has turned into reposting random how-tos about the latest hype LLMs.
This is amazing. I'd love if it could include:

1. Percent cancellations of lines (past 30d, past 1 year)

2. Average & deviation of delay (past 30d, past 1 year)

I think these factors could be used to identify unreliable lines. For example, looking at my commute line, it seems like I could get into the city in 50ish minutes but I know most of the times I get on the train from door to door it has been recently very unreliable with the most recent times being ~1hr min door to door.

We also have a lot of problems with cancellations on my way home.
No, no one sane would. Just like no one sane would trust random SO authors with any authority either. You still have to verify the information somehow, but at least in the LLM case I instantly get replies 24/7, and it's been reading more papers than any of the authors on SO.
I know you didn't name a city, but since everyone says this about Los Angeles due to Roger Rabbit, I'll zoom in on LA. The LA street cars, Pacific Electric and LA Railways, were operated by Henry Huntington to sell real estate and were increasingly unprofitable over time. This definitely wasn't helped by increasing competition from private automobiles, the 1910-20s version of rideshare called "jitneys", and local buses, but the streetcars weren't there as a charitable public service and rarely reinvested in itself. In 1925-1926, they proposed having LA city fund expansion and rapid transit, but the public and press at the time were very against elevated lines and increased taxes. There was no shortage of racism (as evidenced by voters destroying half of Chinatown to build Union Station), and LA Times infamously called elevated lines "four miles of hideous, clattering, dusty, dirty, dangerous, street-darkening overhead trestles." That basically sealed the streetcars' fate, and what the car industry did decades later was picking apart their corpses.

I'm sure that Roger Rabbit might be more true for some cities, but I dislike that LA and other cities cling on to this. It excessively absolves everyone else -- politicians, press, homeowners, and PE/LARy themselves -- of their own fault. They could've saved their transit system like London did in the 1920-30s. Even today every SFR owner seems to prefer pointing at the Roger Rabbit story rather than looking in the mirror. Thank god for AB2097 and other new laws that address low density.

Sources -- basically any source that's not Roger Rabbit will tell you the same thing:

* http://scsra.org/library/rapid-transit-history/

* https://laist.com/news/entertainment/union-station-history

* https://www.vox.com/2015/5/7/8562007/streetcar-history-demis...

* This entire book; the preview pages have a lot of pertinent parts: https://books.google.com/books?id=OfTlph3cXoQC
Sam Altman’s Worldcoin crypto project begins international rollout
Or people who don’t want their dev environment to interfere with their primary system. Or who have multiple projects with different requirements/dependencies.

Onboarding with a remote setup like this can be very quick. Or really — the same tech (devcontainers) can be used locally just as easily with many of the same benefits. The onboarding/dev setup is reduced to building a few containers and getting the code. You don’t have to locally install packages or worry about incompatible versions of tools.

The remote aspect is available because it’s very easy for Microsoft to do with VSCode as an Electron app. Sadly, they are making it more difficult for anyone outside of vscode.dev to have a remote install without using their “tunnel”.
Can't wait to see the promised payment part of "x".

It's gona have crypto and KYC, doesn't it?

Conveniently the advertizers will likely like the additional info.

As will regimes like the saudis.