MurphyA/hacker-news huggingface dataset:
by modeless | 2025-12-16 23:36:14+00:00
I don't understand this part:

> Meshlet has no clear 1:1 lane to vertex mapping, there’s no straightforward way to run a partial mesh shader wave for selected triangles. This is the main reason mobile GPU vendors haven’t been keen to adapt the desktop centric mesh shader API designed by Nvidia and AMD. Vertex shaders are still important for mobile.

I get that there's no mapping from vertex/triangle to tile until after the mesh shader runs. But even with vertex shaders there's also no mapping from vertex/triangle to tile until after the vertex shader runs. The binning of triangles to tiles has to happen after the vertex/mesh shader stage. So I don't understand why mesh shaders would be worse for mobile TBDR.

I guess this is suggesting that TBDR implementations split the vertex shader into two parts, one that runs before binning and only calculates positions, and one that runs after and computes everything else. I guess this could be done but it sounds crazy to me, probably duplicating most of the work. And if that's the case why isn't there an extension allowing applications to explicitly separate position and attribute calculations for better efficiency? (Maybe there is?)

Edit: I found docs on Intel's site about this. I think I understand now. https://www.intel.com/content/www/us/en/developer/articles/g...

Yes, you have to execute the vertex shader twice, which is extra work. But if your main constraint is memory bandwidth, not FLOPS, then I guess it can be better to throw away the entire output of the vertex shader except the position, rather than save all the output in memory and read it back later during rasterization. At rasterization time when the vertex shader is executed again, you only shade the triangles that actually went into your tile, and the vertex shader outputs stay in local cache and never hit main memory. And this doesn't work with mesh shaders because you can't pick a subset of the mesh's triangles to shade.

It does seem like there ought to be an extension to add separate position-only and attribute-only vertex shaders. But it wouldn't help the mesh shader situation.
by neuralkoi | 2025-12-16 23:36:57+00:00
It's not just you. I've read this person's stuff before. Every sentence comes off as if they are presenting the results of a major epiphany.

You can write things which sound pretty. It's the equivalent of wordy sugar. It's much harder to to write things you've learned from life experience or thought deeply about.

Subject your beliefs to the Socratic method. If they've survived your own criticism to the fullest extent and can be validated by your own lived experience, then maybe they've got an inkling of truth and they're worth writing about.
by thomascountz | 2025-12-16 23:37:26+00:00
AFAICT the tool routed the PCB from an existing schematic. It did not "design" the computer.

NXP publishes full schematics and CAD files for this platform, originally designed in Cadence Allegro. Our goal was to keep the schematic identical and prove out only the layout portion with Quilter. That gave us a clear baseline: if the board didn't work, it would be due to our layout.

Source: https://www.quilter.ai/blog/preparing-an-ai-designed-compute...
by pacjam | 2025-12-16 23:37:28+00:00
Not sure why Cursor CLI isn't on the leaderboard... I'm guessing it's because Cursor is focused primarily on their IDE agent, not their CLI agent, and Terminal-Bench is an eval/benchmark for CLI agents exclusively.

If you're asking about why Letta Code isn't on the leaderboard, the TBench maintainers said it should be up later today (so probably refresh in a few hours!). The results are already public, you can see them on our blog (graphs linked in the OP). They are also verifiable, all data is available for the runs + Letta Code is open source, so you can replicate the results yourself.
by motbus3 | 2025-12-16 23:37:32+00:00
Same for me. I feel fatigue and I have also been reflecting about that as it reminded me the same type of mind exhaust I felt when I was a manager.

Choosing, analysing, verifying, talking to others rather than thinking in a sequential and organised way.

One of the reasons I moved away of that position was this constant fatigue by the end of the day. I was happy on seeing things moving forward but it felt that it took more energy to do less
by clueless | 2025-12-16 23:37:33+00:00
This whole backlash to firefox wanting to introduce AI feels a little knee-jerky. We don't know if firefox might want to roll out their own locally hosted LLM model that then they plug into.. and if so, if would cut down on the majority of the knee jerk complaints. I think people want AI in the browser, they just don't want it to be the big-corp hosted AI...

[Update]: as I posted below, sample use cases would include translation, article summarization, asking questions from a long wiki page... and maybe with some agents built-in as well: parallelizing a form filling/ecom task, having the agent transcribe/translate an audio/video in real time, etc
by waterTanuki | 2025-12-16 23:38:01+00:00
I'm skeptical of formal verification mainly because it's akin to trying to predict the future with a sophisticated crystal ball. You can't formally guarantee hardware won't fail, or that solar radiation will flip a bit. What seems to have had much better ROI in terms of safety critical systems is switching to memory-safe languages that rely less on runtime promises and more on compiler guarantees.
by fredfilz | 2025-12-16 23:38:19+00:00
Hey @karamanolev,

Do you work at Ocado? Ever thought of working in AV? We're a young startup in SF, have a couple customers, just raised our seed, and are now expanding our team with some very critical high-ownership founding engineers.

Some info about us: https://crewline.ai/ https://crewline.ai/blog/crewline-manifesto

LMK if this is of interest. -Freddie freddie@crewline.ai
by smaudet | 2025-12-16 23:39:04+00:00
Perhaps not paid, but. I think even if it's natural (I myself have been known to make a disparaging remark in their direction), I still suspect some level of manipulation (why was I saying these things? Out of frustration or because I'd heard something worrying and negative news sticks better than positive?).

Sure, firefox has had some issues, and nobody is denying the market share is an issue but:

1) It has worked reliably for the past 10 years 2) Mozilla and firefox have not disappeared, in fact it has created a number of useful services worth paying for.

Meanwhile, I keep hearing these negative "the world is ending" comments regarding what amounts to a "force for good" in this world, and I have to wonder.

How many of these people making these comments recently switched to chrome, and are saying this as an excuse?
by umanwizard | 2025-12-16 23:39:58+00:00
NB: I'm not the person you were responding to.

> I am strongly adverse to package managers

This has nothing to do with Rust the language, other than the incidental fact that cargo happens to be bundled with Rust. There are no cargo-specific concepts whatsoever in the Rust language, just like there are no Cmake-specific concepts in C++. I know you alluded to this in your post; I just want to make sure it's crystal clear to everyone reading.

Consequently, people can, and do, use Rust without Cargo. That is obviously not what the majority does, because cargo is so easy to use with rust, but it is certainly possible both in theory and in practice.

If it's a "point of pride in the community" and "idiomatic" -- who cares? Rust is a general-purpose systems programming language. You can use it however you want, without listening to what people on Twitter think about it.

This particular complaint strikes me as social/cultural rather than technical -- "people who like Rust do something I find annoying, therefore I must conclude that they're not of my tribe, and reject rust". That is very understandable human nature, but not logically justified.

As for your other two complaints, you are correct that they are fundamental to the language and will never change for at least as long as the language is called "rust".

But since these complaints are totally subjective (a reasonable person might like or dislike them), it doesn't really seem fair to bitch about a language existing and becoming popular that has these properties.

For example, I complain about Go because I think it has actual defects that make it harder to use for almost any competent programmer. I also don't like Python, but I think the tradeoffs it chose to make are at least intelligible and some people prefer the Python style, so it would make no sense for me to complain that other people use it in their projects.
by marwi | 2025-12-16 23:40:05+00:00
We're excited to introducing the Needle Inspector for any three.js project!

Explore any three.js, react-three-fiber, threlte, A-Frame, Spline or Needle Engine project with a visual hierarchy and real-time property editing. Bring powerful scene inspection and debugging capabilities directly to any webpage using three.js.

The Needle Inspector is free to use use and is a great tool for debugging or learning!

What it does:

The Needle Inspector automatically detects three.js projects on any webpage and provides professional-grade debugging tools. When you visit a site using three.js, the Needle Inspector hooks into the scene and gives you immediate access to:

* Visual Scene Hierarchy — Browse the entire 3D scene as an organized tree structure, just like you would in Unity or Blender. See meshes, lights, cameras, and all objects at a glance.

* Real-time Property Editing — Modify object properties directly in the browser. Adjust positions, rotations, scale, visibility, and more—changes apply instantly to the live scene.

* Automatic Detection — No setup required. The extension automatically finds three.js scenes on any page and is ready to use immediately.

* Integrated AI Support — Chat with an AI assistant that understands your 3D scene. Ask questions about your project, get performance insights, or request scene analysis. The AI can use specialized tools to inspect scene hierarchy, measure performance metrics, analyze properties, and even capture screenshots—providing intelligent, context-aware assistance while you work.

--

We'd love to hear your throughts and feedback!
by Barrin92 | 2025-12-16 23:40:05+00:00
>and Japan values and tries to preserve their history and culture quite a lot

Has to be said though that reform can be interpreted in exactly that way too, as revitalization. Hangul for example is also a kind of patriotic achievement. I've even heard, and that was coming from a Japanese friend (who speaks both languages): "we have the world's best and most logical writing system and the most illogical right here next to each other". And in the language department and the origins of their writing systems they're in a fairly comparable boat, just went in two very different directions.
by kbelder | 2025-12-16 23:40:07+00:00
>It's basic tolerance, it's not that hard.

That's right. To get a bit philosophical, it's interesting to see some people's justifications about how they are right to be intolerant in the ways they want to be, while still believing that they are free-thinking and tolerant. A lot of convoluted arguments are really about keeping one's self-image intact, justifying beliefs that are contradictory but which the person really wants to believe. I think that is a trap that is more dangerous for intelligent people.

For what it's worth, I support and supported gay marriage at the time, but don't think people should be forced out of their job for believing otherwise. Thoughts and words you disagree with should be met with alternative thoughts and words.
by pierrec | 2025-12-16 23:40:13+00:00
This showdown benchmark was and still is great, but an enormous grain of salt should be added to any model that was released after the showdown benchmark itself.

Maybe everyone has a different dose of skepticism. Personally I'm not even looking at results for models that were released after the benchmark, for all this tells us, they might as well be one-trick ponies that only do well in the benchmark.

It might be too much work, but one possible "correct" approach for this kind of benchmark would to periodically release new benchmarks with new tests (that are broadly in the same categories) and only include models that predate each benchmark.
by defrost | 2025-12-16 23:40:23+00:00
One was a home invasion that may or may not be related to the victims work on fusion plasma. It is very likely unrelated to that work.

The other was a mass shooting style event that targetted an exam preperation review hall populated by econ students and led by a 21-year-old teaching assistant.

It's a stretch to connect an isolated murder of a field advancing physics researcher and a hall full of students just because all the victims are involved in book learning.

Possible connection, sure. At an improbable stretch.

ChatGPT can certainly knock up a Clancy like novel here, no doubt.
by kortex | 2025-12-16 23:40:36+00:00
> Congress shall make no law respecting an establishment of religion, or prohibiting the free exercise thereof; or abridging the freedom of speech, or of the press; or the right of the people peaceably to assemble, and to petition the Government for a redress of grievances.

It says nothing directly about privacy, for or against, let alone surveillance dragnets. I would contend it strongly implies in fact laws should protect and also not chill your ability to:

- go to and from a place of worship - go to and from a peaceful assembly - conduct free speech activities - conduct press/journalism - petition the government

If anything, the existing framework of laws implies a gap, that data should not be able to be hoovered up without prior authorization, since the existence of such a dragnet with a government possibly adversarial to certain political positions (e.g. labeling "AntiFa" terrorists) has quite the chilling effect on your movement and activity. US vs Jones (2012) ruled a GPS tracker constitutes a 4th Amendment search. If I have no phone on me, and a system is able to track my location precisely walking through a city, does it matter if the trace emitted by that black box is attached to me physically, or part of a distributed system? It's still outputting a dataframe of (timestamp, gps) over a huge area.
by observationist | 2025-12-16 23:40:50+00:00
The going story over at X right now is basically that a far-leftist stereotypically shaped reddit mod is killing conservatives and jews, with at least two prominent names being floated without evidence. I'd hold back any judgment until evidence hits the feeds.

I'd assume bsky is blaming Trump death squads being sent after scientists, exclusive reporting on MSNOW at 11.

The only thing that seems true right now, if it's related to the Brown murders, is that the suspect shown on crappy security footage is overweight and walks like they're out of shape.

These murders are being reported, but feel a bit strategically different than murders from even a few months ago, maybe there's a turn for the better. It seems like the whole social media frenzy and fallout is being taken seriously, and they're letting professionals do the investigating instead of conscripting the public and seizing the news cycles.
by daveguy | 2025-12-16 23:41:07+00:00
Your statements of faith included:

> Currency that can't be inflated... [seriously? the fact that you didn't even recognize that as a statement of faith, well...]

> Outside of pure utility, they have tons of ideological reason to exist

I mean, maybe you're in a repressive regime and really need a way to fight the system. But I'm guessing you just have faith in crypto ideology. Either way, have a great day!
by bossyTeacher | 2025-12-16 23:41:18+00:00
>"How happy are you, on a scale of 0-10?"

Your question is likely to be interpreted as you asking the person's current MOOD hence different answers on different times are likely. While you are thinking of a less changing wider concept.

The social context is important too, there is a social stigma around admitting that you are not happy which will play into this question too.
by robot-wrangler | 2025-12-16 23:41:31+00:00
The whole perspective of this argument is hard for me to grasp. I don't think anyone is suggesting that formal specs are an alternative to code, they are just an alternative to informal specs. And actually with AI the new spin is that they aren't even a mutually exclusive alternative.

A bidirectional bridge that spans multiple representations from informal spec to semiformal spec to code seems ideal. You change the most relevant layer that you're interested in and then see updates propagating semi-automatically to other layers. I'd say the jury is out on whether this uses extra tokens or saves them, but a few things we do know. Chain of code works better than chain of thought, and chain-of-spec seems like a simple generalization. Markdown-based planning and task-tracking agent workflows work better than just YOLOing one-shot changes everywhere, and so intermediate representations are useful.

It seems to me that you can't actually get rid of specs, right? So to shoot down the idea of productive cooperation between formal methods and LLM-style AI, one really must successfully argue that informal specs are inherently better than formal ones. Or even stronger: having only informal specs is better than having informal+formal.
by pacjam | 2025-12-16 23:41:59+00:00
Beads looks cool! I haven't tried it, but as far as I can tell, it's more of a "linear for agents" (memory as a tool), as opposed to baking long-term memory into the harness itself. In many ways, CLAUDE.md is a weak form of "baking memory into the harness", since AFAIK on bootup of `claude`, the CLAUDE.md gets "absorbed" and pinned in the system prompt.

Letta's memory system is designed off the MemGPT reference architecture, which is intentionally very simple - break the system prompt up into "memory blocks" (all pinned to the context window, since they are injected in system, which are modifiable via memory tools (the original MemGPT paper is still a good reference for what this looks like at a high level: https://research.memgpt.ai/). So it's more like a "living CLAUDE.md" that follows your agent around wherever it's deployed - ofc, it's also interoperable with CLAUDE.md. For example, when you boot up Letta Code and run `/init`, it will scan for AGENTS.md/CLAUDE.md, and will ingest the files into its memory blocks.

LMK if you have any other questions about how it works happy to explain more
by anon-3988 | 2025-12-16 23:42:23+00:00
> To give a contrived example, let's say you want to state that a particular computation terminates. To do it in a clear and concise manner, you want to express the property of termination (and prove that the computation satisfies it), but that property is not, itself, computable. There are some ways around it, but as a rule, a specification language is more convenient when it can describe things that cannot be executed.

Do you really think it is going to be easier for the average developer to write a specification for their program that does not terminate

vs

Giving them a framework or a language that does not have for loop?

Edit: If by formal verification you mean type checking. That I very much agree.
by eterm | 2025-12-16 23:42:40+00:00
I have a "go to" prompt for images:

> In the style of a 1970s book sci-fi novel cover: A spacer walks towards the frame. In the background his spaceship crashed on an icy remote planet. The sky behind is dark and full of stars.

Nano banana pro via gemini did really well, although still way too detailed, and it then made a mess of different decades when I asked it to follow up: https://gemini.google.com/share/1902c11fd755

It's therefore really disappointing that GPT-image 1.5 did this:

https://chatgpt.com/share/6941ed28-ed80-8000-b817-b174daa922...

Completely generic, not at all like a book cover, it completely ignored that part of the prompt while it focused on the other elements.

Did it get the other details right? Sure, maybe even better, but the important part it just ignored completely.

And it's doing even worse when I try to get it to correct the mistake. It's just repeating the same thing with more "weathering".
by adrian17 | 2025-12-16 23:43:06+00:00
IMO the minimum is to be able to read a “hello world / first triangle” example for any of the modern graphics APIs (OpenGL/WebGL doesn’t count, WebGPU does), and have a general understanding of each step performed (resource creation, pipeline setup, passing data to shaders, draws, synchronization). Also to understand where the pipeline explosion issue comes from.

Bonus points if you then look at CUDA “hello world” and consider that it can do nontrivial work on the same hardware (sans fixed function accelerators) with much less boilerplate (and driver overhead).
by dylan604 | 2025-12-16 23:43:22+00:00
If someone said the individual had a serious gambling problem and failed to payback his bookie, it would not be any less credible at this time. It also doesn't make it any more legitimate. Speculation is nothing more than that. Unfortunately, very few care to admit speculation and if it is something in the realm of plausibility, there will be many that accept it as true. People are suggesting Comet 3I/atlas could be under powered control, and convinced it is true with no real evidence.
by lovich | 2025-12-16 23:43:24+00:00
https://en.wikipedia.org/wiki/Warren_v._District_of_Columbia

> Warren v. District of Columbia[1] (444 A.2d. 1, D.C. Ct. of Ap. 1981) is a District of Columbia Court of Appeals case that held that the police do not owe a specific duty to provide police services to specific citizens based on the public duty doctrine.
by bob1029 | 2025-12-16 23:43:49+00:00
I don't know if it's "formal", but I think combining Roslyn analyzers with an LLM and a human in the loop could be game changing. The analyzers can enforce intent over time without any regressions. The LLM can write and modify analyzers. Analyzers can constrain the source code of other analyzers. Hypothetically there is no limit to the # of things that could be encoded this way. I am currently working on a few prototypes in the vicinity of this.

https://learn.microsoft.com/en-us/dotnet/csharp/roslyn-sdk/t...
by casparvitch | 2025-12-16 23:44:22+00:00
> My very personal opinion is bureaucracy, fat bureaucracy, damned bureaucracy, expensive bureaucracy: believing you can have a better world by regulations IS stupid, and so on... the whole idea of an elite who is elite 'cause is using it's brain, while out there other need to be forced 'cause they are no (so should just obey and not use their brain) is stupid.

> E.g. In the UK there is no ID card, you can live your whole life with no ID of any sort: yes, you need an ID (the passport) to go outside indeed: your address is stated by your electricity bill, or bank account address, and that is more that enough ... and it works! This while in other EU countries (much less civilized I would add), police can force you to a police station if you do not have the national ID in your pocket... and, beside this, this ID even expire (!)

These sound like aesthetic arguments, and you can make those decisions as a nation whether you're in the EU or not.
by marcosdumay | 2025-12-16 23:44:31+00:00
There are many really important properties to enforce even on the most basic CRUD system. You can easily say things like "an anonymous user must never edit any data, except for the create account form", or "every user authorized to see a page must be listed on the admin page that lists what users can see a page".

People don't verify those because it's hard, not for lack of value.