skysight-inc/HackerNews huggingface dataset:
No nontrivial (by modern standards) proof has a machine-verifiable version. Math is just too huge.

And (my hot take:) the formal correctness is important, but not really that important in math. Sure, we hope the proofs are correct, but the idea why the proofs are correct is often more important. Humans are not a formal verification machines, and we're often interested in why something is true (and when exactly, i.e. how does it generalise), instead of just asking a binary question. So taking this into account, even if there are holes in the current argument, the important thing is that the experts believe they can be fixed, and the insight we gained along the way.

Edit: I want to back my hot take a little:

* The four color theorem is famous for being the first major theorem to be proven using a computer (using exaustive search on a large search space - too large for human to verify). This was very controversial for the time (maybe still is), because we gained no insight into the problem! Exhaustive search doesn't begin to explain why this is - or is not - the case.

* Even more perversely, It's possible that ABC conjecture was proven in 2012 by Mochizuki. But the proof is very hard to read (very briefly: basically nobody understands it, and Mochizuki was - supposedly - very non-cooperative and refused to answer questions. Some experts claimed holes but their concerns were - quite rudely - dismissed as misunderstanding). Now we live in a split world, where most of the world consider the conjecture unproven (because we can't understand it and learn from it), but some universities consider it proven (because Mochizuki is an expert, and nobody was able to find a mistake and convince the world they're right). In other words, it's a mess.

In both cases, the problem was that we care about understanding the problem, not about just asserting something is true or false.
XG Mobile Station: Open-Source EGPU Dock for ROG Ally and ROG Flow
If you must use a web app, you can at least use CyberChef, which runs entirely in the client and is widely used in security testing.

https://gchq.github.io/CyberChef/
It's definitely a bubble. Sam Altman wants to build $7tn worth of data centers; if that's not an indication of how ridiculous this has gotten, I don't know what is.

LLM has been vastly oversold to the general public as "AI" when the technology is nowhere near that. We haven't invented turing complete robots that independently identify problems, learn the solutions, and respond. LLM as a technology might not ever be able to do that, by the nature of how it works. We have only created chatbots that reply to prompts, with a higher than acceptable inaccuracy rate. And yet this justifies $7tn.

But silicon valley figured out that saying "AIAI" on repeat works for funding, then other companies started pretending they were the same for the instant stock gain. Rising interest rates and this wave led everyone to pull out of other companies and dump into anything vaguely related to AI. They rode the price up, and now that interest rates are falling (making other companies more attractive) they are rotating out.

This probably didn't become a full on bubble like crypto did because interest rates were high. It's still a bubble, but seems to be pricking of its own accord as opposed to becoming a gigantic, systemic problem.

That said, when rates fall again, we might see a second boom there. Or maybe another fad will strike silicon valley, to continue the trend.

VR - Crypto - Metaverse - LLM?
Quick bits: Nix-shell is cursed
While I understand the argument, it would also be good to see some empirical evidence. So far all x86 built need more power to reach the same performance level as ARM. Of course, Apple is still the outlier.
Nice article, btw.

But I am very curious. Did you use a balun or antenna tuner?
Yup. I would like to keep things on the screen if feasible, but it's really always cyclomatic complexity that matters. A linear flow of lines, I don't care about until I can't see it all at once but you're rarely writing a linear flow of lines.
Not unnecessary, but an unattainable luxury. Industrially produced and available ingredients in Soviet union were a world away from mozzarella, good tomato sauce and bay leaves you may want for the simplest pizza. If you wanted to get your hands on horrible Soviet salami you had to travel to Moscow, and pepperoni was a luxury few world even know about. Forget about olives, anchovies, even pineapples — it's just something that didn't exist for a regular person.
Humans in general don't think in collective terms beyond a handful of people at most. Expecting that to change overnight is a foolish cause.
references here are important.. it seems reductive framing to judge using economic units without acknowledging the interdependancies of real human living conditions and contexts, around the globe; secondly, unified national currency in the USA was not exactly a settled thing, not long before that era.. so measuring has to have some wrinkles in it, no?
Well, one of the "challenges" is the one in a different comment: most registrars don't allow fine-grained control over who can update what DNS records.

Can it be done? Sure. But do I want to spend money on this for my home lab if I can work around it? Not a chance.

I'm kinda sensitive to the "MITM as a service" argument, but for my use case, it's not a problem.
Both are solved by the delete button and to overwrite any new text that was previously part of a deletion?

May be more annoying than it's worth tho
> so I don't know if the internal modules fit the same (but larger means more room, so, probably?).

It is not compatible, sadly. The sensor watch board requires donated parts from a genuine casio module 593.

A list of compatible watches can be found here:

https://www.sensorwatch.net/docs/

> Watches that will not work as they use different movements, although the button layout is the same: A168W, A700W, LA680W, B650W.

> In general, if the watch is a 3 button digital Casio that has a nice ‘illuminator’ backlight rather than a side light, it’s NOT a 593 and will not work.
For you third item... Beyond Burgers and TikTok are both actively harmful. The first to your physical health, the second to your mental health. (Tasty or entertaining does not greatness make... 'but that's, just, like, my opinion man.')

Electric cars have significant drawbacks, but we'll figure those out over time. It took more than 100 years for ICE cars to get as good as they are.

Edit: Heh... Beyond Burgers and TikTok were both invented after I was 35. Electric cars have been around much longer.
Ask HN: Would you use a shared GPU cloud tier?
I.e. a cloud instance that behaves exactly like a normal GPU instance, where behind the scenes the GPU is shared. The advantage here is you only pay when the process is actively using the GPU (not the whole time the instance is running). The downside is the instance would take ~25% longer to run any GPU task.
Ask HN: What's Your Side Hustle?
It does not help me either. C++ answers are flat out wrong and you develop bad habits. If I wanted to plagiarize and had no morals, I could take code from GitHub directly.

And, as you say, Google provides links to better answers in 2 seconds.

I suppose some people like the interaction with the machine. I'm much more exhausted after an LLM session and my brain is literally fried until the next morning. I stopped using LLMs and am much happier.

Googling for answers and reading them strangely enough energizes me.
Empanadas are basically the same as pirogi, and pineapple empanadas are delicious.
Yeah most of my friends think that AI = chatbots.

IMO the best of uses of AI will be smart RAG-ish stuff integrated into existing products.

Like your slack example: imagine the fact-checking possibilities! Imagine a snarky message from a manager saying “you said this would be finished by Friday”.
All you have to do is ask slack “is this message true?” And it’ll go and find the 15 messages where you made it very clear the feature would not be finished by Friday.

I’m also really excited for more AI docs. Prisma (a typescript ORM) has an incredibly useful AI on their docs page. You can ask it anything about prisma, and it’ll provide a pretty thorough, hallucination-free answer, with links to all of the relevant doc pages and GitHub issues.

Imagine if google’s most black-box API’s could be explained and navigated for you by an AI. A dream come true
The main problem is that each answer is a randomized new one. There’s no logical through-line and the more entries you create with it the more nonsensical the system becomes. It’s like a junior developer with amnesia

It looks to work fine on a one-off single script thing. Which is marginally useful sometimes. I did create my company single page html site with it because I didn’t really care about it and just needed it for a bank to believe I’m selling services.
One interesting thing about autonomous vehicles is that companies that have spent billions of dollars and decades in R&D (e.g. Tesla) are only slightly ahead of competitors. Now it's seeming like multimodal LLMs will be the way forward with self-driving vehicles, and if I just fine-tune Phi 3 I can do better than state of the art DL models from a couple years ago.

Looking at the bigger picture, then, it seems like most of the efforts that companies are pouring into AI research generally won't put them that far ahead.
In my opinion, AI bubble is in the 1996 of the dotcom bubble, not 1999.

When it pops, it will still be bigger than in 2024.
If you lay off the QA team you can accelerate delivery, as Crowdstrike has shown
Uncle Bob: Thou shalt not denormalize your data!

Casey: Normalized data has an extreme overhead of recalculating things, it's horrible!

Reality: You look at the situation and decide when you need cached values to get acceptable performance. (And I consider most denormalized items in the database to be a form of cached value.)
Former NASA scientist doing experiment to prove we live in a simulation
It would actually be extremely cheap, since it would last only 1 charge (if it came pre-charged), no connectivity, no way to export anything it does (not even print a photo).

After 24h literally more useless than a rock as a phone wouldn't even work as a thing to bang other things on.

If it did happen to have a solar charger, still pretty useless, except for the camera (if available).
The pizzeria opened in the early 80s, it wasn't a cooperative. Even before perestroika started, there were plenty of state-owned restaurants. I think that pizzeria was the same, just a state-owned restaurant with a twist.
Demos Habassis from DeepMind have already spun off a drug discovery company based on AlphaFold v3 which is proprietary.

Others have developed Deep Learning based weather forecast models which much cheaper (orders of magnitude less compute), faster and more accurate than conventional physics simulation based models which costs billions of dollar to run.

There might exists companies which have already enough private, unique and valuable data that if used to develop models that can bring huge benefits.
Some time ago, I built a similar project: https://github.com/dethos/worker-ddns

The main difference is that, for security reasons, it uses a "Cloudflare worker" to change the DNS record.

> Since Cloudflare API Token permissions aren't granular enough to limit the token access to a single DNS record, we place a worker in front of it (this way the token with extra priviledges never leaves cloudflare's servers).

It works very well, no complaints until now.
And I have yet to see a useful application that I can use and that is not a glorified JavaScript code completion plugin.
The article is bunk but in general I still think after the invention of whaling and ocean going boats 8000-6000 BC global cultural diffusion is often the much more plausible explanation why inventions show up close in time around the chalcolithic.
Maybe prefix with "Ask HN:"?
The actions of Israel cyber defense / hacker groups is pretty much a footnote in the history of Israel.

They allowed 9/11 to happen (they knew because they spied on Americans through a company called Amdocs)

They stole nuclear weapons from USA through a company called NUMEC

They killed JFK when he tried to investigate them for stealing nuclear material,

To this day, Israel maintains an arsenal of nuclear weapons, which they use to threaten other countries, while simultaneously preventing other nations from procuring nuclear weapons

They perpetuated a genocide, with the secret objective of setting conditions for a religious ritual involving a red heifer sacrifice leading to the destruction of the Al Aqsa mosque ( seriously)

They sold US electronic warfare technology to China,

They deliberarely sunk the USS liberty killing US sailors, and then had their corrupt US politicians try to cover it up,
Don't forget Wadjet Eye's entire catalog, including the Blackwell series and especially Primordia, Resonance, and Technobabylon.
Auto-Tune Kazoo [video]
Aphex Twin gave us a peek inside a 90s classic (2017)
To be fair it's right criticism. I should have used indeed "m" as that's the correct unit and Mt is incorrect and confusing!
Americans were richer than even Brits back when they were still Brits

The American colonies led Great Britain in purchasing power per capita from 1700, and possibly from 1650, until 1774, even counting slaves in the population

The common view that American per capita income did not overtake that of Britain until the start of the 20th century appears to be off the mark by two centuries or longer.

https://www.nber.org/papers/w19861
Why are you running random scripts on prod servers? ;) :P
Even some regular engineers with experience dealing with many servers will have built up an intuition to exploit.

In fact, this is often where decisions on what metrics to have in the first place come from. Ask why. You can go far without deep stats knowledge!
I feel like much of modern number theory has about the same level of usefulness
With or without charger?
there's a way to tell caddy server to host its own access.log

So you have some junk VPS or whatever that just has caddy hosting its log with an easy to remember domain (they're cheap enough), and you go like "curl http://easydomain.com/idreallylikemyip" and then once more:
curl http://easydomain.com/N | grep "idreallylikemyip"

the code that used to work is on my github, i uploaded it there a week or two ago. Someone who needs a way to find out the public ipv4 of any device not just their own can probably figure out how to get it to work again!
> Americans typically don’t realize how lucky they were

And, with all due respect, many people outside the US don't realise how lucky the best minds were that there was a stable, prosperous, (actively) welcoming society to bring these best minds out of the self-inflicted chaos of Europe.
You missed off the second part of the argument: "tech workers are incredibly valuable IF interest rates are low." The point being made was that tech companies can be a lot more speculative when money is cheap.
> would the aggregate harm of multiple smaller bad events occurring over years be above or below the one-shot harm of CrowdStrike's screwup?

See US federal and state separation of powers as a laboratory for policy.

The harm is only "aggregate" if nothing is learned from each event.

If lessons are rapidly learned and diffused from each event, then multiple smaller events can reduce local blast radius, immunize others against known failure categories, and increase global resilience.
Okay now do the 1880s.
"The enemy of my enemy is my enemy's enemy. No more. No less." (Schlock Mercenary Maxim #29)

It was mutual, by the way. Stalin (or one of his generals?) said "even with the devil you may walk to the end of the bridge". That is, to them the west was the devil, and they were using the west just like the west was using them.
Primordia is fantastic in terms of art and story.

Resonance has some unique mechanics that are actually effective at restoring some of the reactivity and world-building flavor that was lost when adventure games moved from parser to point-and-click interfaces (while still using a solely point-and-click interface). It's also a really good game on top of that.
I don't suppose you're familiar with the /r/DamnYouAutocorrect/ subreddit?
Works for my use case: packing dependencies and deploying. If you're considering alternatives for your use case. What do you think Docker replacement would look like?
AGIs are not working at all because they don't actually exist yet.

It's not a matter of an AGI system getting it wrong, there is no AGI system. There are only multi-modal ML systems, which are not the same.
Gleam is beautifully designed, but I don't really understand the concept of "use". I've read every article and documentation I could see about it, but it still doesn't "click". Perhaps using another keyword (instead of "use") would work better?

In general, I find "use" a big deviation from Gleam's philosophy. Everything else in the language is well-defined and serves a specific purpose. "use", however, serves several goals, and thus is ambiguous (in the sense that it doesn't have one well-defined definition). [0, 1]

[0]: https://www.reddit.com/r/ProgrammingLanguages/comments/19ctw...

[1]: https://erikarow.land/notes/using-use-gleam
Yes, I would use it if the price is affordable.
Thank you for taking the time to have a look.

About the presentation:
I think I agree: once I'm up to the level of discussing Lagrangians and stationary action I should not re-teach integration; the reader will be familiar with that.

That particular presentation grew over time; I agree it is uneven. I need to scrap a lot of it.

The preceding article
http://cleonis.nl/physics/phys256/calculus_variations.php
Is more an overarching concept.

Also, I'm active on the stackexchange physics forum.
Over the years: Hamilton's stationary action is a recurring question subject.
Some weeks ago I went back to the first time a stationary action question was posted, submitting an answer.
In that answer: I aimed to work the exposition down to a minimum, presenting a continuous arch.
https://physics.stackexchange.com/a/821469/17198

three sections:

1. Work-Energy theorem

2. The central equation of the work 'Mécanique Analytique' by Joseph Louis Lagrange (I discuss _why_ that equation obtains.)

3. Hamilton's stationary action

It's a tricky situation. I'm not assuming the thing I present derivation of, but I can see how it may appear that way.
HN generally frowns upon jacking about, even when The Famous Article itself is humorous, as in this case.
What's especially important is non-obvious state.

I was trying to use a function. You had to create an instance of it to use it, but I was using one method that by appearances should have been static. You feed it an input, it gives you an output, there's nothing to remember. I was calling it from multiple threads--occasional corruption. There must have been something being stored into the object but I have no idea what or why.
Adventure games have already been revived -- this article is from 20 years ago, and there was a sustained resurgence in the genre that began only a few years later.

LLMs are terrible for this sort of thing.
> I had been talking to the candidate for months and they had completed our entire interview panel. We’d had great conversations where I’d learned about their background and developed a sense for how they would fit in this role. Unfortunately, I had to tell them we would not be moving forward with an offer.

"Hiring" isn't the emotional thing here. The emotional thing was knowing you were shitty to someone. You were shitty because you took months to build a relationship with this person and didn't have a compelling reason to say yes or no, and decided to say no. If you saw gaps, you should have said no sooner. If it takes you months of talking to someone and building a relationship to decide they're not right for the team, it's not hiring that's the problem, it's that you're bad at hiring that's the problem.

There's exactly no reason to lead a candidate on for months. If you ever get to the point where scheduling a 1:1 zoom conversation is implied to be a job offer, you've fucked up. Interviewing isn't personal, it's business—until you've spent long hours making it personal.

> Hiring is a roller coaster. It involves more ups and downs than normal engineering work.

It might be a roller coaster, but the longest roller coaster by duration in the world is four minutes. Keep that in mind.
Not only the ones that fled, there was also a huge brain drain after world war into both US and USSR, with von Braun probably being the most prominent.
It’s actually a pretty good article. The information that the author has is limited.
I don't think there's a real need to justify technological progress as a default. That has been the default for at least a century or so, and I think it's done us quite well. The unorthodox thing is the idea that we should avoid technological progress, and if there isn't good evidence for that, then we should ignore it.
> guy who apparently knows a lot

https://www.csmonitor.com/About/People/Dan-Geer
It's not just mathematics but physics as well.

For example Paul Dirac, Max Born, Einstein, Enrico Fermi, Heisenberg, John von Neumann, Oppenheimer, Max Planck, and Wolfgang Pauli either studied, did research or had a profession in Göttingen
I also would bet a "sacred book" of some sort also worked as a prerequisite, because the demand was huge, making the crude initial implementation profitable. In absence of some sort of sacred book that made the same standard text of interest for almost 100% of the literate population, the second best alternative probably would have too limited runs to make it profitable.
i.e., an arbitrarily-selected interface capable of reaching Cloudflare.
It is really annoying when workers get paid slightly more fairly for their output
Thanks! I used the integrated tuner in my KX2. Worked perfectly.
Similar project which runs in Docker:

https://github.com/favonia/cloudflare-ddns

It's cache friendly and respectful of rate limits
Well, these days SDE means "don't bother properly engineering your software, just throw away the entire system environment and re-make it!" aka containers, so...
I've been building my systems since 1999 and I've been pragmatic. Buying what was best at the time. I never had stability problems with both AMD and Intel.
Isn't use part of Elixir?

At least I saw it in Elixir in Action, use GenServer or something...
Russia was of course incredibly backwards by European standards, but in the run-up to WW1 it was industrializing rapidly. Part of German strategic calculation was that if they waited too much longer after 1914 to fight a war with a modernizing Russia that they would lose.

Plus, it wasn't even the Communists who deposed the Czar. He was already gone after the February Revolution, 7 months before. The main contribution of the Communists to the cause was to spend the next two decades committing mass murder and achieving mass starvation.
Discussion (107 points, 1 day ago, 37 comments) https://news.ycombinator.com/item?id=41080063
Even Microsoft doesn't touch NTFS code (if they haven't lost it). All new file system features like new compression methods are implemented on layers above ntfs.
Reasonable is definitely an opinion, but that doesn't mean it's random.

In legal and economic contexts, reasonable profits are a thing that is routinely calculated. Where industries are more regulated, 'reasonable' profits are often bound by statutory guidelines. In more competitive markets, prices are not fixed in the same way but you can take a look at industry standards to ascertain what might be reasonable.
I don't agree with your assessments but I don't have the time to discuss it on HN. Back to work for me.