skysight-inc/HackerNews huggingface dataset:
But my dopamine…
Corca: Collaborative Math Editor
> Poor performance. Usually, it is significantly more efficient to allocate and free resources in batches.

This one is big. It is a lot of accounting work to individually allocate and deallocate a lot of objects.

The Zig approach is to force you to decide on and write all of your allocation and deallocation code, which I found leads to more performant code almost by default – Rust is explicitly leaving that on the table. C obviously works the same way, but doesn't have an arena allocator in the standard library.

Re: C++ vs Rust, it might be more of a pain in Rust because of this: https://news.ycombinator.com/item?id=33637092
Sajoki tackles a major hiring challenge by using AI to assess soft skills and team fit. Traditional methods often miss these key factors, leading to costly mistakes. Excited to see how it helps companies build stronger teams!
Your country's biggest SW company is SAP, world infamous for their German column names, haha. Pretty sure it's the most widely used product in the world with non-English internals that people actually interact with - I'm sure there's some Realtek firmware with billions of installs that's in Chinese but barely anyone has to look at that.
You’re missing the point.

OP is saying don’t be the person who says they want to write about Frogs, but who then spends an immense amount of effort not writing about Frogs, and writing about procrastination instead.
> then try to incrementally improve

My technique is Da Vinci method just collect / discover lot of shiny pieces. Then stitch them together later. Develop these pieces separately like colored glass pieces in a mosaic, sort of inversion of divide and conquer, collect and assemble.
Content width is an odd thing to complain about:

- everybody limits it. This is because no matter the size of your screen, the human eyes are somewhat limited to lines of 70-130 characters. Higher than that, and your eyes have hard time finding the next line at the end of the previous one because the travel is too high. As a web page writer, you need to take care of that, because the default presentation will be bad for everyone if you don't.

- as it happens, the author uses Subtrack so they might not even have picked that size consciously.

- reader mode works on this page, so you can use this to read the post the way you want, and if you like the content and would like to read it regularly, there is an RSS feed that you can use with a client that displays posts the way you want.

The last point is why separate style sheets and correctly structured content are so nice: if you have such a strong opinion, you can tweak stuff or even ignore the style sheet and use yours. And reader mode actually makes that practical for most blog posts / articles.

(that said, I agree that the width seems particularly small, I replaced it with 80ex just to try and it looked better to me - but I just set up a new WordPress website and the default 2025 theme has the same ~730px width for the content, I don't know what's with this default size)
Does this mean we should all get rid of our macs now ?
Explicitly marking areas of code that allocate is a core part of idiomatic Zig, so that doesn't surprise me all that much.
> The Chinese Communist party very much sees itself in a global rivalry over "new productive forces".

interestingly, that actually makes the CCP the largest political party pursuing state capitalism.

there won't be any competition between China and the US if the CCP is indeed a communist party as we all know full well that communism doesn't work at all.
Oh no they did write that one piece of software, which was successful until it wasn't.

https://venturebeat.com/offbeat/how-volkswagen-used-software...
You made me read the history of Sears on Wikipedia and the story seems much more complicated than you describe. It's not very clear who took a loss and by how much, and who gained and by how much, but overall it seemed to be the usual story of distracted mismanagement unable to keep up with changing competition and going into a death spiral. In other words, just another slow inevitable boom-bust-style cycle that's constantly happening everywhere around us.
Not yet. Keeping it fairly quiet until summer. Don't worry - I'll announce it here when it's ready for it.
> the only way to achieve broad appeal is to not offend anyone's tastes and the only way to do that is to be bland

Careful. While I agree with the premise, you make it sound binary. You can have broad-er appeal while still being individual.
Gravity has unlimited range, the patched conics method you think of is a good approximation on short time spans, but breaks down surprisingly quickly. Keep in mind the Sun moves all the water in Earth’s oceans all the time…
I'll name one: affordable care act
Does / how does this handle migrations? Is it happy co-existing with an SQLAlchemy or Django ORM- managed PG instance?
Data have shown time and time again that for every dollar spent on a public library the community return on investment is four $4 dollars. Public libraries are more efficient and effective the more they are used. The more a book is checked out the more people have enjoyed it or learned from it. Also, where else can you go without being forced to spend money? A lot of people can't afford these materials, just like they could not afford to pay for their own security (police) or put out fires by paying for private firefighters. Also, most libraries make up less than 5% of their municipal budgets, often closer to 1% in big cities. Seems like a good investment to me.
You get the point I'm making, right?
No, that aircraft (having taken off from Reagan, visible in the full not-cropped videos) is close to the Kennedy Center camera but is nowhere near where the CRJ and helicopter were.
From what I’ve seen, code usually comes in one of two languages: English or French. Somehow everyone but the French speaks enough English to write code!
Can't work when you're dead or insane?
I did have some experience with dog food, where I'd feed the dog and after a few weeks noticed joint pain. I'd not paid attention, but there were beets in the dog food. That was kinda blind until I noticed symptoms. I realized, I was licking the leftovers on the spoon before I washed it by hand. Not sure this counts as blind testing.

Sadly it feels impossible to find a doctor in germany that knows what to do about it. The last success was with something like oxalobacter. For a few months now I could eat at least some salad, but seemingly that effect weakens over time.

So I think I have found a probiotic that works, but it doesn't stick well. This article mentions genetic traits being connected to the biome. So I think I'll have to have genetic testing eventually, but I'm way paranoid to hand over my genes to some random lab.
A society where people can trust each other and each individual has enough integrity to not violate that trust is, in my opinion, the closest we can get to a thriving utopia.

The US was close to that back in the days. Maybe it was just nostalgia speaking but I felt a few decades ago, people were so much more "refined" and had respect for each others and themselves.

Then some people took advantage of that. And it devolved. Now we have a country where the presidential candidates insult each other live on TV with straight up lies and deception. And the people cheer on.

So yes, indeed we are having a breakdown of trust and a new paradigm is shifting in. Just that I don't think it is a good one.
It’s the opposite. Trust nothing, and we end up with pure chaos and the tragedy of the commons. Trust institutions (arguably had been the right choice), and society can move in lockstep forward together.
People donate their bodies for science after death. I am ready to donate my thoughts. My thoughts are just clever rearrangement of already existing ideas, just like my body is of atoms.
Cost of replacement
The criticism of RAII is a little odd to me. The author list four bullet points as to why RAII is bad, but I don't think I've ever found them to be an issue in practice. When I'm writing C (which of course does not have RAII), I rarely think all that deeply about how much I am allocating. But I also don't write C for embedded/constrained devices anymore.
more: https://dpaste.com/HDBW79JMX

(no height data, so I ignore the overlay comments on the first video)

sha3-256's 7c608babe5552ac436499978b1a458b3a74ddc7e1d7e5011c6573b724729149e 24a3e23aa97f348ebd8740af83b3b50ae7dd5cd5147e88636b564e93d99d9775

blancolirio: Potomac Mid Air Collision DCA 1/29/25 https://www.youtube.com/watch?v=ouDAnO8eMf8
> voted for Hamas

I needed to remind myself of how many times they did that (once). It is incredible that Palestine hasn't had an election since 2006. Ref: https://en.wikipedia.org/wiki/2006_Palestinian_legislative_e...
I'm interested in why you think OpenAI is probably very good at ensuring data quality. Also interested if you are trying to troll the resistance into revealing their working techniques.
the biggest mistake was made 20 years by allowing China to join the WTO.

everything is already too late.
I was once caught by this issue too. The problem was that I didn’t know about the basic phenomenon (MLCC losing capacitance with voltage) so I didn’t know that I was expecting extreme parts.
Ronald Reagan?
> The US should only ban DeepSeek (and other Chinese companies) from accessing US frontier models.

The US should only ban DeepSeek (and other Chinese companies) from accessing US frontier models designed and trained by Chinese Americans.

fixed for you.
Your impassionate argument in favor of an ethnic cleansing with bombs, starvation and lack of sanitation lies in stark contrast to this outrage about the Uyghurs' culture being erased with development and draconian imprisonment for suspected extremism, while at the same time, the West Bank was reduced to a patchwork of ghettos with draconian checkpoints where life is cheap if you are suspected to be an extremist.

On the one hand, the slaughter of teenagers today in Gaza is justified because of the sins of their forefathers in electing Hamas, on the other, it's a genocidal atrocity that beards can only be so long in Xinjiang.

The US is only more righteous for supporting America's Greatest Ally at the cost of the lives of it citizens, of those of Arab countries and, now with the TikTok ban, to its founding principles, in your world.
But they still use them daily. It's like put a commie sticker on your macbook.
I usually like matklad's writings but I have to be overly dismissive for a change.

This is a skill issue.

C, C++, Rust, it doesn't matter - if you have a systems problem where you are concerned about resource constraints and you need to care about worst-case resource allocation, you must consider the worst case when you are designing the program. RAII does not solve this problem, it never did, and anyone who thinks it does needs to practice programming more.

It is not "hard" to solve though. It's just another thing your compiler can't track and you need to be reasonably intelligent about. There are sections of a program that cannot tolerate resource exhaustion, for which you set some limit, which is then programmable in some way, which then uses some shared state to acquire and release things of which RAII may help. But you still must handle or otherwise report failures.

This is a bread and butter architecture concern for systems programming and if you're not doing it, get good at it.
> 35% of teens think GenAI will make it harder to trust online information

Your already supposed to not believe everything on the internet! Especially any one that makes short form videos, or asks you to comment to get a PDF.
I'd imagine a ban would be on their service, not the model itself.
Ah. Thermians, from the Klaatu Nebula. Or was it Dalmations?
As far as I know Samsung isn't a Korean family name, it's just a brand.

That said, are you sure it wasn't the + that caused the problem? I've run into that a few times, presumably when someone tried to roll their own email validation.
To put this in perspective, this is the first fatal crash of a US commercial airliner in 16 years (Colgan Air Flight 3407 on February 12, 2009) and the first fatal commercial airliner crash in the United States in 12 years (since Asiana Airlines Flight 214 on July 6, 2013).

We like to throw shade at Boeing, the FAA etc, but this is still an incredible accomplishment, especially given the explosive growth of traffic over those years. Back in the 1970s and 1980s, there were far fewer flights but multiple crashes every year was the norm.
I don't know, i think we needed some precious minerals
Apple researchers reveal the secret sauce behind DeepSeek AI
By Grabthar's Hammer, you shall be avenged!
> I highly doubt you are getting novel, high quality data.

That's not the point. The point is you reject low quality data, aka noise
> I never understood the fascination with JSX.

HTML templating (without JSX) gives you markup as strings, which means you don't get type checks, auto-complete, syntax highlighting etc.
Live reloading (recompiling per method, editing values in your live runtime image) has been with UI development since since the beginning of GUIs. Smalltalk is great.

The 90s with C++ and Java broke with history. Thankfully the rise of web apps has given us iteration speed back!
The reason OpenAI is whining:

> OpenAI’s o1 costs $60 per million output tokens; DeepSeek R1 costs $2.19. This nearly 30x difference brought the trend of falling prices to the attention of many people.

From Andrew Ng's recent DeeplearningAI newsletter
> lockstep forward

Those words are the problem. Why even have a democratic system if everything is done in “lockstep”? Moreover, “forward” is a highly opinionated term.

Perhaps we can all, in lockstep, take a Great Leap Forward.

https://en.m.wikipedia.org/wiki/Great_Leap_Forward
Early indications are that the airliner and ATC were operating as planned, and the immediate cause of the crash was the military helicopter.
I guess DeepSeek payed OpenAI for the usage of their API according to OpenAI's pricing?

So what is the point if you pay for it and can not use the results how you see fit?
No, ATC here refers to ground and tower controllers. They give taxi, takeoff, landing, and close in maneuvering instructions.

When you say ATC I believe you’re thinking of tracon controllers, a level of airspace up from towers who control approach and departures and then hand you off to/from the tower. Above them there’s yet another level, center controllers. All of these are ATC though.
What makes you think they had a contract with them in the first place? You can use openAI through intermediaries/proxies.
I'm not sure I share your optimism. If kids don't trust institutions, who do they trust? The answer is friends and celebrities (=influencers). Maybe they don't trust Big Tech companies per se, but you still need them to facilitate the content of whichever parties they find trustworthy. Decaying trust in institutions is just more ground for a total fantasyland where everybody can justify whatever they believe in. If the NYTs and gov't agencies of the world aren't deemed more reputable than the Andrew Tates of the world, we're on a path to a worse society.
Is this kind of app really needed when you can cast the screen from MacOS to the AppleTV? (or does it not work for other airplay devices or is too slow or something).
Small Bus Factor
Like in machining, there's a long history of measuring everything in "thou" (micro-inch sounds proleptic to me, and you'll see "mil" used in the EDA space). All the tooling uses it, standardized components use it (I can drop a 74-series TTL chip from the 1970s in a modern board), and everyone learns it when they start using EDA.

Recently there has been a shift to metric in EDA software, so you'll see often see multiples of 2.54mm, and packages are switching to metric for the fine-pitch stuff. Often you'll have spacing in both units in the same design.
I think you are focusing too much on the fact that a being needs to be an individual organism, which is kind of an implementation detail.

What I wonder instead is whether reasoning is a property that is either there or not there, with a sharp boundary of existence.
It's the nature of teenagers to be cynical and dislike anything people older than them do. There's nothing noteworthy about it.
You can be critical of a system and still need to participate in it.
Huh you know it's bad when even a fairly liberal place like HN is considering the root cause to be "unsustainable" immigration (used as catch-all term).

Immigration without effective and demonstrable integration does seem to be problematic.
What tech do you recommend for own site? Wordpress?
This report was published by Common Sense Media, an advocacy organization with a clear interest in pushing this message as part of their lobbying efforts. Maybe their intentions are good (they seem to back some good bills!), but it’s not a neutral source of information.

If you look at polling data published as part of generic political surveys, you find that companies like Amazon and Meta are among the most trusted of U.S. institutions[0] (Amazon loses out only to the military).

[0] https://drive.google.com/file/d/1OgPzcB75uxXiFmTjUUb-ITIr7BF...
You can move in lockstep with the mob if you like. I will scout ahead, and tell anyone openminded enough to listen, if there's a minefield or cliff coming up.
The proper answer for Lisps should be use Allegro or LispWorks, which actually provide a full blown environment as Lisp environments of by gone eras.

Does vim display inline graphics in a repl, with editing capabilities?

This is one of the basic features of classical graphical Lisp environments from the 1980's, IPython and Jupyter notebooks, or better, Mathematica are only building upon this.

Emacs and vim are not quite at the same experience level.
Show HN: DeepSeek R1 Now Available on AI/ML API
Browse API Docs for simple and secure integration.
Mathesar doesn’t cache any database state, it always reflects the live structure of the database. If you run migrations through SQLAlchemy or Django, Mathesar will just show the database as it is before and after the migration, no extra steps needed.

You can also modify the data model directly in Mathesar, but if you’re using an ORM-managed database, you’ll need to update the ORM layer yourself to reflect any schema changes. If your ORM expects strict control over the schema, it’s a good idea to configure our permissions to prevent users from making data model changes in Mathesar's UI. Otherwise, it should coexist just fine.
Yes, we agree. I meant in Jackson our billionaires either love driving, in which case they drive themselves, or don’t, in which case they fly straight in. The middle ground between those isn’t enough to found a market on.
Coordination and shared purpose are often good things actually. I'm so tired of people decrying any pursuit of consensus and collective action as tyranny, it's intellectually lazy and just leads to further atomization.
Could just be an OpenAI-compatible endpoint too. A lot of LLM tools use OpenAI compatible APIs, just like a lot of Object Storage tools use S3 compatible APIs.
What Is Corca?
It's not hard to get someone else to submit queries and post the results, without agreeing to the license.
Welcome to the shift show.
I like the parametric search, but searching a US retailer helps me focus on phones that are reasonable to source and use in the US. I could manage when GSM was two bands in the US, and usually two bands overseas and if you wanted a really neat phone you hoped it was quad band or at least tri band, because the really neat phones that were dual band were dual band on EU frequencies... now GSM Arena inevitably points me at phones intended for use in Japan and usually have a pretty poor match up with bands I'm likely to use while remaining flexible for use on other carriers in case it becomes a hand me down and the recipient isn't on the same carrier as me.
From a strategic point of view, they took the smartest gamble (or call it calculated risk) I've seen a company of this size take in a while. Kudos.
May I ask what E-mail provider you use? Or do you run your own mail server?
Those theorems are only relevant if "reasoning" is taken to its logical extreme (no pun intended). If reasoning is developed/trained/evolved purely in order to be useful and not pushed beyond practical applications, the question of "what might happen with arbitrarily long proofs" doesn't even come up.

On the contrary, when reasoning about the real world, one must reason starting from assumptions that are uncertain (at best) or even "clearly wrong but still probably useful for this particular question" (at worst). Any long and logic-heavy proof would make the results highly dubious.
Going by the inconsistent spacing and angles on that 1984 PCB, I'd almost guarantee that it was routed using black tape on mylar film, not a CAD package to be seen. Trying to create large fills back then would require manual positioning of tape over all of the copper fill areas. Tools is a big part of the reason for the shift, it's easy now, and the results are generally much better.
If R1 were better than O1, yes you would be right. But the reporting I’ve seen is that it’s almost as good. Being able to copy cutting edge models won’t advance the state of the art in terms of intelligence. They have made improvements in other area, but if they reused O1 to train their model, that would be effectively a ctrl-c / ctrl-v strictly in terms of task performance.
You’re rejecting mathematics, empiricism and reality as a foundation for defining proofs and thus truth. At that point, we’re in a Cartesian universe of 1 = 1.
Shallow trope. PAst computer revolutions have involved teenagers enthusiastically greeting videogames, personal computers and so on and admiring the people who designed and built them.
> Or do devs around the world just have to bite the bullet and learn enough English to be able to use the majority of tools?

Not only that. All of the code I (not a native English speaker) write, even if only I will ever see it, is in English - comments too. And I'm pretty confident all my colleagues do that too.

Might be different for languages with large population of native speakers (Croatian is just a few mil so we're more exposed to it), but you still can't avoid using English for tools / libs / docs / research papers / stack overflow...
Our provincial government securities regulator for British Columbia, Canada, released this PSA to warn residents of AI investment scams. I think it's great. I think it's only a matter of time until someone gives a government agency flak for posting a video with uncensored use of the f-word but I hope it stays online.
Hi there, I'm one of the main community members working on Solid (TimBL mentions my apps in the article).

I can't speak for the whole community, but I recently wrote some of my thoughts on ATProtocol: https://bsky.app/profile/noeldemartin.com/post/3l7mj5glqey25

TLDR: I like ATProtocol, but there are a couple of things that don't make it as decentralized/independent as I'd like. Also, the fact that everything is public in ATProtocol makes it very different from Solid. Solid is all about data ownership, and many of the use-cases require privacy. Until ATProtocol has an answer for private data, I don't think it's even worth considering for most use-cases that Solid wants to tackle.
As an ex-clojure dev that picked up Rust, I have no interest in this as long as it doesn't have ownership.

Once you used lexical scoping, you're not going back to dynamic scope either, the same goes for the ability to reason about "where an object currently is" lexicographically.

I think Carp (https://github.com/carp-lang/Carp) is a much more interesting contender for a native clojure, simply because it has lexical ownership.
Isn't it great to live in a world where everybody is entitled to their own opinions, eccentric though they may be.
https://relay.firefox.com/ may be a tool for that. I never used it, as I use a catch-all, but may use it in the future.