skysight-inc/HackerNews huggingface dataset:
There are declarative systems like Mizar and Isar that do take something a bit closer to natural language proof text as input. Outputing actual text in natural language is just an exercise in pretty-printing (and of course the system must know and work with the natural-language name for every object and statement you're working with, otherwise the output gets clunky).
This isn’t a demos page--they are just static docs where the only interactive part is some JS to make it quicker to copy/paste. Right now these docs aren’t accessible to many reading options or search indexers since there is nothing on the page.
I'm guessing because of self-promotion as well as the fact that if nobody's written about them, they probably aren't that significant. Wikipedia says it's not meant to be a collection of all human knowledge.
This sounds like sarcasm, but it's missing the /s and the context of the parent post doesn't make sense for it to be sarcastic.
For my taste Yt music has almost everything, but spotify hardly has half my playlist.

I've found most of the music I listen to through youtube. So it's not suprising.

But I'd wager that almost every song on spotify is uploaded to youtube as a video. Then it should be available on yt music unless they have flagged massive amounts of videos as not musical.
This is the most accurate answer so far re. The scaling laws. It has been demonstrated that LLMs follow quite clear power laws with respect to performance. In fact, the performance of any model can be determined from the number of parameters it has and the amount of data it is given. The Wikipedia article on Neural Scaling laws provides a brief, accessible, summary of this. Both data and parameters are expected to increase in coming years, so models are expected to improve.
> limited tech options (Eli Lilly, Salesforce, Rolls Royce, Cummins, Roche, Beckman, Corteva, Hospitals, … maybe a few others I'm forgetting)

Aside Salesforce, these are just big companies. The startup scene here is pretty good (I run one), and there are many other tech companies (Genesys, 1st Internet Bank, Jobvite - techpoint.org is the tech industry trade group here) that have a significant presence here. It's not SV, but if you are a developer, you can do alright here.
This reminds me of a game idea I have.

I want to build a game where players assemble various components into engines or systems. Building the required system is itself a bit of a puzzle, but then players must also demonstrate that they can control the system using sensors and switches, etc, despite failures of various components. Can you build a reactor? If something breaks, can you figure out what broke using the sensors you placed? Can you fix the system with the switches you placed?

My favorite thing about flight simulators was always the simulated avionics. I get to click simulated buttons and watch simulated gauges, I love it.
You can do that without self hosting email though. I use a custom domain with ProtonMail. I could potentially lose access to my emails stored on their servers, but getting my email address back up and running is just a matter of changing a DNS record.
I'm not so sure. There was a news article today about a leaky storage site for nuclear waste, coincidentally not too far from Manchester. [0] There are more ways than explosions to cause ecological devastation.

[0] https://www.theguardian.com/business/2023/dec/05/sellafield-...
I hate to dogpile and I almost never do, but the parent's and GP's experiences are almost the same as mine.

It doesn't take too much blatantly dishonest interaction before I decide "life is too short", regardless of whether it is on Wikipedia or elsewhere.
A moment where we can all learn from those with blue/green color vision deficiency. Who sees the world more accurately in this context?
> I sometimes feel like those algorithmic challenges at interviews are more for making developers feel they work at the "top team" than filtering the candidates.

I think that's partially correct, but a side effect. I think the real function is to make managers and execs feel that their devs are the "top team". But totally right about it being more about feelings of superiority than objective and relevant qualities for the job.
Crystal had a bit of a slow start. It was promising, but the deployment issues persisted longer than they should have, and by the time they were fixed, you had other toolchains that filled the same niche. Elixir did "ruby" better than crystal OR ruby did.

I really wanted to like Crystal, and used it for a few projects. But the immaturity and timing was it's kryptonite.
there have been an over abundance of stuff like this circling around HN lately
If you have any actual data to share, please do. That said, I am not inclined to discuss this on the basis of anecdotes and personal insights, especially because I think your aims are misguided.

I write all of this while wearing ten-year-old boots which have been re-soled twice.
The most-contributed language is Catalan with 3678 hours recorded vs. 3395 hours in English https://commonvoice.mozilla.org/en/languages (The language list sorts your browser's UI languages ahead of all others, which is why English may appear on top for you.)
Uptake for OS updates is very high on iOS though right? I heard a while back that it is like 90+% in 6 months. (could be totally wrong on that can someone confirm?)
I think prisoners are usually denied voting rights? Might be wrong about that.

Certainly don't get many travel opportunities.
I can't even tell if this is parody. I, too, can write an app in a weekend that streams nothing because I own no servers, no disks, and have no licensing agreements with rights holders allowing me to host and serve any of the content they own. Surely, writing the app is all there is to this business.
Where I lived, the cold water was at much higher pressure than hot. I assumed it was common for cold to be mains pressure and hot to be from a header tank when present. Maybe it was an unusual case of retrofitted hot water (house was likely built before the invention of hot water).
Pretty nuts, wasn't winamp like 5 people.
Look at the financial reports, 70+% of the revenue pays out in royalties. Those are the main cost.
I consider Wikipedia to be the last standing wonder of the WWW (world wide web).

- Google search results get worse every year.

- Stackoverflow lies in ruins (albeit the ruins are still useful).

- ICQ/Gtalk/AIM completely dead and all in silos now (Slack).

- Twitter is dead.

- Facebook is too annoying now.

Google Maps is still amazing, but I consider that more a miracle of the internet as opposed to a miracle of the WWW, since the data is essentially sourced commercially (satellites and maps), whereas with the examples above the data was sourced communally.

And so I think it's inevitable Wikipedia will die within my lifetime. Probably within the decade. I suspect my children will never get to enjoy the miraculous shockingly glorious human affirming paradox of Wikipedia. Their (public school) teachers senselessly already tell them to avoid it. :-(

I don't think Wikipedia will die for any specific technical or political reason. I just think it will die because everything else that was wonderful from 2009 or before already has, so why not Wikipedia?
Really annoying that I need a Google account though. I don't have one of those (yes I'm on Android but not Google)
Sorry, my message is full of snark - that's not really my point... they're wagging their finger at people they intend on (and are...) stopping.

It's obviously malicious, warning seems like window dressing
Not only that:

"Only technology that Ofcom "currently" considers "could be highly effective" will be allowed now. That includes five relatively commonly used age checks, like requiring users to share a photo ID, banking information, credit card information, digital ID wallets, or mobile network operator age verification."

It was a fast ride; now these "digital ID wallets" are already being proposed as a criterion for accessing websites.
Not personally, but it's Wikipedia's rules.
It accounted for inflation, Trumponomics, Bidenomics, and regular economics. I trust the number, it feels right to me.
Homeschooling hid child abuse, torture of 11-year-old Roman Lopez by stepmom
Tor works on the level of circuits and from the inside of the circuit has nothing to do with IP. The exit node is the first node where that is converted to an actual TCP connection. This among other things means that the only protocol on the public internet that works over Tor is TCP.
> If you can’t reproduce results, is it really research, or just show and tell?

You can't start with a statement about clinical trials not being perfectly reproducible and that's fine, then say this.

> what you’re actually testing could change without you knowing

If people are lying about an extremely important part of their product, which they have little reason to. But then this applies to pretty much everything. Starting with the assumption that people are lying about everything and nothing is as it seems may technically make things more reproducible but it's going to require unbelievable effort for very little return.

> There’s no way to know if a paper is reproducible at all.

This is a little silly because these models are available extremely easily and at a pay-as-you-go pricing. And again, it requires an assumption that openai is lying about a specific feature of a product.
Not really. Twitter, and Reddit publish(ed) API's that required one to obtain a key in order to use at scale. No one reverse engineered them.
Related. Others?

Mozilla Common Voice Adds 16 New Languages and 4,600 New Hours of Speech - https://news.ycombinator.com/item?id=28073016 - Aug 2021 (170 comments)

Firefox Voice - https://news.ycombinator.com/item?id=24096082 - Aug 2020 (154 comments)

Firefox Voice: Browse the web with your voice - https://news.ycombinator.com/item?id=23902560 - July 2020 (2 comments)

Mozilla Common Voice Dataset: More data, more languages - https://news.ycombinator.com/item?id=23695377 - June 2020 (41 comments)

The Common Voice Project by Mozilla reached its first goal: 1k hours in englisch - https://news.ycombinator.com/item?id=23051756 - May 2020 (1 comment)

Common Voice: A Massively-Multilingual Speech Corpus - https://news.ycombinator.com/item?id=21887693 - Dec 2019 (9 comments)

Common Voice – Mozilla's initiative to help teach machines how real people speak - https://news.ycombinator.com/item?id=21268579 - Oct 2019 (49 comments)

Mozilla releases the largest to-date public domain transcribed voice dataset - https://news.ycombinator.com/item?id=19270646 - Feb 2019 (61 comments)

Mozilla Overhauls Speech-To-Text Contribution Interface - https://news.ycombinator.com/item?id=17436958 - July 2018 (42 comments)

Initial Release of Mozilla’s Open Source Speech Recognition Model and Voice Data - https://news.ycombinator.com/item?id=15808124 - Nov 2017 (88 comments)

Project Common Voice - https://news.ycombinator.com/item?id=14794654 - July 2017 (57 comments)

Mozilla: Project Common Voice - https://news.ycombinator.com/item?id=14786881 - July 2017 (1 comment)
I'm in the process of switching after many years as a Chrome user... just have to find equivalents for the last of my extensions.
Show HN: Check on property risks Zillow won't show you
Made an online tool for streamlining things to check on before making an offer on a property, like noise/crime/environmental risk factors. Is the home in a flight path? Near a superfund? Terrible tap water? Sometimes hard to know these things just from home tours/realtor/Zillow. Have been using for myself, curious to get some feedback. Edit: wow I expected like, 2 people to see this, and v1 might get silly if it's run simultaneously on different addresses. Sorry in advance if you get mixed up!
Asking myself the same question. With the previous layoffs they were around 7500 people. That is mind boggling.

What do the all do all day??
They likely are worth something. I'm kicking myself for taking most of my VGA monitors to Goodwill back in the early 2010's (mainly for not having them now, not for the windfall I missed).
Its not an elite person problem.

Certainly, some of the more exotic and flashy things you can do with surveillance are an elite person problem.

But the two main limits to police power are that it takes time and resources to establish that a crime occurred, and it takes time and resources to determine who committed a crime. A distant third is the officer/DA's personal discretion as to whether or not to purse enforcement of said person. You still get a HUGE amount of systemic abuse because of that discretion. Imagine how bad things would get if our already over-militarized police could look at anyone and know immediately what petty crimes that person has committed, perhaps without thinking. Did a bug fly in your mouth yesterday, and you spit it out on the sidewalk in view of a camera? Better be extra obsequious when Officer No-Neck with "You're fucked" written on his service weapon pulls up to the gas station you're pumping at. If you don't show whatever deference he deems adequate, he's got a list of petty crimes he can issue a citation for, entirely at his discretion. But you'd better do it, once he decides to pursue that citation, you're at the mercy of the state's monopoly on violence, and it'll take you surviving to your day in court to decide if needs qualified immunity for the actions he took whilst issuing that citation.

That is a regular person problem.
YT Music has the roughly the same library as Spotify. They all do. They really are mostly-interchangeable.
> LLMs are comprised of just three elements

> Data

> Compute

> Algorithms

Not to be facetious but so is all other software. LLMs appear to scale in correlation to the first two but it's not clear what the correlation is and that's the basis of the question being asked.
You could probably come up with a generational demarcation between responses to the line (even if technically misquoted for one of them), if you were so inclined.
Omit internet tropes

https://news.ycombinator.com/newsguidelines.html
Is this something that you spent a lot of time worrying about prior to this bizarre trans panic? All of the existing laws that prevent predatory men from creeping on women in those spaces also apply to trans people..
Firefox on my Macs is more feature-complete and faster than Chrome for me. And the Aweseomebar is truly a replacement for bookmarks for me (full text search showing URLs and titles from years ago with a few keywords is truly amazing).

Once manifestv3 starts really making waves, Firefox will be the best place to go for ublock origin and other adblockers.
Are you thinking of Robert Jordan / The Wheel of Time? Robert Harris is alive and writing
That seems like a problem. Emulating the protocol is okayish-to-gray but having the binary there will just be a straight DMCA.

Wonder what the actual app is doing since this is just the PoC.
The Nintendo ones are plug-in-and-start-playing, come with controllers as good as the originals (I can side-by-side them—the new ones are excellent reproductions) and that feel exactly the same, and have a UI that a kid can figure out and that you don't have to set up or configure yourself, at all.

The SNES Classic in particular was one of the best deals in gaming I've ever seen. So much zero-hassle entertainment in one package, all ready to attach to a TV and go. No downloading, no updates, no horse-shit, it just plays like 30 amazing games providing hundreds of hours of entertainment for around $100, and you didn't have to do anything to make that happen (that you can do nerd-shit and add dozens more games to it is simply a bonus)

Other retro consoles I've seen have kinda been shit, but the Nintendo ones are great. Not everybody wants to or knows how to screw around with computers in their spare time so they can play Mario.

"But the Switch et c. can play many of those games, and more" True, however, 1) The original controllers are really nice to have for the games, especially on the NES where they're far easier to learn than even the SNES controller for very-young new gamers, and you can get them for the Switch, but that's an add-on and getting two of them costs about as much as a whole NES Classic did, 2) Maybe you have two TVs and you don't want to buy a second switch for price reasons, or perhaps because you'd rather one of the TVs be more chill so you don't have to police it as much for the kids, or whatever, and 3) Playing those games on the Switch costs a subscription—with the Classic consoles, you pay once and it's yours until it breaks.
> So the thing people actually care about is the risk of bad outcome, not the actual data itself.

It's more than that. Privacy affects the psychological context for daily activity and alters behavior, sometimes subtly, sometimes overty. If a person knows they have no privacy, they will go about life completely differently, and they will think about life completely differently.

Privacy is a freedom-of-thought, freedom-of-action, and also freedom-from-anxiety consideration.
After reading some other comments, this very well might be the case.
... brought to you by Carl's Jr.
SMS messages on iOS have always been green. iMessage was released four years after the original iPhone.
Not always but we can reproduce your findings in the future - credit to gravitational lensing causing some light paths to years longer to reach us.
True, and maybe I went a little far. The ones that quickly get unreadable are invariably pretty dismal. Sometimes it’s just morbid curiosity about what they said.
> It'd be taxing at whatever level is necessary to pay for the damages caused

For global warming, the cost of the damage is astronomical.
I am always suspect of these surveys. I saw one the other day that claimed C# was the top language being used. I'll continue to donate to Firefox and Thunderbird.
I work where we still have on-premise offerings, and we’re in a crisis because of it.

I am not against on-prem offerings, in fact quite the opposite. However, a significant swath of our customers are small-to-medium size businesses, and many don’t have access to qualified IT to run sophisticated software systems. Our contractual stipulations are very lax in terms of requiring customers to keep their hardware, software, and environment in a conducive, working order; we recommend ____ but if you fall out of spec, you assume the risk. Fine, except our contracts still put us on the hook to make sure, with reasonable effort, that the software is running. That means we spend our sparing and critical resources trying to cut pared down or specially tailored copies of our deliverables and trying to log into countless boxes to troubleshoot every banal and tedious tech support issue as to why a package isn't running or won’t install (spoiler: it’s almost always environmental: GPO restriction, firewall rule we told them we need an exception for, antivirus problems, dependencies not installed, excruciatingly out of date system, etc).

These two things are not compatible especially as software evolves and becomes more reliant on other services. The problem is that early on the organization decided to bend over backwards to make sales, now we have to choose between letting this problem spiral out of control and drag us down with it, or renegotiate the contract with better/clearer requirements or ditching on-prem which will be a mess and probably result in losing customers. That especially sucks for many of those customers, because they live in areas with poor connectivity.

Moral of the story: if you give your customers enough rope to hang themselves with, you’re also measuring out a length for yourself.
There’s a ton of devices out there unable to upgrade to the latest iOS. Obviously you can release point upgrades for old versions but I do wonder what the uptake of those is like. I’d wager there are a ton of very old iOS devices out there. At the very least many more than there are potential users of Beeper.
I uploaded my genome to a public database. And it's higher fidelity than this. My children will, too. This isn't a really big deal to me. Hopefully, my DNA (as part of the big database) will help us find out something about humans in the future.
They only do so indirectly by influencing what people see and vote on.
How's your bank number a sensitive information?
Classify plastic waste as hazardous (2013)
Ok, let's put Plutarch up there too. Thanks!
The US Federal Arbitration Act from 1925 prohibits courts from setting aside valid arbitration agreements. It's recently been interpreted to prohibit almost any kind of interference, so it's being actively enforced if not extended.
While this is very interesting, there are enough differences between astronomy and whatever papers this Twitter user is talking about that it's not the insight porn you think it is.

The Twitter user doesn't even reference a single specific paper, kind of doing some hand wavy broad generalizations of his worst antagonists. So who really knows what he's talking about? I can't say.

If he means papers like the ones in this search - https://arxiv.org/search/?query=step+by+step+gpt4&searchtype... - they're all kind of interesting, especially https://arxiv.org/abs/2308.06834 which is the kind of "new prompt" class he's directly attacking. It is interesting because it was written by some doctors, and it's about medicine, so it has some interdisciplinary stuff that's more interesting than the computer science stuff. So I don't even agree with the premise of what the Twitter complainer is maybe complaining about, because he doesn't name a specific paper.

Anyway, to your original point, if we're comparing the research I linked and astronomy... well, they're completely different, it is totally intellectually dishonest to compare the two. Like tell me how I use astronomy research later in product development or whatever? Maybe in building telescopes? How does observing the supernova suggest new telescopes to build in the future, without suggesting that indeed, I will be reproducing the results, because I am building a new telescope to observe another such supernova? Astronomy cares very deeply about reproducibility, a different kind of reproducibility than these papers, but maybe more the same in interesting ways than the non-difference you're talking about. I'm not an astronomer, but if you want to play the insight porn game, I'd give these people a benefit of the doubt.
Absolutely lqughing at anyone who thinks the particular colors matter. Ugly green? Calming blue?

The specific color does not matter, the only thing that matters is that they are differentiated for the Star-Belly Sneetches hadbellies with stars and the Plain-Belly Sneetches had none upon thars...
Alondra Nelson, nothing of her scant research papers to keep Mozilla from being swallowed up by competing web browsers.

https://en.m.wikipedia.org/wiki/Alondra_Nelson
Wait until you find out how many employees DocuSign has...

(It is literally 10 times more than you would think.)
Yes you do, you just aren't acknowledging them: centralized services like Whatsapp, Twitter, Facebook, Instagram, and so on. You are thinking of 'competing distributed technologies' but consumers are thinking of 'way to communicate with people' because most consumers do not care how the underlying technology works or what philosophical principles it is based on.

First movers in a market or technology space have an advantage because the costs of switching to something else rise over time, creating economic inelasticity. Go read up on preferential attachment and consider the fact that success is accidental or lucky as much as merit-based.
I'm so glad I don't have friends who give a darn what color my texts show up in - or the ones who do, are using customizable SMS clients on Android/Linux phones/who-cares-what.

iOS makes culture wars where there is no need to have one, for people too immature to have better things to worry about.