MurphyA/hacker-news huggingface dataset:
by chrisaycock | 2026-01-07 11:50:25+00:00
The article points out that tools like TLA+ can prove that a system is correct, but can't demonstrate that a system is performant. The author asks for ways to assess latency et al., which is currently handled by simulation. While this has worked for one-off cases, OP requests more generalized tooling.

It's like the quote attributed to Don Knuth: "Beware of bugs in the above code; I have only proved it correct, not tried it."
by hagbard_c | 2026-01-07 11:50:29+00:00
I never liked Twitter and I like X just as little but I don't 'hate' them. I use libredirect to redirect to my own instances of Nitter, Redlib and Invidious (and more services but these are the 'big' one) not because I 'hate' X, Reddit and YouTube but because I don't want them to track me, I don't like ads and using these services through proxies makes then work on hardware which would totally bog down were it not for the proxies. It is amazing how much useless guff can be cut away from these while improving the user experience.
by cornonthecobra | 2026-01-07 11:51:30+00:00
I really don't buy his explanation. Here's one of the world's smartest guys, with more money than Smaug, and he really couldn't come up with anything better than going back to Google to work on Gemini?

What's the point of all that money if you won't even hire someone to help you find hobbies.

So many STEM universities have online courses. The art world froths itself mad over smart people with stupid money. Local projects beg for angels like him.

Hell even just doing the AI schtick but for free open source or as a pet startup.

My mind reels with ideas. Why didn't his?
by logicchains | 2026-01-07 11:53:38+00:00
>The events of the past 12 months, culminating in Venezuela and now Greenland, has made me reevaluate a lot of my beliefs about unimpeded competition between free agents (i.e. a free market) leading to the best and most peaceful outcomes.

What have markets got to do with it? For as long as humans have been recording history, states have been annexing weaker states, regardless of economic system. It's absurd to blame free markets for this.
by kreddor | 2026-01-07 11:53:39+00:00
I'm just as baffled. I went to the comments to better understand but I still don't get it.

I've coded on my phone on several occasions. If you use Android, you don't even need a server or a home computer since Termux works really well as it is. It can run node.js and a bunch of other development tools easily. Or you can just ssh into a server with a development environment and do your stuff their (AI or not).
by joakleaf | 2026-01-07 11:53:40+00:00
This doesn't really align with CNN's view, but may apply to another even more popular US news channel that seems to be much more aligned with the current administration...

Greenland and Denmark are not the same. Greenland is a self-governed territory under the Kingdom of Denmark. The US administration wishes to take over Greenland from Denmark completely. So you should replace your headlines with "Greenland" and "Greenlanders".

Note: There have already been discussions about making Greenland independent from Denmark, but there is uncertainty over how to handle economic and defense situations. Greenland currently receives significant support (about $10000-15000 per capita yearly) from Denmark. So it is not clear how the country would run without that.
by carlosjobim | 2026-01-07 11:53:49+00:00
It's not that uncommon. It's a completely reliable solution to the problem of attributing sales and knowing how much each advertising channel generate individually in sales.

But taking into account that almost all jobs in advertising depend on keeping it "a mystery", it's no surprise that relatively few companies do it.

After all, it looks better if you tell your boss or your customer that they had 40 000 "impressions" thanks to your campaign, rather than 400 definite sales.
by ptorrone | 2026-01-07 11:54:17+00:00
the aside was preemptive, not defensive. hackernews d00dz call anything touched by a company an ad, even when the project is reconstructing a 1975 atari curiosity for fun.

we listed multiple ways to run it because the goal was preservation and play, not funneling anyone anywhere.

the formatting and lowercase are deliberate, it's not meant to be modern content-optimized blog that hade ads or advertisers i need to make sure are happy. totally reasonable if that makes it unpleasant for you, but it is not accidental.
by TMWNN | 2026-01-07 11:55:03+00:00
Greenland is unbelievably, stupendously critical to US security. Consider what former SACEURs Breedlove <https://www.youtube.com/watch?v=YtGh1kFqIoc> and Stavridis <https://thehill.com/policy/international/5081040-stavridis-s...> said about it a year ago.

>Why the can't the US just sign up for mining rights already?

Greenland claims to welcome outside investment. In practice, however, Nuuk never approves anything related to resource development, in part because of your point 2. More on this below.

Denmark no longer "owns" Greenland in the way the US owns Alaska, or even Puerto Rico; Greenland can declare independence on its own at any time, unlike the latter. What the Danish parliament allowed in 2009 it can in theory undo, but as I said, Greenland can also declare independence at any time.

While Greenland has stated its willingness to continue to host US troops after independence, there is always an uncertainty from having to depend on a foreign government.

Annexation would also simplify US access to Greenland's natural resources, which (the SACEURs above also mention) are as vital to the US as its location is. For all of Greenland's claims that it seeks outside investment, in practice it leeches €600 million from Copenhagen annually (only for domestic use; Denmark handles all foreign/military affairs) for its 50,000 people and turns down almost every attempt to develop mines and oilfields, allegedly because of environmental concerns.

Greenland a) is inevitably going to gain independence—every single poll for decades has shown this—but b) is completely unable to function on its own as a bona fide independent country. Pacific islands (barely) function as independent countries because their tiny populations are commensurate with their small areas. Greenland's 50,000 people live on an island three times the size of Texas. Denmark is completely unable to defend Greenland militarily (thus the US presence there in the first place); Greenland certainly cannot, given that it can't function today without the aforementioned €600 million for just domestic affairs. Given this, US annexation is inevitable.
by renegade-otter | 2026-01-07 11:55:29+00:00
Same. I am doing this as Claude knocked out two annoying yak shaving tasks I did not really want to do. Required careful review and tweaking.

Claiming that you now have 10 AI minions just wrecking your codebase sounds like showboating. I do not pity the people who will inherit those codebases later.
by Numerlor | 2026-01-07 11:56:21+00:00
> LNL throttles heavily even on the default profile, not just power saver modes.

This does also show it not changing in other benchmarks, but I don't have a LNL laptop myself to test things myself, just going off of what people I know tested.

> Lunar Lake uses TSMC N3 for compute tile. There is no node advantage.

LNL is N3B, Apple is on N3E which is a slight improvement for efficency

> Yet, M4 is 42% faster in ST and M5 is 50% faster based on Geekbench 6 ST.

Like I said they simply have a better architecture at the moment, which also more focused on client that GB benchmarks because their use cases are narrower.
If you compare something like optimized SIMD Intel/AMD will come out on top with perf/watt.

And I'm not sure why being behind the market leader would make one lose faith in Intel, their most recent client fuckup was raptor lake instability and I'd say that was handled decently. For now nothing else that'd indicate Windows ARM getting to Apple level battery performance without all of the vertical integration
by vladvasiliu | 2026-01-07 11:56:35+00:00
I don't know, man. They're very customizable, and some models have memory banks. I never need to go in the menus of my pen-f. And The OM-1 has a much improved menu system, with a customizable "my menu" page, which opens directly, on which you can stick your most used menu items (but, sadly, it's not included in the saved memory banks).

Furthermore, I find the physical buttons on the om1 are so customizable and can do so many things, that I never go in the menu, either. I haven't tried new models from the other makers, but the olympus models I have are much nicer to use than my old canon 40d and nikon d80.
by com | 2026-01-07 11:56:41+00:00
Hiring from your own and employee's network.

Provide significant referral bonuses to employees and ex-employees if a new hire stays on board for more than 6 months with above-average performance reviews.

Run evaluations with external recruitment firms - do quality shoot-outs with three recruitment firms for the same open role - each may present only three CVs. Never run any position with less than two external recruitment firms and let them clearly know that you're tracking quality metrics (CV fit, interview quality of candidates, job role fit, and six month retention and above-average performance review) and will retire your partnership if they drop below mean.

Run an empanelling process for the recruiters for each role and learn how to do it properly and repeatedly. This is a simpler process than the one you run internally with the hiring exec (you?), hiring manager and interviewer pool. You have an empanelling process, right?
by logicchains | 2026-01-07 11:57:01+00:00
>Markets also cannot account for externalities. If those externalities are something you care about (e.g. the environment you live in) - you need regulation.

Markets account for externalities via ownership and torts. This was gutted in the 1800s in the US where a judge ruled people couldn't sue for the impact of environmental pollution, in the name of the "greater good" of industrialization.
by gedy | 2026-01-07 11:57:28+00:00
Not to knock you specifically, but I know a lot of people who say that they have no time for this stuff waste a ton of time watching TV and doom scrolling.

I try remind myself of this with the Bukowski poem 'air and light and time and space': https://allpoetry.com/poem/14326888-air-and-light-and-time-a...
by plesiv | 2026-01-07 11:57:55+00:00
You can add this as a bookmark in your browser, and just click it to toggle between x.com and xcancel.com

javascript:(function(){const p=['https://x.com','https://xcancel.com'],u=location.href,i=p.findIndex(x=>u.startsWith(x));if(i!==-1)location.href=p[(i+1)%p.length]+u.slice(p[i].length)})();
by DiabloD3 | 2026-01-07 11:58:35+00:00
If you query the NUMA layout tree, you have two sibling hw threads per core, then a cluster of 8 or 12 actual cores per die (up to 4 or 8 dies per socket), then the individual sockets (up to 2 sockets per machine).

Before 8 cores per die (introduced in Zen 3, and retained in 4, 5 and 6), the Zen 1/+ and 2 series this would have been two sets of four cores instead of one set of eight (and a split L3 instead of a unified one). I can't remember if the split-CCX had its own NUMA layer in the tree or not, or if they were just iterated in pairs.
by huseyinbabal | 2026-01-07 11:59:39+00:00
I built a terminal UI for AWS and shared it 3 days ago. It reached ~1.4k GitHub stars in two days.

Using the same architecture and UX approach, I built a GCP version and shared it as well. That one got ~4 stars in two days.

I’m curious how people here interpret this difference. Is it about console UX, user demographics, tooling culture, or something else?

AWS: https://github.com/huseyinbabal/taws
GCP: https://github.com/huseyinbabal/tgcp
by bradley13 | 2026-01-07 12:00:29+00:00
I totally understand. I "retired" last summer, but I continue to work about 50%, mostly at a new place that needs my help. I like what I do. Anyway, gaming/reading/etc. are fine and dandy, but not something I want to do 24/7.

The only thing I don't quite get about Brin is going back to Google. Since he doesn't need the money, why not support open source AI projects?
by Waterluvian | 2026-01-07 12:00:46+00:00
> "If you're not reading the Claude Code best practices straight from its creator, you're behind as a programmer,"

The amount of “you are doing it wrong if you don’t get on our bandwagon” rhetoric I see surrounding AI coding has me convinced that this is a bandwagon I don’t want to be on. That level of insecurity is just not for me.
by CalRobert | 2026-01-07 12:00:54+00:00
The same people bemoaning the war on general purpose computing or the surveillance state happily using Chrome has always been a truly bizarre disconnect I’ve never understood.

Maybe it’s age? I used Firefox since firebird, and Phoenix, and Netscape, but saying “try Firefox” might feel like talking about an archaeological relic to a 28 year old who has never even seen Firefox running.
by pedro_caetano | 2026-01-07 12:01:05+00:00
KIT had a project on this (Project KAMINA) which looks like it is also cited in the linked paper.

They had a spin off SMELLDECT GmbH which sells a kit but not exactly a order from DigiKey thing. I imagine you will need to send an RFQ and go through the motions with their sales team.
by querym | 2026-01-07 12:01:16+00:00
Yes, orange juice is always made from oranges until the administration holds a gun to your head and tells you to make it with something else.

The rot of quality happened in the 2010s. The only time it was worthwhile was when it was a tight community of those making the news themselves.

Now, we are a community of relatively smart people, on average.

What you seem to be saying is that it will still be the church, even when the Nazis will be controlling it later.
Why must it be that way?
by cryptica | 2026-01-07 12:01:19+00:00
I was kind of retired, earning passive crypto income for several years after 2019 throughout COVID. Best time of my life. I was living on a Mediterranean island, splitting my time between snorkeling and open source work.

Then I got cheated out of my position in the crypto project and now I'm forced to work again. It's a living hell. I'm basically counting down the days to retirement.

It's especially infuriating in this age of perma-bailouts where the system is basically bailing out everyone. I figured out that the system is a scam. If anyone should be bailed out, it should be me. I shouldn't be forced back in the hamster wheel.
by mesenga | 2026-01-07 12:01:24+00:00
Thanks for the comment, I suggest you plug the repository into Gemini or Claude Code and ask it to build 3 examples of original declarative agents, different from each other, and that are not simple chatbots - app builder bolt.new managed to create a chatbot on its own when I asked it to do so using "npm install beddel" (https://bolt.new/~/sb1-evqess6o), it's a simple and commonplace example, but it was amazing to see the code generation using my 'proprietary method' and managing to do it with just ONE prompt.
by anefiox | 2026-01-07 12:01:30+00:00
Hi all, I’m the developer of Ragdoll Mayhem Maker. This started as an internal level editor for my physics-based game. The sandbox/editor is included with the full game on Steam, but levels are just JSON and I mainly use an external editor.

I wanted to share it here mainly to get feedback from people who’ve built physics tools or level editors before.

Happy to answer any technical questions if anybody has any.
by k4rli | 2026-01-07 12:01:38+00:00
The Claude models are among the most expensive. It's easy to spend 30 EUR+ a day when providing it with a lot of context, documentation. Ofc it can be argued that this money is worth it relative to salaries, but recently I've switched to kilocode myself after looking at different model pricings on openrouter https://openrouter.ai/models?order=pricing-high-to-low There's just no reason to throw money away.

There are plenty of free (and also cheap ones) models you can use with just openrouter or kilocode (inexpensive less-shitty Cursor basically, https://kilocode.ai).

With most things these free models are able to achieve great results and similarly to the expensive ones they need oversight and thorough code reviews. These days I'm barely paying anything for tokens monthly.
by gf000 | 2026-01-07 12:01:47+00:00
I don't see the relevance to the discussion. Marketing is not significantly different for a shop and a online-only business.

Having to buy a large property, fulfilling every law, etc is materially different than buying a laptop and renting a cloud instance. Almost everyone has the material capacity to do the latter, but almost no one has the privilege for the former.
by wojciech12 | 2026-01-07 12:01:53+00:00
Kubermatic | Full-time | Product Eng & Open Source Dev & CloudNative Consultant | Remote Europe

I am looking for Product Engineers and Open Source Developers to join the KDP and kcp teams.

- Open Source Software Engineer (https://kubermatic.bamboohr.com/careers/24): Work directly on the upstream kcp project. Your contributions will have a direct impact on the open-source community and will help build a framework for managing multi-tenant services at scale. Kubermatic is the project's maintainer.

- Product Software Engineer (https://kubermatic.bamboohr.com/careers/25): Build a platform that makes other engineers more productive. Drive features from discovery to delivery and shape architectural and product decisions. KDP is currently available as a standalone, on-premises solution. As we prepare to launch a new SaaS offering, you'll help evolve our tech stack to meet these emerging requirements.

KCP and KDP tackle the same problem: managing complexity across heterogeneous IT landscapes at scale. kcp is the open-source foundation—a control plane technology that works with any tech stack. We maintain it upstream and contribute to the community. KDP builds on that foundation, delivering a pragmatic platform for enterprise.

We're also hiring for a role that bridges our technology with real-world enterprise challenges:

- CloudNative Consultant (https://kubermatic.bamboohr.com/careers/28): Partner with some of the largest companies in Europe and the US to solve their toughest infrastructure and engineering challenges. You'll guide enterprises through deploying KKP, running virtualization with KubeVirt, and adopting autonomous operations with KDP/kcp —turning complex tech transformations into success stories.

Feel free to PM (wojciech.barczynski@kubermatic.com or LinkedIn) me if you would like to learn more.
by kouteiheika | 2026-01-07 12:02:38+00:00
Yes, for each token only, say, 10% of the weights are necessary, so you don't have to fetch the remaining 90% from memory, which makes inference much faster (if you're memory bound; if you're doing single batch inference then you're certainly memory bound).

As to how the selection works - each mixture-of-experts layer in the netwosk has essentially a small subnetwork called a "router" which looks at the input and calculates the scores for each expert; then the best scoring experts are picked and the inputs are only routed to them.
by satisfice | 2026-01-07 12:03:02+00:00
I didn't want to use any suggested techniques to memorize the digits, because I felt like that was cheating. So I developed my own: I found a sequence of irregular rhythms in the numbers, like a succession of short, distinct cheerleading chants at a football game. I piled them on top of each other until they started collapsing under their own weight, which was right around a thousand digits.

I found that when I went through the sequence, each chant felt like a little landmark that I could feel but not see. Hence, the sensation of having blindsight (Google it). When I tried to recite the digits as fast as I possibly could, my head started hurting as if I were being struck my tree branches.
by hagbard_c | 2026-01-07 12:04:14+00:00
A bigger problem with BS is the rabid and - to use a phrase often used by them - toxic user base which seems to derive energy from pouring its frenzied opinions on whatever Trump, Musk and those in their general surroundings are supposed to be guilty of. If there was ever a case of the pot telling the kettle it is black it is the b.s. pouring out of a substantial fraction of the denizens of BS who have turned the place into what they accuse X of being and then some.
by Bohann | 2026-01-07 12:04:37+00:00
Great to see a framework tackling the architecture of memory rather than just retrieval. The concept of separating 'Resource Layer' from 'Memory Item Layer' makes a lot of sense for avoiding context pollution in long-running agents.

Practically speaking, how significant is the improvement in retrieval accuracy compared to a standard RAG setup (e.g., vanilla vector search) for nuanced queries? I'd love to understand the 'lift' I could expect before migrating my current stack.
by seer | 2026-01-07 12:04:37+00:00
I highly advise traveling - went a similar experience - had some savings that could last for a few years (much longer if I stretched them)

So just decided to get a motorbike license and go check out Asia.

Ended up finding a partner (totally unexpected) selling everything, moving abroad, marrying them and now expecting a child (planned), all in a manner of 3 years.

Has been quite the joyful and interesting experience, all after I had the deeply depressing feeling of having “solved life” at my nice position in the EU.

There are so many places in the world where you can feel you are actually doing great service to the community, on a shoestring budget and feel happy and fulfilled.
by Fischgericht | 2026-01-07 12:04:37+00:00
People should finally understand that LLMs are a lossy database of PAST knowledge. Yes, if you throw a task at it that has been done tons of times before, it works. Which is not a surprise, because it takes minutes to Google and index multiple full implementations of "Tool that allows you to right-click on an image to convert it". Without LLM you could do the same: Just copy&paste the implementation of that from Microsoft Powertoys, for example.

What LLMs will NOT do however, is write or invent SOMETHING KNEW.

And parts of our industry still are about that: Writing Software that has NOT been written before.

If you hire junior developers to re-invent the wheels: Sure, you do not need them anymore.

But sooner or later you will run out of people who know how to invent NEW things.

So: This is one more of those posts that completely miss the point. "Oh wow, if I look up on Wikipedia how to make pancakes I suddenly can make and have pancakes!!!1". That always was possible. Yes, you now can even get an LLM to create you a pancake-machine. Great.

Most of the artists and designers I am friends with have lost their jobs by now. In a couple of years you will notice the LLMs no longer have new styles to copy from.

I am all for the "remix culture". But don't claim to be an original artist, if you are just doing a remix. And LLM source code output are remixes, not original art.