skysight-inc/HackerNews huggingface dataset:
But why is that a problem?

Category theory is an API for mathematics that was developed with specific applications in mind that the API seeks to unify and make easier to think about. Those application domains are algebraic geometry, algebraic topology, homological/homotopical algebra.
Every API comes with trade-offs: typically an API makes one domain easier, at the cost of making other domains harder. Example: CSS is Turing complete.
And I think CSS is really good at helping with styling webpages. But I would not want to write a compiler is CSS.

Computer scientists, like myself, who read from Page 150
onwards have just found the API stylised for
algebraic geometry, algebraic topology, homological/homotopical
algebra, ... not that useful, for applications in computer science. Unlike the first 50 pages, which have been very useful. More specifically, we found the cost of using purely categorical APIs not worth the benefits in many application domains. Maybe we are missing something, maybe we overlooked something. But, given the investments since the 1990s of computer science into category theory, I'd like to see more evidence for!

To conclude with a concrete example: why would I write a compiler using an API for homotopical algebra?
Revisiting Hubris Appconfigs
> If you use your email with your bank, and other critical services I’d seriously not go with a one-person show.

OTOH using your own domain means you can easily migrate to a new email server in the event that Purelymail folds.
I don't think any generation is better than the other. They are just the biggest. If Gen X were the biggest then there would be some big political distortion in their favour instead.

And no they are not on the way out, they are still here and will be here for a long time. To the extent that Gen Xers will be better or worse, it is only because the demographic pyramid won't look quite as crazy or distorted.
100 cable "faults", but only 2/3-rd are from ships.
And, then, how many of those have been in the Baltic Sea in prior years?
66 incidents per year sounds like a lot, but there are so many cables and shipping lanes all over the world.
What I’d like to know is..
If a good model can be trained with much fewer GPUs using a breakthrough technique, can the breakthrough technique be used by OpenAI, MSFT et al who has loads of GPUs to train a model that is orders of magnitude better than their state of the art today?

We’ve been getting the impression that the limiting factor was the number of GPUs right? If so, this reduces that bottleneck and frees them up to do even better right?
Yes, I remember using that in PHP, very handy before sqlite JSON support, since it also worked with aggregate functions.

https://www.php.net/manual/en/sqlite3.createfunction.php
A good part of why so may of us are cautious about Wayland is precisely that one or more of the things we rely on doesn’t support it. For example, my window manager doesn’t. I use that window manager every single day, and there is nothing out there which works the way it does. It’s a vital part of my workflow.

Does Wayland support the entire Xcompose system or an equally powerful alternative?

Wayland does genuinely sound interesting, if flaky and half-baked (it reminds me of systemd in that way). Certainly, the world doesn’t owe me a port of my window manager. But if the Wayland transition forces me to use GNOME then my life will be worse.
This seems extremely niche. Maybe even petty? Why do you care where the taskbar is? Remember that every change breaks someone's workflow: https://xkcd.com/1172/
"Whereupon, three days after my father formally retired in 1988, he died in his sleep."

There's a deep point here about approaching life as it pertains to all the things we say we'll do after we retire.
But now (presumably) they don't need to spend 50 billion? e.g. 5 billion or whatever might be enough which makes it even easier for them to justify this.
I mean, I think they still do have an edge - ChatGPT is a great app and has strong consumer recognition already, very hard to displace.. and MSFT has a major installed base of enterprise customers who cannot readily switch cloud / productivity suite providers. So I guess they still have an edge it’s just nore of a traditional edge.
I’ve noticed “let us price it for you” appearing in ever more apps and services. Seatgeek most recently.
I am not aware of any other game using the variant with odd/even mode, nor of any documentation of how the blitting worked. Maybe someone should ask Arjan about the source code that he mentioned on stackexchange. :)
Appreciate it, thanks.
Now the question is if Intel will revive it now that Zen 5 has it.
Tiling window managers don’t tear.
Many thanks for writing this - its extremely interesting and very well written - I feel like I've been brought up to date which is hard in AI world!
If these things bother you, consider a service that offers virtual credit cards. Privacy.com or Revolut.
My failed attempt to shrink all NPM packages by 5%
Don't miss these Open Source cybersecurity tools
All of the western AI companies trained on illegally obtained data, they barely even bother to deny it. This is an industry where lies are normalised. (Not to contradict your point about this specific number)
Updated link to the game: https://uj0gnt8ewsnqdwnf.vercel.app/
Query Optimization (CMU 15-799) [video]
I understood the logic to be instead that older people nearing retirement find it much harder to get new jobs.

And I agree there is logic to all of these things we are discussing. The problem is rather that everything is falling apart in other ways so young people get the raw end both times. Many of these older folk will be on rent controlled flats that are not available to young people, for example.
Whether or not you start actively looking for other jobs, you can take any opportunities you have to better develop your network. It's harder just starting out but post my first fairly extended role out of grad school, every one of my jobs was through someone I knew.
Whoah, that's incredible!

I remember a year ago I was hoping that in a decade from now it would be great to run GPT4-class models on my own hardware. The reality seems to be far more exciting.
Property taxes include that, generally.
Putting the brakes on if the car is stopped wouldn't help solve the whole issue (move the calipers - yes, but the wear surfaces remain essentially untouched).
Those aren’t scare quotes. That’s just a quote.
My 20 year journey to make a video game about the Bible
The architecture doesn't keep yielding better results, Jevon's paradox doesn't apply.
Then the people have spoken. They can speak again and differently if they like.
> You effectively told me to shut up because of the way you feel when talking about facts.

You waltzed into a thread about the CIA suddenly changing their tune about where COVID came from; and started making assertions that it wasn’t that bad.

I shared a deeply personal story about exactly how bad it was, from my vantage point. I expressed outrage at your dismissal of the suffering and many deaths that occurred. “How dare you” isn’t the same as “shut up.” But it is a strong suggestion that you’re being uncharitable.

> Check yourself before engaging in conversations about FACTS.

I scrolled through your comment history and based on some recent arguments with the mods, it sounds like you’ve have a bone to pick with people on this site.

Log off and touch grass, man.
One could argue that by Meta and other companies releasing open weights and detailed got us to where we are now with R1. Even if it wasn't your race car that crossed the line first, everyone can now get a copy.
I tried them out and found the same thing as the author. The fact that someone dared to take a different approach gathered them a large amount of attention at CES but the 2min demo had me a bit dizzy for a good 10 minutes.

You inevitably have to look up to see the display and it's also a constant struggle to aim as best as you can to be able to see what's on the display effectively.

It's important that people in the industry try and test different approaches though!
Loving the absolute 100% confidence there and the clear view into all the traders' minds that are trading it this morning.

If they'll sell everything they make and it's all about the moat of their clients, why is NVDA still down 15% premarket? You could quote correlation effects and momentum spillover, but that is still just the higher order effects I mentioned about people's expectations being compounded and thus reactions to adverse news being convex.
A lot of big words in the summary (reimagine, crafting tools, transformative functionality, smoother workflow, push beyond typical CI/CD boundaries, empower developers, ...) and still, with that summary I have no clue what exactly this thing does.

Context: I am very familiar with several JetBrains IDEs and CI/CD in general, and a bit with GitHub Actions.

Please, can someone describe in a couple of sentences what this actually does?
There’s the whole capital expenditure vs operating expenses angle too, and depending on a company’s particular situation, one might look better on paper than the other. Without going into too much detail, contractors will be hired typically to contribute to capital expenditure and employees to the latter.

This distinction is even more relevant for earnings. So companies will optimize this for taxation and accounting to win shareholder brownie points.
> I liked writing personal software outside of work because at work it could do my job for me or it frees me from the restrictions of shitty commercial software.

You have to be careful on this one.

Often (it varies by jurisdiction), blanket rules by companies that all software you write in your spare time are their property can be safely ignored as invalid. But if it is heavily related to your current job then (again depends on jurisdiction) then they probably do own the copyright, possibly even if they don't have an explicit contractual provision for it.

If you're using your own spare-time software at work and benefiting from it there, it would be hard to argue it's not related.
The code references FiraCode:

https://github.com/EnhancedJax/Bagels/blob/7b4bfd051f6beff8f...

But the actual character is: ╯
ASML paper value is determined by equipment sales from projected compute supply/demand. CHIPS building redundant global fabs = glut from more excess capacity = less future sales. Stargate = excess demand from everyone spending 100s of billions of compute = need even more fabs = more future sales. Then DeepSeek = suddenly no need for that much future compute... if number of future compute demand relative to short term fab overcapacity is going down, then it's reasonable to sell. Relatively predictable Semiconductor market cycles due to cost of capex and time to build fabs / increase new wafers output to match future demand is a thing.
Wayland was a requirement for me. I've used an AMD GPU for years. I had a bug exactly once with a linux update. But has been stable since.
They have an enormous amount of catching up to do, however; Nvidia have created an entire AI ecosystem that touches almost every aspect of what AI can do. Whatever it is, they have a model for it, and a framework and toolkit for working with or extending that model - and the ability to design software and hardware in lockstep. Microsoft and Amazon have a very diffuse surface area when it comes to hardware, and being a decent generalist doesn’t make you a good specialist.

Nvidia are doing phenomenal things with robotics, and that is likely to be the next shoe to drop, and they are positioned for another catalytic moment similar to that which we have seen with LLMS.

I do think we will see some drawback or at least deceleration this year while the current situation settles in, but within the next three years I think we will see humanoid robots popping up all over the place, particularly as labour shortages arise due to political trends - and somebody is going to have to provide the compute, both local and cloud, and the vision, movement, and other models. People will turn to the sensible and known choice.

So yeah, what you say is true, but I don’t think is going to have an impact on the trajectory of nvidia.
But surely it can be scaled up, or is this compression thing something making the approach good only for small models (I haven't read the Deepseek papers (can't allocate time to it))?
You have to look at non-gaap numbers, and therefore looking at forward PE ratios is necessary. When you look at that, AMD is cheaper than NVDA. Moreover, the reason why AMD PE ratio looks high is because they bought xilinx, and in order to save on taxes, it makes their PE ratio look really high.
If the top-tier premium GPUs aren't the difference-maker they were thought to be then that will hurt NVIDIA's margins, even if they make some of it up on volume.
Surely you would need to put in a DNS entry pointing that subdomain to the host, meaning that it is done by default?
Two steps :)

=== CONGRATULATIONS! You have completed your objective! ===
There are select capitalists who want to replace the current order with something that further empowers them.

I'm not sure it's accurate to continue calling them capitalists, though they certainly benefited from capitalism.

If you consider, for example, the current AI push and its goal to essentially eliminate the need for human labor, you find that such a result would not be a form of capitalism that we recognize.

In fact, those pushing this outcome have talked of the need for UBI, which would seem the ultimate socialist scenario. But, even socialism doesn't quite fit, because it wouldn't be society that owns the means of production and distributes resources, but those who own the technology.

All of this to say, I'm not sure our current economic frame still applies to what may be happening, and this is one more example of the dramatic change the article talks about that we appear to be dealing with via normalization.
Fair enough so perhaps it's better to say not yet competitive.
Yeah - Musk claims SoftBank "only" has $10B available for this atm.

There was an amusing interview with MSFT CEO Satya Nadella at Davos where he was asked about this, and his response was "I don't know, but I know I'm good for my $80B [that I'm investing to expand Azure]".
Geohot still at it?

goat.
Of course they are overhyped but in spite of this Altman is always asking for more money. And we know financially they are just burning money. So when someone finally brings a cheap but good model for the masses, this is where money should go. (This will also help all small AI startups.)
> the COVID vaccines, which are pure RNA

This is misleading. Vaccines, including those for covid, generally include adjuvants to stimulate the immune system [1]. While I understand the point your making here, the covid vaccines were not syringes with pure RNA in them.

[1] https://pmc.ncbi.nlm.nih.gov/articles/PMC10222622/
>When we teach children math, we do not teach obscure boutique notation

Actually, you do. There's a reason you teach kids multiplication by aligning blocks into groups and things like that, rather than jumping straight into rote algorithms.
Tangentially related, if you generate certificates infrequently enough that you always have to look up openssl command line options check out https://github.com/chris2511/xca/.

It's basically keepass but for certs instead of passwords.
Same here. I tried all the forms offered om that website to create an account and they all ended on different errors.
I love the NVIDIA design aesthetic compared to the other cards. TBH it isn’t even that NVIDIA’s design is that great. It’s more that everything else has become RBG vomit. I wish there were more options for non RGB versions from the resellers.
Christ. Best I can do:

https://www.criticalpast.com/video/65675069507_evacuation-of...
and you can also advertise your app with “uses AI” to boost investor interest by 10x instantly, 2 birds w/ one stone.
The whole system of education is designed to channel this type of behavior from early childhood.

Don't get me wrong, I'm a big proponent of high quality public education; it's a necessity. But the reason we have it is because businesses and corporations need workers.
I don't think it has been this low (~$126) since October?
> and no upstart fintech company has this power

Most of the cryptocurrency companies prove that this statement isn't entirely true though, unless I don't get it. That is, they generate cryptocurrencies out of thin air (credit) and say it has a certain value, then people pay them fiat money for those. They just generated value out of thin air and some compute cycles.
Don't know why Adsense has a format that takes up a third of phone screens with position:fixed
It might be. But I’ve been in the room when a very high performing team was given the ax. This was a team that had all kinds of kudos and objective measures showing they were better than their peers.

But their office lease was up sooner and getting rid of that magnified the savings.

I’ve done many layoffs and been laid off many times, and the advice I’d tell people is don’t think it’s a reflection on you if you get laid off _or dont_.

Most of the time it’s just macro factors out of your control.
Why should the transit system butt into the jurisdiction of the traditional government just because transit is built somewhere?

As a silly dystopia, imagine that a transit agency could grab revenue as you suggest it might. Then everything becomes a transit land grab.
RedHat is still mostly a server side company isn't it?

Can we trust them to "care" about desktops?

Oh wait. There is no more RedHat. There is IBM.
Neocities does not allow you to run any code, just static html serving
I think getting a mortgage might be a tad more of an impactful decision than ordering takeout... I'm not a boomer but I still would like to speak to someone in person before I sign an O(million$) loan.
I can practically already hear the conversations that will be overheard while waiting in line at Red Rock Coffee later today..
For me, the big problem with OpenSCAD and the reason I let go of it quickly is the lack of constraint-based modeling. For example, if I want to design a cup and I want my handle to have a 30mm round hole that is tangent to the walls of the cup, I want to be able to adjust the thickness of the handle and the size and shape of the cup while keeping these properties. And I don't what do do the maths myself if I can avoid it.

OpenSCAD does very little to help me with these maths as it doesn't have a solver. Not to my knowledge at least.
Marc Andreessen: H1B and immigration [video]
Very interesting on how H1B coupled with affirmative action has had major negative externalities on Americans.
> Please try to at least attempt to consider nuance. Do you seriously think that would happen? What is your point here? Do you think people in favor of restricting one thing are in favor of restricting everything?

The restriction on TikTok was blatantly because it's a Chinese product outcompeting American products, everything else was the thinnest of smokescreens. Yes, I think people in favour of it are in favour of slapping whatever tariffs or bans they can get away with on everything that China makes.
From my understanding the limiting factor is the quantity and quality of data available for training.
Ironically, if you are a contractor going through a staffing agency, when you are "fired" from a contract, you generally still get paid something by the agency and get "bench time" to train up your skills or work on internal projects. Sometimes contractors have better job security from a paycheck perspective.
> And neither does a guilty verdict in a court of law

We all agree to live in a system where a guilty verdict reached BT a jury of your peers means that you were legally found guilt. That still doesn't technically mean you did it, but it does mean you are legally deemed guilty.

Is the court system flawless? Absolutely not, I've seen that first hand. But guilt, in a legal sense, has a definition and is directly linked to that jury verdict.
Hi all, i noticed the spike in internet traffic and saw its coming from here. Thanks for the compliments. As someone mentioned the visualiser was a bit buggy so i tried to fix it today. I also added a 'drag and drop' query builder.

I am sorry if there is some mistakes here and there about the whole win2000 theme. It was just a weekend project and i always feel those database stuff should be as dusty as old windows..
RF is definitely interesting - it's the closest thing to black magic in electrical engineering (all went over my head during my degree...that's why I ended up in power systems :^) ).
He's buried near where I grew up. Must pay him a visit at some point.
Astronomers red-faced after mistaking Musk's Tesla Roadster for asteroid
X is also lacking features. I use wayland and find it works great.
Halifax is owned by Lloyds banking group, and their current app is just the exact same Lloyds app with a different logo. I know because I bank with both and the apps are identical.

Previous to the merging of online services, you are correct that Halifax had its own app and it was terrible.
But at that time Lloyds had a great app, they just hadnt unified the back end tech of all the different bank brands they own.

It wasnt disruption from startups that caused the improvement, it was the parent company taking its time to merge the decent tech it had developed for itself.
aahh damn, thanks

i just typed the objective, it solved the game, stupid openai

fixing it
That's a manifestation of your specific environment and not a general rule. I guess it is the work of some overeager compliance department, because it is the kind of overreacting self-mutilation that happens if people do not understand a law and want to be absolutely sure (cf. GDPR).

[1] is a PDF that tax advisers and lawyers distribute to employers to check if freelancers are only ostensibly self-employed. The checklist at the end of the PDF is all you need if you are an employer. If you are a freelancer you must also check if you are employee-like and possibly file an application to be exempt. The PDF tells you when. Watch the 5/6 distribution of income (not law, but established judicature)!

[1] https://www.sup-kanzlei.de/fileadmin/user_upload/Scheinselbs...
Like ICF? Wait no, everyone supports that except GNU ld.
The author complains that after all his leadership and hustle:

> to the company, I was just a row in an Excel sheet.

But then writes:

> [German] law enforces a social scoring system to determine who is affected, prioritizing the protection of the most vulnerable employees, such as those with children.

It sounds like under German law he had to be treated as a row in a spreadsheet. Cynically, it might have been wiser to spend time having a child rather than hustling for the company.
For this breakthrough to happen, big tech will need to hire software engineers again :)

But the good thing is that DeepSeek proved those breakthroughs are going to happen one way or another, fast.
i thought risc-v is >10years "old". how long is an ISA "very new"?
The limit is high quality data, not compute.
Google. Microsoft. Facebook. If it weren’t for antitrust, there’d be a lot fewer cell phone companies or airlines. I mean, it’s harder to name an industry where there hasn’t been consolidation. The only thing stopping it is the law. Consolidation was basically illegal until the 1980s. If you wanted to grow, you had to compete.
To me, "testing in prod" means you had some code you needed to test, and you tested it in prod instead of a more suitable environment.

"Testing prod" means checking to see if prod works.

I mean, to take "don't test prod" to it's logical extreme—how do you know if your website is up at all? What if the domain expired?
Came here to mention NFS as well. Great service, been using them for years.
Because they're used to it being in a different place?
Or as wind-up to a merger /acquisition.
This looks like a bug, not a feature.
You can: that's (part of) what fiction books are for.