skysight-inc/HackerNews huggingface dataset:
This is exactly why it’s stupid to trust Musk & Doge, even if you agree with their approach. It’s a basic fact that it’s a huge conflict of interest. Musk has several companies who stand to benefit from his influence in government, and he can easily personally benefit from changing the IRS like you say.

It’s fundamentally not possible to trust a person in that position — no matter their intentions. (And Musk’s intentions are pretty likely related to the personal power he gets from this situation — why else would he risk jumping on board with a controversial administration?)

It’s not trustworthy on a fundamental level. If you want the government to change like this, you should have voted for people who are cool with transparency and accountability.
I’m more inclined to agree with you but just being ominous doesn’t add any value to the discussion.
> They don't want to have to understand DNS, linux, or anything else beyond whatever framework they are using.

This is baffling. What’s value proposition here? At some point customer will be directly asking an AI agent to create an app for them and it will take care of coding/deployment for them..
So weird to be a fan of The Culture and also be anti-trans.
try 850 billion. that was the defense budget for 2024. and yes. this is picking up pennies from the couch cushions.
Why isn’t there a service which lets AI vet responses in your inbox before you view them?
I don't know. Stuff breaks all the time for other more mundane reasons too. I thought you had some inside info about it.
"After migration completes," but they haven't even started it yet. Kinda skeptical that it's gonna happen at all.
> It's not because it is written in Rust that it is efficient, is it?

no, but 1) Rust significantly raises the boundary and on average it's probably more likely too
Not to nitpick, but "taxing the 1% will solve our country's financial problems" comes off as a bit of a strawman. "Tax the rich" is a common sentiment, but I don't often hear people saying the rest of it. There are plenty of plausible reasons one may want to tax the rich even if you don't believe it is a total solution. For one, you may be concerned about the power imbalance created when a handful of people have more wealth than half the country combined [0]. Recent developments have brought that concern into even sharper focus for many.

0. https://www.bloomberg.com/news/articles/2020-10-08/top-50-ri...
Msxbook OneChipMSX MSX2 Computer
Products with volatile demand don't necessarily follow.
You described two points in an spectrum in which:

One end is PaaS like Heroku, where you just git push.
The other end is bare metal hosting.

Every option you mentioned (VPS, Manages K8S, Self Hosted K8S, etc) they all fall somewhere between these two ends of the spectrum.

If, a developer falls into any of these "groups" or has a preference/position on any of these solutions, they are just called juniors.

Where you end up in this spectrum is a matter of cost benefit. Nothing else. And that calculation always changes.

Those options only make sense where the cost of someone else managing it for you for a small premium gets higher than the opportunity/labor cost of you doing it yourself.

So, as a business, you _should_ not have a preference to stick to. You should probably start with PaaS, and as you grow, if PaaS costs get too high, slowly graduate into more self-managed things.

A company like fly.io is a PaaS. Their audience has always been, and will always be application developers who prefer to do nothing low-level. How did they forget this?
I started buying Macs with more memory, no regrets. An M4 Max with 64GB (in a laptop, no less!) runs most small models comfortably (but get 96GB or more if you really intend to use 70B models regularly). And when I'm not running LLMs, the memory is useful for other stuff.
Neutral party here: who wanted that? Award-winning doesn’t mean anything standing alone, unfortunately.
Regarding [1], do you foresee this changing at some point? I'm interested in self hosting, bit have heard consistently that it is painful, so I've been waiting in the hopes that it will eventually improve.
Energy dominance and blocking federal funding to schools that mandate covid shots.
They don't suffer from recency bias when you dump the docs right into their context.
Sure. But that isn’t a reason to conflate the two?

OP wasn’t suggesting looking for an alternative/successor to MLPs, but for an alternative/successor to transformers (while presumably still using MLPs) in the same way that transformers are an alternative/successor to LSTMs.
Hypothetical scenario for Nvidia licensing of fast-start microVMs:

1. Instead of blocking VM start for license validation, convert that step into non-blocking async submission of usage telemetry, allowing every VM to start instantly. For PoC purposes, Nvidia's existing stack could be binary patched to proxy the license request to a script that isn't blocking VM start, pending step 2 negotiation.

2. Reconcile aggregate vGPU usage telemetry from Nvidia Fly-wide license server (Step 1) with aggregate vGPU usage reports from Fly's orchestration/control plane, which already has that data for VM usage accounting. In theory, Fly orchestration has more awareness of vGPU guest workload context than Nvidia's VM-start gatekeeping license agent, so there might be mutual interest in trading instant VM start for async workload analytics.
Oh shit, somehow I hadn’t put that together! Ha! Well played!
Not all cloud / VPS providers require KYC
I have a timeline that I am still trying to work through but it goes like this :

2012 - moores law basically ends - nand gates do t get smaller just more cleverly wrapped. Single threaded execution more or less stops at 2 GHz and has remained there.

2012-2022 - no one notices single threaded is stalled because everything moves to VMs in the cloud - the excess parallel compute from each generation is just shared out in data centres

2022 - data centres realise there is no point buying the next generation of super chips with even more cores because you make massive capital investments but cannot shovel 10x or 100x processes in because Amdahls law means standard computing is not 100% parallel

2022 - but look, LLMs are 100% parallel hence we can invest capital once again

2024 - this is the bit that makes my noodle - wafer scale silicon. 900,000 cores with GBs SRAM - these monsters run Llama models 10x faster than A100s

We broke moores law and hardware just kept giving more parallel cores because that’s all they can do.

And now software needs to find how to use that power - because dammit, someone can run their code 1 million times faster than a competitor - god knows what that means but it’s got to mean something - but AI surely cannot be the only way to use 1M cores?
I'm not entirely certain. Or perhaps we're all part of both groups.

I want to understand LLMs. I want to understand my compiler, my gc, my type system, my distributed systems.

On the other hand, I don't really care about K8s or anything else, as long as I have something that works. Just let me `git push` and focus on making great things elsewhere.
Give https://modal.com a spin -- email me at deven [at] modal.com and happy to help you get set up
I could be wrong, but my impression is that GDP is usually thought of (by non-economists) as a trailing index that has some sustainability baked in, by inertia if nothing else. Military spending would normally track reasonably well with that. What Russia is doing... doesn't sound sustainable.
The Two Types of Creatives (and Why the World Needs Both)
This looks interesting: https://www.youtube.com/watch?v=ZLtXXFcHNOU

Chain of thought in latent space.
“Incredible” is far from a given. If DOGE doesn’t provide enough benefits to cancel out the billions if dollars of economic disruption it’s causing, or if the purported savings turn out to be misrepresentation instead of real, you look like a political hatchet man instead of an engineer. A reputation for making mistakes (like making your web site world-writable) and jumping to conclusions probably isn’t what you want.
The main value proposition is that it unnests the code. Constantly moving logic into CTEs is another way to do it but comparatively it feels very clunky after a while. For example to inspect intermediate stages of a raft of CTEs, you end up having to write a different final clause. You also can't easily skip a stage. With pipes you just comment out the part of the query you don't want, at the bottom or in the middle, and you still have a syntactically valid query.

With today's pipe syntax CTEs are still needed to deal with teeing situations (multiple references to a single table) but for just a chain of transforms it is a lot simpler.
Promoting US interests isn't "donating".

Some of the spending probably does fit that description, but I bet if we had a truth oracle that could actually tell us, it would be a lot less than you think.
I mostly agree - a lot of my career growth is just from taking meeting notes and actually keeping track of everything. It turns out people are terrible about this, and it's incredibly helpful to have an actual record (especially since inevitably someone misses the meeting, or you need to refer back to a random detail 6 months later)

That said, there's definitely industries where this is incredibly inappropriate, especially when the information is sent to a 3rd party. Google does not need a transcript of all my doctor's appointments.
The problem is that practically every company which can spend money is asking developers to explore AI development tools. It’s becoming a bare-minimum feature for many, which is why Cursor has exploded in popularity.

The other stuff is awesome and important (debugger when!?), but AI is becoming table stakes for even participating in the current tech economy. It’s all execs are talking about. So it’s not surprising they’ve prioritized this work
This is news to us. Our primary DX is a CLI. One of our defining features is hardware isolation. To use us, you have to manage Dockerfiles. Have you had the experience of teaching hundreds of Heroku refugees how to maintain a Dockerfile? We have had that experience. Have you ever successfully explained the distinction between "automated" Postgres and "managed" Postgres? We have not.

You're not wrong that there's a PaaS/public-cloud dividing line, and that we're at an odd place between those two things. But I mean, no, it is not the case that our audience is strictly developers who do nothing low-level. I spent months of my life getting _UDP_ working for Fly apps!
Plenty of non-IT applications use lots of cores, e.g. physics simulations, constraint solving, network simulation used to plan roads or electrical distribution, etc.
Ask HN: Is Meta really building humanoid robots?
This is a sure sign that the company either has no idea what it's doing, or has run out of ideas and it's only viable product is a monopoly on people's contact list.

Seriously. Humanoid robots? Thoughts?
> The flip side is that if dismantling a federal agency doesn’t break anything

It's like removing smoke detectors in a house. Or stopping home inspections entirely.

It won't really cause problems. Heck, it will improve the economy in the short term.
Another one for the openscad awesome list:
https://github.com/elasticdotventures/awesome-openscad

Personally I've stopped using openscad recently (*in the last few years). I found it's lack of ability to create attachment/mate connectors significantly inhibited it's ability to compose complex objects. I looked into the amount of effort required to support attachments and ultimately decided that it was the wrong approach and have since migrated to Python & cadquery.
Sure. We also could have virtualized CUDA ourselves, used MIG on the host-side, and done a proxy PCI passthrough driver thing in Cloud Hypervisor. I think we could have gotten it to work. But it would have been a huge lift. I'm glad we didn't try.
Misusing "troll" to refer to online harassment (which is already vague) is annoying. Trolls do it "for the lulz". It is funny, to the troll, to see people overreact to things. The measure of trolling is the ratio of the troll's effort expended to the effort expended by the trolled, lower is better. Trolling is not good for forum quality, but it is not harmful to individuals. It isn't harassment, any more than rudeness is. You could harass someone by repeatedly trolling them, just like you could harass someone by repeatedly being rude to them, but they're still distinct. There are a few very online people that are notorious for being unable to resist the urge to respond to trolls.

What this article appears to be referring to is cyberbullying, not trolling. Cyberbullying is real and pervasive, especially among teenagers. It is more prevalent on social websites with private messaging. I've never seen it on HN. Trolling here is not unheard of.
Show HN: Tools for Math Research
As a former mathematician, I found research to be a very winding path. While that can be fun, I felt there's a lot of opportunity to train LLMs and ML models on the corpus of math papers, to try to make research more deliberate and less reliant on talking to the right person at the right time.

This is very much a work in progress but so far you can:

* Browse through similar papers

* Get recommendations for new papers and collaborators

* Chat with papers and ask questions to all the major reasoning models

* Have it come up with future paper ideas (along with references) giving a potential title or collaborators.

My focus very much is on the exploratory stages since that's where a lot of the time is spent, but I intend to integrate more tools for problem solving, writing, and computation.
I don't think it is different. The point is, the same people who did not complain about Obama's policies in 2016 are finding issue with the same policies in 2024. So the motive is purely political and improving FAA hiring practices has nothing to do with it.
GPU slices are absolutely a thing. Only supported on the enterprise GPUs tho and requires an additional paid Nvidia software license.
Some of the main points I had:

- At least _mentioning_ Vite directly on the "Create a Project" page _is_ genuinely a step in the right direction. That said, they're going out of their way to still not just directly say "creating a basic SPA with Vite is a valid option for using React", and at this point it just looks pretty ridiculous. (Someone pointed out that the Svelte docs start with "Use SvelteKit"... and then the very next thing is "or add Svelte to a basic Vite project with this template". That's what's needed here.)

- I get the _intent_ of the "Build Your Own Framework" phrasing (ie, "choosing to self-install a router, data fetching lib, etc, results in a poor self-created framework"). That said, the "BYOF" page is the opposite of what's needed. It needs to be concrete steps to guide beginners into setting up an app with Vite or Parcel and recommending specific tools to add and techniques to use. Instead, it's "Step 1: Install Vite or Parcel"... and then multiple sections of "Look how hard routing, data fetching, and rendering are, you'll _never_ get this right yourself, use an existing framework instead, DON'T DO IT YOURSELF!". The content would be great if it was on a page titled "Web App Perf Basics", or "Framework Capabilities". But given that this is linked from the "Create" page with the hint of "follow steps here to get going DIY", this is the wrong content entirely.

- Similarly, the repeated use of "framework" to mean "a pre-existing thing someone else built" vs "a set of libs you added yourself" is confusing. Along with that, the overall tone generally comes across as "we don't want to acknowledge the breadth of ways that people use React in practice, and we're going to keep repeating the word 'framework' because we don't trust users to know how to make decisions themselves and we know what's best for you".

- I understand why they tried to emphasize "Next/RR/Expo can all export plain SPAs with no server needed!". That knowledge is genuinely not widespread. But, I don't think a bright green callout with that info should be the _first_ thing on the "Create a Project" page. _Somewhere_ on the page, sure, but it's not the most critical thing to show right away.

So, actual genuine improvement... and yet still kinda frustrating to read and see the phrasing and messaging so far off from what it _ought_ to be.
And Mexico, and Gaza for that matter!
> Please Stop Inviting AI Notetakers to Meetings

Would if I could figure out how to uninvite my otterpilot ^^'
As a libertarian skeptic, this was a delightful tale.
I'd guess significantly less after this debacle.
He and Xi laugh themselves to sleep every night. Especially Xi, since he hasn't stuck one of his hands into a meatgrinder.
Not to fully encapture C's variadic printf, but on the macro front, I've been having fun creating type checking for macros by a constexpr allocation from a _generic switch type check of the args and then checking the result with static_asserts. I think there was a hack before as you mentioned but would have to dig through my tests to find it, but the C23 version is quite clean. Might want see if I can get it to be clean for a variadic printf version.
I heard him on Art Bell multiple times talking about it. I many cases, someone else did the ground work and he just used it.
It's a Red Hat kernel, so it's not... I mean, it is 3.10, but it's not the 3.10 that was released in 2013; it's frankensteined with backports from newer kernels.
I used to think this, ut it only works if the abstractions hold - it’s like if we stopped random access memory and went back to tape drives suddenly abstractions matter.

My comment elsewhere goes into but more detail but basically silicon stopped being able to make single threaded code faster in about 2012 - we just have been getting “more parallel cores” since. And now at wafer scale we see 900,000 cores on a “chip”. When 100% parallel coding runs 1 million times faster than your competitors, when following one software engineering path leads to code that can run 1M X, then we will find ways to use that excess capacity - and the engineers who can do it get to win.

I’m not sure how LLMs face this problem.
Correct. It's Web 3.0 2.0. You're supposed to play along to make the stock prices go up and to the right.
https://archive.md/sKLxw
We certainly need abstractions for the first layer of the hardware. An abstraction of the abstraction can be useful if the first abstraction is very bad or very crude. But we are now at an abstraction of an abstraction x 8 or so. It's starting to get a bit over the top.
$2.1 trillion was spent on the clean energy transition in 2024.

It's a huge complex effort, but it's definitely not coordinated and never will be.

https://about.bnef.com/blog/global-investment-in-the-energy-...
And all this before you even get to "how much of an impact of X on Y should there be before it is even close to a bottleneck that's worth actually acting on, and do we think it reaches that threshold?"
I enjoy the details, but I don’t get paid to tell my executives how we’re running things. I get paid to ship customer facing value.

Particularly at startups, it’s almost always more cost effective to hit that “scale up” button from our hosting provider than do any sort of actual system engineering.

Eventually, someone goes “hey we could save $$$$ by doing XYZ” so we send someone on a systems engineering journey for a week or two and cut our bill in half.

None of it really matters, though. We’re racing against competition and runway. A few days less runway isn’t going to break a startup. Not shipping as fast as reasonable will.
Isn't there? Discord has something a bit like that where you can toggle a feature that does some filtering of messages from strangers. It might just filter out sexual images but I thought it also did sentiment analysis on messages.

Some people use sentiment analysis to filter tweets, I think.
I agree. Have always felt that USDS/18F are best in class examples of tech innovation being brought to perhaps slightly tech-backwards areas of government, and doing the interpersonal work to bring other agencies along as well.

The UK’s Government Digital Service is similar. They’ve got some good examples of doing unglamorous but impactful work -e.g. replacing dozens of different payment processing systems with one quality one, the same thing for sending physical letters, etc.
I disagree with many of the current cuts, but other administrations did the work that got us the plane crashes.

https://www.tracingwoodgrains.com/p/the-full-story-of-the-fa...
Gosh I still miss StumbleUpon
I've not seen a person have an actual coin in their "penny loafer" since at least 1992.
The reason people summarize things, often without being correct, is that the world has become too complicated to model. It’s an outcome of the situation, not just a corresponding trend.
I've never seen a mid-sized C codebase that annotate "restrict", "nonnull" pointers and "pure", "const" functions so thoroughly, very interesting, would be an important case study if I ever get around to write C optimizer passes.
defederators are morons, but they're the same class of moron from Tumblr that invented things like the "DNI list"
What ended up happening? How did they get it out? Removed the moulding or something else?
Largest Golf Simulator
I don't think linking to raw video is helpful or informative; textual reports are better for HN. Video commentary is better handled on Youtube or Tiktok.
Since the rest of the advisory is demanding full scale rewrites into a new language based on llvm that has officially nuetered it's gcc port, I don't think they really care about those sorts of concerns. Hence my annoyance at their proposal. The fbounds devs do, as the design allows for modified source to be still compilable in alternative toolchains that do not support fbounds (you can remove them via macros) and they are working to add it to gcc. And I don't think its going to matter much soon if it's limited to gcc/llvm, as all the proprietary vendors left and right are dropping their 30+ year compilers to piggyback off llvm (I don't exactly agree with this btw, but it is what it is).
If undergrad doesn't teach you how to learn at at least some level, that probably makes me question some of the value in getting an undergrad degree at all as that's one of the arguments for going through undergrad. I won't argue that a PhD isn't something of a next level but obviously there's a big cost involved, especially if PhD-type research isn't something you'll be doing.
Tell me. How many?
This?

> Every time I point this out, I get jumped by a bunch of Tesla fanboys, $TSLA holders and the usual associated crowd.

You have no basis to accuse me of any of that based on my single question to you. I disagree with you. I politely asked for your personal experience, which differs somewhat from mine. You are being rude.
Reading this, sitting next to my 6 year old son, my ears tear up and I’m reminded to cherish every moment. Truly saddened by these kinds of stories and just how quickly it could happen to any of us.
why is that? how is it different from WASM? podman can be rootless, and it runs inside its own sandbox on the server side as much as WASM runtime does. Plus there are many sandbox options on linux for podman.
It's absolutely the worst, the posts are pure cancer. But I've got like 5 of my 7 jobs over the past 15 years from LI. In conclusion, it is a land of contrasts.
As someone who only recently retired my IBM model F, those are some hot and spicy keyboards. I wish I'd learned about his book sooner.