skysight-inc/HackerNews huggingface dataset:
Studies have limitations, in particular they test artificial and narrowly-scoped problems that are quite different from real world work.
One wonders what other mysteries are waiting to be uncovered amid the dark depths of Google search results ...
Animals are capable of learning. LLMs can not. LLM uses weights that are defined during the training process to decide what to do next. LLM cannot self evaluate based on what it has said. You have to create a new message for it to create a new probability path.

Animals have the ability to learn and grow by themselves. LLMs are not intelligent and I don't see how they can be since they just follow the most likely path with randomness (temperature) sprinkled in.
I find I do like that idea.

Back in the early HTML5 days some elements, mostly presentational, had to prove their usefulness to the WhatWG/Hixie to be included. So <b> was bold in HTML 4.01 but now is "text, to which attention is being drawn like product names". <i> was italic but is now for ship names (or "idiomatic text"). And <small> went from small text to fine "print/legal stuff".

I can see <big> being redefined similar. There are examples for the "big idea" of a text. The traditional article lede. Or the callout inside an article.

There are some fun ideas in older versions of HTML.

<listing> was already in deprecated in HTML 2.0, because of the parsing/content model, similar with <xmp> and <plaintext>. But I always found <pre><code></code></pre> annoying. XHTML 2 had a nicely named <blockcode> element, I would have liked that.

The aborted HTML 3.0 draft had some fun and wild stuff. Tabstops, a whole simplified math mode, an @md attribute for checksums (today Subresource Integrity) and still missing today an <fn> element for footnotes, a <note> element, a <person> element and a <banner>, which today would be a <header>.

We are still missing an CSS mechanism for the never implemented align="char" mechanism in HTML 4.01s tables.

<dir> was on is last gasps in HTML 4.01 and deprecated in Google’s HTML in favour of the more general ul/ol (but <menu> survived). But in the world of web applications a directory listing of someone's files or documents could have been useful. Think Github’s sidebar.

XHTML 2 had an <di> element for grouping definition list associations. HTML5 later retrofitted <div> for that, they didn’t want to change their parsing algorithm, I believe. The general <h> element is still missing, as is the <l> for a line of text like poetry or code. Also there is a <standby> element, which is funny to see in a web app world full of rotating spinners. @href and @src were allowed on all elements and there was an @edit attribute as a generalised version of <ins> and <del>.

Even HTML5 deprecated some parts of itself. iFrames had a `seamless` attribute which looked like it could do easier at least some use cases of the whole web components saga. But the “Living Standard” doesn’t seem to list the unliving parts of itself.
I host on an old i5 dell optiplex and usb raid enclosure i keep in the cupboard under the stairs. It's mostly for making the storage available to my other devices. It's also a tailscale node.
Catholics and Protestants both have their own ways of pretending to be Christian while ignoring teachings in the bible. (though protestant has enough different sects that you can't draw a blanket on any one thing that they all do wrong)
Eating less works, if taking a drug that makes you eat less, well, works.
Guesses at some reasons

* Scythes need to be sharp, a machete will work even when poorly maintained.

* Machetes are cheaper to make.

* Machetes are easier to use

* Scythes are a specialized tool, where as I can buy a machete for ten dollars at Canadian Tire. Economics of scale are different.

> There are still several remaining scythe factories in the world. In recent years a competitive, market-driven economy is making it difficult for scythe making factories to retain the quality level that was once a standard.

https://scytheworks.ca/swwobs-blade-choice/
When you do something that stupid - starting at $7 trillion - you end the conversation before it really begins because you lose all credibility with the people that matter (eg TSMC and other investors).

If he had said $250 billion and six fabs, it would have been a lot to ask but people wouldn't think he was ignorant or irrational for saying it. Big tech for example has that kind of money to throw around spread out across a decade if the investment is a truly great opportunity.
I heard it firsthand from my last company's head of digital marketing, who was the most key decision maker in that area there. These Salesforce sales guys, it seems, are able to spend lavishly on literal wining and dining, which is probably very effective in terms of getting them to win over other teams on why they should add on (insert SF service here) to increase deal size.

The last negotiation I was there for, for instance, in late 2021, the SF guys were pitching (hard) a product called "Salesforce Einstein" which was promised to be everything to everyone. I see they are now calling it "AI" which wasn't the main way they described it then before AI was such a hot buzzword. I think it was just branding for some kind of marketing workflow tooling, but to hear them tell it, it would do anything we could imagine.
I guess for me it actually takes longer to review code than to write it. So maybe that’s some of the difference.
The result of a prove is a theorem. I don't see any claim in the article that any two proofs of the same theorem are essentially the same?
A Non-Technical Intro to Webmentions
Hmm then everybody who is able to set aside some money, has a passive income. How lucky i am!
I, too, ran my own instance. I enjoyed it for some time but I've now moved to the omg.lol ecosystem. I feel that by paying a little money for it that I have a higher chance of the server not shutting down.
One off scripts do work very well.
Dupe: https://news.ycombinator.com/item?id=41974159
Congratulations on launch. But I don't like when number of hours is used to quantify my work. Because x hours of work is not necessarily a good representation of complexity / quality of work. Even the number of commits is not a good metric. I want to know what HN thinks and how they measure their productivity?
> Because the last release of the app was in 2002, and it was for Windows 95/98/2000/NT4, we’ve got a little bit of work to do to get it running on macOS

Much of today's software is going to be nothing more than a memory 22 years from now, after their authors run out of funding and they turn down the saas infrastructure that they shoehorned into it for that sweet, sweet recurring income. And more likely than not, we'll still be able to run this program from 2002, in 2046.
It's absolutely a shift in reality. In the past, flunking out of school and working at your local McDonalds wasn't a great life, but you could afford a tiny shithole apartment and buy your weekly beer and hang out with the other people who didn't finish high school and live a meager life and shoot the shit.

Now, housing is way more expensive. Basic things are more expensive. McDonalds hires less and pays less relatively to what they used to.

I just went up state and visited a couple friends who failed to go to college or do anything with their lives. Nearly everyone is gone from the home town, because all the jobs are in cities. Small rural towns are basically empty of younger people. The few jobs that do exist are AWFUL, give you less agency than in the past, have zero upwards mobility because every single company is either a tiny business where the owner is the manager or a giant megacorp that pushes management down from Corporate, and STILL pay less than that burger flipping job did. They are soulless. They have almost no friends, almost no options, almost no money, and the place they live is literally dying around them, because it has been for 40 years.

More women go to college, so more of the people left in tiny rural hometowns are lonely men, who cannot find a partner, because there literally aren't many available.

They look at the next 40 years of their lives and see nothing. There's nothing to hope for. There's nothing to attempt to improve for. There's no chance that someone will offer them a good job, because everything is owned by like six companies.

>As it stands today, I'd be tempted to give my kid 150k to start a plumbing business instead of paying for college.

Guess what, being in the position to give your kid $150k period means they are already near the top of the food chain. The vast majority of Americans growing up can't even come close to that. Having a parent or parents that have that kind of expendable income is already chart topping levels of "Has a support structure they can rely on". None of the kids suffering from "no options" syndrome had that.
Okay that makes sense, that's how the classes went for me in the US, with Calc 3 being multi variable (and as you say, a brush with linear alg via vector-valued functions), and 2 sideways steps from there, one being a course on PDEs and the other on linear algebra, both called by those names rather than listed as a step in the calculus sequence itself.
Indeed. Realistically if anything, one should consider the “physical world” hassles with permanent external storage arguably more than performance ones:

• Risk of accidental unplugging.

• Contacts may become wonky over time → see above.

• The need to sacrifice a port (or the portion of one in the case of a dongle).

• Enclosures tend to have annoying IO lights.

• Takes a bit of space.

All of these can be solved, especially when dealing with a desktop that stays in place. Paradoxically, there was never a better time to be modest with internal storage.

Although I will say:

> photos stored exclusively on icloud and not on your computer

Over my dead body :) If there’s one thing I’ll always happily carve out SSD space for, it’s local copies of my photo library!
Related:

Strava heatmap can be used to locate military bases - https://news.ycombinator.com/item?id=16249955 - Jan 2018 (271 comments)

Turns out soldiers enjoy tracking their runs around the base!
IF is not well understood, nor explained.

So in that aspect we agree completely. A few years ago people would call you mad for fasting, and now we have drug that allows people to life the fasting lifestyle.

And if there is a medical reason I'm not making the argument against. I'm making the argument that it's a intervention and that healyhy nutrition, healthy relationship with food will is the long-term solution.

And order todo that we would need to explore other nutritional paradigms than the current one.

Edit:
- Fasting lifestyle, like omad(eat once a day) removes the feeling of hunger and thoughts about food, until it's the moment to eat.
> has easily won every armed conflict they've entered into in the past 50 years

That's just false. Ok, maybe you don't count Vietnam, because the US "entered" there in the '60s, but Afghanistan was a sure loss and I'd say the same for Iraq (seeing how it's now in Iran's sphere of influence, which it wasn't under Saddam). Yes, they might have won some tactical battles, most probably all of them, come to think of it, but the wars themselves were lost.
Websites and apps aren't directly comparable when it comes to this metric.
Decagon and OpenAI deliver high-performance, automated customer support at scale
That's a bad read of what they said. They didn't say that eating less doesn't work, they said that telling people to eat less doesn't work.

I am tempted to make a snide remark, but I suppose that won't do any good.
It’s easy to say with hindsight but if all you have is black powder I don’t think it’s obvious those better fuels even exist.
A little past discussion, a long time ago:

Programming a Computer for Playing Chess (1949) - https://news.ycombinator.com/item?id=9231010 - March 2015 (1 comment)

Programming a Computer for Playing Chess (1950) [pdf] - https://news.ycombinator.com/item?id=9107788 - Feb 2015 (6 comments)
Exactly, 1 step forward, 1 step backward. Avoiding edge cases is something that can't be glossed over, and for that I need to carefully review the code. Since I'm accountable for it, and can't skip this part anyway, I'd rather review my own than some chatbot's.
And if it was a 30% stake in OpenAI for that $7 trillion (kind of a standard VC round percentage) that would put OpenAI's valuation at about the same of all of the 7000-ish NASDAQ companies (including almost all public tech companies) combined.
Say hi to dist, or, cargo-dist no more
I know for a fact that swaths of critical military infrastructure sit in AWS, so I personally doubt this is true.
Asking for $7T is - seriously - only slightly more absurd than asking for infinity dollars.
why would a radiowave that is reflected off the atmosphere (and therefore taking the longer route) be faster than a direct fibre cable?
Copyright still serves an important function (without any copyright, the companies with access to physical media creation would trivially steal from smaller ones) but 70-100yrs is an absurd amount of time that only benefits century old publishers.
Unfortunately I'm not super-familiar with developments around Polonius, so chances are what I can point you towards are the same things you found when searching. The most relevant bits appear to be the Polonius book [0] linked from the repo [1], but I don't know how up to date the book is or if there are more up-to-date resources. The RFC book [2] doesn't seem to have anything obviously about Polonius either.

[0]: https://rust-lang.github.io/polonius/

[1]: https://github.com/rust-lang/polonius

[2]: https://rust-lang.github.io/rfcs/
Whats the TLDR of the secret sauce? My HN screentime is up for today. Thanks!!
People should just stop using Strava, or at least stop making their Strava data public to the world (not sure if that's an option cause I've never used that app). They should just run/cycle, whatever, forget about gps.
I find their point pedantic, but I tend to think it is correct. The "standard library" of a language is the library that comes with the language itself, usually across all platforms, and that rarely contains anything UI-wise beyond the very basics (e.g. text/terminal I/O like printing and reading lines).

I do agree that probably no-one was confused, though.
A relief to know NOAA isn’t doing this pro bono, I was beginning to wonder whether they were simply donating forecasts.
Invention and adoption of technology, even "basic" technology, is very contingent on circumstance. Bows are pretty near universal (but not quite), but specific improvements like recurved limbs are patchy. And people aren't exactly quick to adopt new farming techniques when a failure could mean they starve. I guess that's also why this organization is pushing uphill. But I think it's very possible that lots of people haven't heard of or seriously evaluated a scythe.
Since the 16th page of a google search is usually the end of the third repetition of the first four pages of a google search, he'd probably already missed it three times...
What an infantilizing take on the situation. I believe a good portion of voters are thinking more about what kind of policies they prefer and the likelihood of each candidate following through (or not) with the kind of policies they like or dislike.
> The right candidate with the right mindset is very hard to find.

Yeah strongly agree but I also think you are looking in the wrong place.

What I disagree with is the notion that the best co-founder is hard to find because they are doing well in the corporate world. Building a business is a very different problem and environment, and it requires different adaptations. The playbook of an enterprise AE is often counter productive that early; in the same way that implementing amazon/google scale tools and infra are on the technical side [that early].
The cycling leaderboard around where I live are full of professional cyclists capable of overtaking an e-bike while remaining in zone 2.
People don't use Strava in the hope of getting a good place on the board but to compare themselves with their friends, club members and the pros.To follow their own development and that of their friends, to discover new paths, new events, and so on.

Above all, it's a social network based around sport. No baby photos, no politics, just people happily practising their sport - it's the anti-Tweeter and it's great.
> So in that aspect we agree completely. A few years ago people would call you mad for fasting, and now we have drug that allows people to life the fasting lifestyle.

It's nothing like the fasting lifestyle, it just quiets the food noise.

> I'm making the argument that it's a intervention and that healyhy nutrition, healthy relationship with food will is the long-term solution.

That's like saying "I'm making the argument that diabetes medication is an intervention, and that producing healthy amounts of insulin is the long-term solution". Yeah, it's all well and good, except it doesn't work.

You can yell at people for not <insert favorite reason here>, but, at the end of the day, people have tried diet, they've struggled with it, and it's failed. No matter how much yelling you do, they won't stop. It's like trying to talk a meth addict out of their addiction.
Monopolies Are Why We Are Restarting Three Mile Island
There are always good exceptions. But it's a rare sight.
Anecdotally, I disagree. Since the release of the "new" 3.5 Sonnet, it has given me consistently better results than Copilot based on GPT-4o.

I've been using LLMs as my rubber duck when I get stuck debugging something and have exhausted my standard avenues. GPT-4o tends to give me very general advice that I have almost always already tried or considered, while Claude is happy to say "this snippet looks potentially incorrect; please verify XYZ" and it has gotten me back on track in maybe 4/5 cases.
One of the fee startups I am genuinely impressed: skysight.

https://magazine.weglide.org/skysight-interview-matthew-scut...

Freakingly accurate weather forecasts for the niche sport of gliding. Builds on top of ECMWF and incorporates refined soil moisture. It’s really good in predicting mountain waves (and used by Perlan: https://perlanproject.org/perlans-sponsors-enable-us-to-fly-... ). Also convergences and thermal activity which is very dynamic…

Incredibly impressive.
I find that it depends very heavily on what you're up to. When I ask it to write nix code it'll just flat out forget how the syntax works half way though. But if I want it to troubleshoot an emacs config or wield matplotlib it's downright wizardly, often including the kind of thing that does indicate an intimacy with the details. I get distracted because I'm then asking it:

> I un-did your change which made no sense to me and now everything is broken, why is what you did necessary?

I think we just have to ask ourselves what we want it to be good at, and then be diligent about generating decades worth of high quality training material in that domain. At some point, it'll start getting the details right.
This, but unironically.

> Or maybe one of those locals could be. I wonder what stops them?

They're living their lives, rarely becoming academics in the relevant field, assuming that local rock ruin is known to somebody outside of their community, or if not, then assuming nobody cares anyway.

You can probably find a lot of undocumented ancient stuff by asking shepherds in areas known to be territory of ancient poorly documented civilizations.
Nope on the last one:) That's from Adventure.
Strava deserves all the blames it get, but don't you need some serious skills to find out who are the agents guarding Biden/Harris/Trump? I mean, if you can literally track down the names of Secret Service agents guarding VIPs, then you can probably easily track them with other means (phone for example) no?

Speaking out of most likely ignorance of Secret Service, I was in the US Marines. I dealt with marine snipers a few times during training exercises, we were mainly serve as security protections. I've seen them train, shoot and handle combat scenarios. If any of those marine snipers want to take shot at a VIP, I can't imagine Secret Service will be able to do anything to stop it. Some of the snipers are putting rounds into a postal stamp at 1,000 yard / 900 meters.
> It is possible to write unsound code using NTTP in C++ unsurprisingly.

Do you mind pointing me to some resources where I can learn more and/or give some keywords I can use to try to look around? This is admittedly the first time I've heard of C++ NTTP being unsound.

> As a whole concept you could probably say that the C++ NTTP is "unsound as-is" but that's so all-encompassing as to not be very useful, like saying C++ integer arithmetic is unsound.

That's fair, and that imprecision was entirely on me. I was primarily interested in the "source" of the unsoundness - whether it was inherent to however C++ does it, or whether C++'s NTTP is sound but a naive port of it to Rust would be unsound due to how generics differ from templates.
As a programmer of over 20 years - this is terrifying.

I'm willing to accept that I just have "get off my lawn" syndrome or something.

But the idea of letting an LLM write/move large swaths of code seems so incredibly irresponsible. Whenever I sit down to write some code, be it a large implementation or a small function, I think about what other people (or future versions of myself) will struggle with when interacting with the code. Is it clear and concise? Is it too clever? Is it too easy to write a subtle bug when making changes? Have I made it totally clear that X is relying on Y dangerous behavior by adding a comment or intentionally making it visible in some other way?

It goes the other way too. If I know someone well (or their style) then it makes evaluating their code easier. The more time I spend in a codebase the better idea I have of what the writer was trying to do. I remember spending a lot of time reading the early Redis codebase and got a pretty good sense of how Salvatore thinks. Or altering my approaches to code reviews depending on which coworker was submitting it. These weren't things I were doing out of desire but because all non-trivial code has so much subtlety; it's just the nature of the beast.

So the thought of opening up a codebase that was cobbled together by an AI is just scary to me. Subtle bugs and errors would be equally distributed across the whole thing instead of where the writer was less competent (as is often the case). The whole thing just sounds like a gargantuan mess.

Change my mind.
Yeah the entire PS4 emulation effort is being driven solely by Sony's refusal to release Bloodborne on PC or make it playable at 60 fps on PS5.

And they have succeeded. Just about everything is perfect now. So naturally when Sony does decide to do what they should have done years ago they will probably pull a Nintendo and sue ShadPS4 into the ground, followed by using an emulator in a museum to showcase old games.
Trust me, you don't have to explain to me all the ways you're a fanboy. You've proven it already. Don't bother replying further.
Factory farms can contaminate onions with dangerous pathogens like E. coli
Lu Wilson has many very curious and fun projects. There is a youtube channel called sandpond. There is a visual programming tool based on automata I think. There are quite a few websites and the projects are hard to navigate. As in, there isn't a single place where you can see everything. Most of it looks intentionally cryptic. You won't find documentation for arroost or that visual programming environment.

It's fun, but hard to explore and see what Lu is doing, no matter which platform you choose to follow. I have tried, it's very intriguing, but its like a spiders web.
I assume you are also on weekly doses. How does it work for you?

I feel like I go through cycles of:

Day 1: no change

Day 2: can go whole day without eating, a bit nauseous

Day 3-5: feeling bloated, food doesn’t digest fast, not eating much, biggest weight loss

Day 6-7: Slowly getting back to eating reasonable portions