skysight-inc/HackerNews huggingface dataset:
Baltic states are tiny compared to Russia, and Russians really don't care how many soldiers they lose. So, of course Russians can steamroll the Baltics if there isn't significant foreign help. But I agree it's EU leader's job to finally increase military spending, invest to grow our economies instead of following BS austerity policies, and make sure we can defend Eastern Europe.

As far as US-Russia-China relations go, you can't trust any promises Russia makes to the US. They will betray Americans as soon as China offers them a better deal, which I believe they can. They can just wait until China invades Taiwan, and then attack Eastern Europe & make deal with China while America is too busy fighting them.
Yeah, almost necessary at a high level (and online), however I play against fish most of the time. I am also 18 and lack connections/capital/time to enter high level games.

I would say markets are approx. zero-sum on small time-scales. And low-beta alpha is better sourced from treating the market as zero-sum. Short-term price movements are primarily driven by the redistribution of wealth between market participants rather than by the creation of new fundamental value, making strategic positioning against other traders more effective for generating uncorrelated returns.
> Is there a way to poke for bus speed and vram amount?

Unfortunately, I’m not aware of any way to reliably get this type of information browser-side.

If you really want to see how far you can get, your best bet would be via fingerprinting, which would require some upfront work using a combination of the manual input you already have now and running some stuff in the background to collect data (especially timing-related data). With enough users manually inputting their specs and enough independently collected data, you’d probably be surprised at how accurate you can get via fingerprinting.

That said, please do NOT go the fingerprinting route, because (1) a lot of users (including myself) hate being fingerprinted (especially if done covertly), (2) you need quite a lot of data before you can do anything useful, and (3) it’s obviously not worth the effort for what you’re building.
Winners of the $10k ISBN visualization bounty
You can get in the building with a bit of social engineering. I live in an apartment complex. Put on a DHL or Dominos cap and nobody cares.
It's your front door lock that is the real barrier.
> Your salary is so low even your legacy code feels sorry for you.

> You're the only person on HN who thinks $800/month is a salary and not a cloud computing bill.

ouch
Thanks for the feedback! Fellow Tennessean here so I'm a bit embarrassed. I fixed the Make your voice heard embed (we removed a CallPower integration).

I'm working on fixing the letter now.

We built this tech when having five or six states with bills was exciting. Now, 50 states times two chambers times sometimes two or three bills has become a whole thing to keep track of it all.

Keeping all of these bills up to date across 50 states that change every year is quite the project. It's a pretty manual process right now, alas. I'd love to automate it.

Everyone else: please thread any bill year mismatch / other issues you find here, and I'll fix them!
He wasn’t stupid. He’d observe their own developers and see how they rely on the terminal and command line for their work. He’d ask pointed questions and demand thoughtful answers.

Then he’d find a way to make it the #1 AI developer platform or distort reality until it is.
I think there's a fundamental disconnect here and I'm not sure if I quite see it.

It seems to me as if you're speaking about a hypothetical scenario where Rust needs something from the interface that isn't required by other languages. And you can't articulate what that might be because you can't think of an example of what that would look like. And also, in this scenario, Rust is the primary user of this driver interface.

But if that's the case, it's getting really close to "if things were different, they'd be different". If that's not the case, then I don't understand your case.

There's nothing wrong with the interface. Rust can use it just fine. It doesn't do anything C code wouldn't. They're not even asking for anything from what I can see. The person who maintains the DMA driver doesn't want Rust _using_ his interface, he's rejecting PRs where Rust code is interfacing with his driver.

The closest analogy I can think of is he wrote a book, but he doesn't want left-handed people to read it.

The API maintainer should only be concerned how the API is consumed in only that it is consumable and doesn't cause unintended side effects. And neither of those should be impacted by the language used to consume the API.
MS-DOS 6.22 from 1994 isn't stable enough?
>The Kardashians did not have money disbursement and firing authority over vast swathes of the US federal government.

True. However, I will point out that this has absolutely nothing to do with SpaceX, not even indirectly. If OP had said that he wishes that Musk had no authority/influence in the execute branch, that might or might not be something I disagree with, but it would make sense.

> but I feel that demands a little more scrutiny

Yes, but the first comment didn't demand scrutiny, it demanded punishment.

>We certainly should not lower the expected standards of behavior

Not sure how this falls under behavior. Is he farting under the dinner table? Refusing to wear pants in public? You don't like his policies, which makes him a member of the dreaded "other tribe".

>and give a free pass on things we expect normal people without the power to do extreme harm to abide by.

Which things would those be, exactly?
The Trade Act of 1974 gives the president power to impose retaliatory tariffs.
Don't start with web development if your kid is just interested in learning more about how computers work or writing some code. As others have said there are a lot of beginner friendly tools that teach fundamentals better.

Different story if your kid explicitly wants to make something on a website
I'm complaining about Musk, and there is no part of my comment history that suggests the pattern of behavior you suggest. I'm not inclined to speak for anyone else though, so if you have a problem with how someone else handles this, I'd take it up with them.

My concern is that a clearly unstable degenerate is running strategically critical part of our economy. It really is that simple. The company is great, the man in charge is not, and unless he can clone himself he isn't spending much time running it. I don't think his removal or sidelining would be a loss to the company, and it would be a boon for national security.

Don't want Uncle Sam in your business? Don't take government contracts, especially not NatSec ones.
Abstract logical circuits are still leaky abstractions, for example hazards are possible.

https://en.wikipedia.org/wiki/Hazard_(logic)

Yes you can go even more abstract and ignore time flow completely and have pure boolean logic, but then it can't be practically implemented at all.
> Is there any reason to believe that if someone else were in charge, that progress would improve?

With him running six companies and half the Federal government, is there any reason to believe he is meaningfully in charge at SpaceX for day-to-day operations? If I had seven jobs my boss would be pretty peeved at my part-timed-ness.
Looks great. Sent you a DM.
Privatizing the infrastructure doesn’t solve that problem. It only means that some entity will extract profits on top of the maintenance cost. A publicly-owned service can operate at-cost.
We do know what happened when Jobs returned. He turned a company that was 90 days from bankruptcy into the biggest company in the world.

With the same staff.

That's the difference the right leader makes.

Let's look at what Musk has done:

1. completely revolutionized the space industry, from the ground up

2. deployed starlink, which saved lives in N Carolina and revolutionized satellite communication

3. revolutionized the moribund electric car industry

4. with Neuralink, has revolutionized the lives of quadraplegics. He's extending that to hopefully provide sight to the blind

It's hard to think of any other individual who has contributed so much to the betterment of humanity.

> immature children

LOL
Filing: https://storage.courtlistener.com/recap/gov.uscourts.cand.44...
I think we're talking past each other.

Of course you don't owe them anything. And the disclosure is a gift, unless you also use it for self-promotion, which is the usual compensation model aside from bounty programs.

But if you want to improve the ratio of reasonable-to-hostile responses, it's worth spending an extra couple minutes composing your presentation in the most digestible way. Also it's good for business.

If you're serious about helping to improve the net, or being a good netizen, you'll understand that recipients come in all shapes, and you have the best chance of achieving your goals if you make a small extra effort.

If you're at all worried that your report will evoke a hostile response, you always have the option of reporting it anonymously. I've done this, and it does work (vulnerability gets fixed).

Or if you just want to laugh at the colossal morons who don't take you as seriously as you believe you deserve, then sure whatever.
I've found that most of the technological advancements over the last decade or two haven't given me much, if any, reason for optimism.

> the world population figures are not anymore exploding and there will be a plateau rather soon.

This is indeed good. I'll be even happier if, after the plateau, we see the world population start to decline toward a more sensible level.
Constructing basic math from minimal foundations.

This can be done from Minimal logic, Intuitionistic Type Theory (ITT) / Martin-Löf Type Theory (MLTT), or Combinatorial Logic. For reason that I'll detail later, I wanted to go with an intuitionistic logic rather than classical logic.

An interesting question, is what is the minimal axiom that you need to start with. I wa building at the same time both the multiverse and the logic on which it is built, so I have to be aware of information-symbolic resonance between physical stuff and the laws themselves.

The Very First Axiom?

So, what's the absolute "first" one? It depends on the framework:

ITT/MLTT: The most plausible candidate for a single "first" axiom is the existence of the empty type (⊥). This establishes the notion of a type without requiring any prior concepts. All other types and rules are built from the ability to have types, and the empty type is the simplest possible type. Alternatively, you could say the "first axiom" is the concept of a judgment of the form a : A, which asserts that something is a type, or that something has a type.

Combinatory Logic: The concept of application is the fundamental starting point. The axioms are the definitions of the combinators (S, K, and optionally I).

Minimal/Intuitionistic Logic (more traditionally presented): Here, it's often presented in a sequent calculus or natural deduction system. The "first" rules are usually things like:

Identity (or Axiom): A ⊢ A (A proves A) - this is about the very notion of provability.
Weakening: If you can prove something from a set of assumptions, you can still prove it with more assumptions.
Assumption: You are allowed to assume a proposition.
Totally agree. I continue to be blown away at how good it is at understanding, explaining, and writing code. Got an obscure error? Give Claude enough context and it is pretty dang good and getting you on glide slope.
Just want to say nice job and keep it up. Thrilled to start playing with 3.7.

In general, benchmarks seem to very misleading in my experience, and I still prefer sonnet 3.5 for _nearly_ every use case- except massive text tasks, which I use gemini 2.0 pro with the 2M token context window.
Maybe this is too tin-hatty, but sending the unpublished manuscript from (or to) a free Gmail account gives Google the right to use it, and therefore also to train whatever AI model they want with it.

Sounds like all of those claims where ChatGPT allegedly coded a flappy bird clone from scratch. Only it didn't, it just regurgitated code from several Github repos.
Show HN: AI and low-code internal tool builder
I haven't personally experienced that problem. Updates on Mac have always been smooth for me. But I'm a sample of one and it's probably workflow dependent.
> We do know what happened when Jobs returned.

But, without a time machine, we don't know what 1980s-era Jobs keeping his CEO role would've looked like.

> With the same staff.

And more than a decade of additional experience under his belt. (And nearly running NeXT and Pixar into the ground!)

This is... not controversial; Jobs himself said so. https://www.newsweek.com/wilderness-years-68157

> "The heaviness of being successful was replaced by the lightness of being a beginner again, less sure about everything," he said at a famous Stanford commencement speech in 2005. "It freed me to enter one of the most creative periods of my life."
Not saying you're wrong, but... I have seen claims that tariffs are a source of government income that Congress doesn't control. You're claiming they do.

I haven't seen a citation from either side. Can you substantiate your position?
Usearch is a vector store afaik, not a vector db. At least that’s how I use it.

I haven’t compared it to lancedb, I reached for it here because the author mentioned Faiss being difficult to use and install. usearch is a great alternative to Faiss.

But thanks for the suggestion, I’ll check it out
Students often produce this algorithm by mistake in first year programming. It works in spite of the fact that they don't know what they are doing.
Quite a lot of cash to generate AI stickers in messenger.
But isn't ffmpeg itself use lame for mp3 encoding? I primarily use the app for wav -> mp3, but my planned feature is to create ffmpeg "templates" for conversion, so u can use it for video as well.
That thing knows me better than I know myself
Perhaps it's a cloaking device designed to make it Musk-resistant? I'm guessing he's familiar with the real ARPA.
How AI Helps Me at Work: A Developer and Team Manager's Experience
that's what I mentioned above, read again
I wanted a multiverse with unbound possibilities.

Why? Her's a recap of Max Tegmark's ideas:

Level I Multiverse (Spatial Infinity): If the universe is infinite and homogeneous on large scales, then everything that can happen will happen, infinitely many times. This is relatively straightforward mathematically, relying mostly on probability and basic assumptions about the distribution of matter.
Level II Multiverse (Bubble Universes/Eternal Inflation): This arises from inflationary cosmology. Different regions of space can undergo inflation at different rates, leading to "bubble universes" with potentially different physical constants and laws. This involves:
Quantum Field Theory (to describe the inflaton field driving inflation)
General Relativity (to describe the expansion of space)
Stochastic Processes (to model the randomness of inflation)
Level III Multiverse (Many-Worlds Interpretation of Quantum Mechanics): Every quantum measurement causes the universe to "split" into multiple branches, each representing a possible outcome. This relies heavily on:
Linear Algebra (the mathematics of Hilbert spaces, where quantum states live)
Functional Analysis (dealing with infinite-dimensional vector spaces)
Level IV Multiverse (Mathematical Universe Hypothesis): As discussed above, this is the most radical, encompassing all mathematical structures.
Its similar to roads in a lot of ways, one of the important ones is that there is a civil/social utility in ensuring even remote people are "connected" by road or internet to the rest of the country/world, often at a cost to the society outside of private profit.

So the idea that it needs to be self-sustainable or profitable to be considered working is myopic. The completion/connection of the people is the achievement, the sustainability and integration with private companies hopefully reduces the government burden and enables innovation and competition without the need for vast capital expenditures.
It sounds like a marketing guerilla tactic rather than a funny web site.
Since a lot of ML data is stored as parquet, I found this to be a useful tidbit from lancedb's documentation:

> Data storage is columnar and is interoperable with other columnar formats (such as Parquet) via Arrow

https://lancedb.github.io/lancedb/concepts/data_management/

Edit: That said, I am personally a fan of parquet, arrow, and ibis. So many data wrangling options out there it's easy to get analysis paralysis.
MAGA? It's funny how inundated Canada is with leftist propaganda. Poilievre is barely right of centre...

We had far more restrictive laws on immigration and the LGBT community in the days of the Chretien-Martin Liberal government for example...
Can you elaborate a bit on the dependency-handling topic? I've always thought that Bitbake's dependency handling worked pretty well. It only has package-level granularity, but is quite good within that context.
Could someone explain the “Necessity and noema” section [1] or share a reference? Looked like it might be significant but I couldn’t make much sense of it

[1] https://vekatze.github.io/neut/terms.html#necessity-and-noem...
Claude 3.7 Sonnet scored 60.4% on the aider polyglot leaderboard [0], WITHOUT USING THINKING.

Tied for 3rd place with o3-mini-high. Sonnet 3.7 has the highest non-thinking score, taking that title from Sonnet 3.5.

Aider 0.75.0 is out with support for 3.7 Sonnet [1].

Thinking support and thinking benchmark results coming soon.

[0] https://aider.chat/docs/leaderboards/

[1] https://aider.chat/HISTORY.html#aider-v0750
Competitive programming sounds aweful. Anything creative should be made of joy!
DietPi released a new version v9.11 (Pi-Hole v6 support)
DietPi is a lightweight Debian based Linux distribution for SBCs and server systems, with the option to install desktop environments, too. It ships as minimal image but allows to install complete and ready-to-use software stacks with a set of console based shell dialogs and scripts.

The source code is hosted on GitHub: https://github.com/MichaIng/DietPi
The main website can be found at: https://dietpi.com/
Wikipedia: https://de.wikipedia.org/wiki/DietPi

The project released the new version DietPi v9.11 on February 23rd, 2025.

The highlights of this version are:
Pi-hole: Support for Pi-hole v6 added. This was the relevant change to issue the v9.11 release quick after the v9.10
Initial boot / Firstboot: Fixes for Quartz64/Star64/VisionFive 2 and WiFi connected hardware
Fixes for Fail2Ban
The full release notes can be found at: https://dietpi.com/docs/releases/v9_11/
Just an off by one error on OPs part, I guess
I don't think one needs to go so far as Leibniz's definition of optimism to maintain a happy and healthy mindset through today's media maelstrom. The state of the world is rapidly improving by most objective measures. There are serious threats to progress that we should always be looking at ways to combat, but we've overcome worse in recent history.

I think reducing consumption of pessimism is really all it takes. Consume the minimal amount of information required for you to do your duty to your democracy, and balance the negative viewpoint today's outrage-driven media imparts with some more objective and long-term looks at the general state of the world to remind yourself that even in just the last couple hundred years we've adopted democracy, abolished slavery, and greatly improved quality of life throughout the vast majority of the civilized world.
How does s.o. in his 80s look this well? Even considering the possibility of plastic surgery. Even on his 2010 photo in wikipedia he looks so insanely younger, perhaps 45 or something...
In a sense the invention of farming itself was a bunch of neolithic hackers fooling around with nature, which they knew almost nothing about, until they got it right.
The biggest two lessons that may or may not have been learned by this founder is they raised from the wrong type of investors and didn’t set expectations when the business started to look like a cash cow instead of a growth engine.

With the right investors could’ve funded a small team and turned a handy profit for those with equity.
World's largest data center gets go-ahead – facility to require 3 GW of power
> You've mentioned 'simple is robust' so many times that we're starting to think your dating profile just says 'uncomplicated and sturdy'.

> For someone who builds tools to automate everything, you sure spend a lot of time manually explaining why automation is the future on HN.

> Your obsession with sandboxed code execution suggests you've been traumatized by at least one production outage caused by an intern's unreviewed PR.

So good it hurts!
Always like reading the Best Kebab reviews on trip advisor. It’s right next to Queen Street railway station so fits with the study.

https://www.tripadvisor.co.uk/Restaurant_Review-g186534-d125...

> Not only was my food uncooked but I also discovered a pubic hair in my chips and cheese, then when I proceeded to report the problem, I was chased with a knife. Down Dundas Street.Absolutely scandalous
I’m not saying every C compiler is always perfectly predictable, but by virtue of it being a simpler language it should Always be more predictable than rust, barring arcane optimizations.

I do agree that if someone actually cares about the assembly they should be writing it by hand.
How is it that an app can block access to other apps?
Ubuntu [0] and some other distros have been trending towards disabling unprivileged user namespaces, unless you have specific AppArmor capabilities or other such mechanisms. So it's not something you can count on being available, unfortunately. (At least, not without jumping through many hoops to satisfy every distro's maintainers.) I've also had some ideas that have been stymied by a lack of unprivileged user namespaces.

[0] https://ubuntu.com/blog/ubuntu-23-10-restricted-unprivileged...
Even in a professional setting, you are not obligated to coddle aggressive stupidity. That's how we end up in a world where nobody says what they mean, everything is just BS on top of BS, and nothing improves. Being direct, being honest, and being accurate are critically important in professional technical work, and while it's not necessary to be antagonistic, it is completely reasonable and socially acceptable to respond in kind to the energy you get. People who are aggressively stupid do not get a pass.
You use teachers to train humans, but that doesn't mean teachers can't also be humans.
Story and Lessons Behind the Evolution of XGBoost (2016)
Another weird case: In Google's server-side JS environment Apps Script, function names that end with _ are treated as private functions that cannot be called directly by the user or enumerated.

1. https://developers.google.com/apps-script/guides/html/commun...
I find the webdev arena tends to match my experience with models much more closely than other benchmarks: https://web.lmarena.ai/leaderboard. Excited to see how 3.7 performs!
Micro-retirement: has Gen Z found a brilliant fix for burnout?
I believe it IS including those. From the link:

"Large amounts of natural gas are required in the manufacturing of fertilizer and pesticide, so these amounts are categorized as indirect energy consumption on farms. Overall, about three-fifths of energy in 2016 used in the agricultural sector was consumed directly on-farm, while two-fifths were consumed indirectly in the form of fertilizer and pesticides."
> I like it as is, a piece of art on how corporate speak is unrealistically obtuse.

Definitely obtuse. Why unrealistic though?
“People, no offense, don’t really love cucumbers. There wasn’t as sustainable a market for it,” Agus said.

Maybe stick to "secret" warrantless surveillance on US citizens.