MurphyA/hacker-news huggingface dataset:
by sho_hn | 2026-01-09 12:16:31+00:00
This one runs Linux on the ARM cores rather than the RISC-V cores in the same package, so it's apples and oranges, but still pretty neat for something that comes essentially with a companion MCU and is in the same form factor:

https://milkv.io/duo

In embedded systems it's very common to have a bigger SoC and a satellite MCU to handle e.g. network comm and power lifecycle. I've still not really tried out my Milk-V Duo, but it's interesting to get a combo like this in a hobbyist board form factor.

They also claim desktop-class performance for this RISC-V-based miniITX board, it's a bit weird though since it doesn't claim RVA23 compliance:

https://milkv.io/titan
by codeflo | 2026-01-09 12:17:19+00:00
> For many of these, WebAssembly is critical to either their entire product or a major feature. But I think this alone is not very convincing.

So it's critical to major businesses, but that is unconvincing. I see.

> In a word, WebAssembly is a language.

It's not. WAT (the text format that no one uses) might qualify as a language, but WebAssembly itself is more like an ABI.

I'm not inclined to read further.
by adrian17 | 2026-01-09 12:19:12+00:00
> LLVM is still not very good at emitting optimized WebAssembly bytecode.

Like I said in the other comment, I find it incredibly weird that wasm-opt can still squeeze like 10% better code (as in, both smaller binary and somehow faster code) on top of what LLVM does. And it hasn't changed much within the last 5 years.

And in general, the tooling ecosystem is doing... weirdly. Rust is doing badly yeah, but for example there was also a long stretch of time (I think it's solved now?) when you couldn't pass a .wasm with bulk-memory or other extensions to webpack, as its builtin wasm parser (why was it parsing the binary anyway?) didn't recognize new opcodes.
by criddell | 2026-01-09 12:19:14+00:00
Thats a little like saying if you want to learn mechanical engineering, fix things around your home and then do research when you get stumped.

Building a bunch of software projects probably isn’t a very efficient way of learning computer science. You might figure out things like big-O or A* on your own, but a more academic approach is going to take you further, faster.
by fried-gluttony | 2026-01-09 12:20:05+00:00
Do you have any (soft) evidences, that actually embassy is used in safety-critical applications? I think that is quite more difficult to qualify the whole of embassy with the HAL, executor and the other components used. Ferrous is just the qualified toolchain incl. core std. and some other libraries. Additionally a question is how well it integrates e.g. with ARM self-test libraries for the platform safety.

I know that sonair [0] is actually using Rust in the safety critical path. Toyota Woven [1] is for now just using it in infotainment and non-safety applications.

I am closely monitoring the space, as I am currently evaluating to use Rust and potentially embassy for a safety-critical embedded product myself. I hope to this way also contribute to safety-critical Rust usage.
If anyone has further information or just wants to exchange ideas, I'd be super happy to!
[0] https://www.sonair.com/journal/leading-the-way-for-safety-ce...
[1] https://filtra.io/rust/interviews/woven-by-toyota-nov-25
by ubervincet | 2026-01-09 12:20:17+00:00
Hey guys,

I had been grinding Leetcode for the past two months and I had been using an AI workflow to help me understand the questions better.

It utilizes MC quizzes and open-ended probing questions to test your understanding while allowing you to ask clarifying questions.

I later built a scaffolding app around this core workflow and I am now giving out a free lifetime usage for the first 20 users.
by jokethrowaway | 2026-01-09 12:20:30+00:00
As someone who's going to write frontend in Leptos in the next 2 weeks, what stops me from recommending wasm for every frontend application is the bundle size. I don't want to ship compiled megabytes to the user to render UI.

If there was a rust frontend framework that compiles to JS, I'd use it for all my frontend code.
by saidinesh5 | 2026-01-09 12:21:00+00:00
> Who cares the server side software is open source if you still can't submit your taxes with your own python script?

The management, the government and the eventually the tax payers.

If the government wants to add a small change to the tax code, if it's not an open source software, they'd have to hire the same company that wrote it in the first place. That's when the companies tend to jack up the prices to crazy numbers.

I have personally witnessed companies winning the initial government contracts by undercutting everyone and then charging them 10X for even the tiniest of modifications. Some times the companies even flat out reject the future contracts because they are stuck with a better project elsewhere and the government is stuck with useless old binary.

If the server side software is open source, depending on the policy, you can also submit your changes to that software that lets you submit your taxes with your own python script.
by geowalker | 2026-01-09 12:22:41+00:00
- Nicknamed “Casio Royale”

- No internet connectivity

- Can quickly change to the majority of timezones not including fractional :15/:45 timezones and can switch between smaller set of locations quickly

- Manual DST change, so supports potential future removal

- 10 year battery

- 100m water resistance

- Display has a light
by valadaptive | 2026-01-09 12:23:56+00:00
> Not many people are going to want to be rolling their own libc like that author.

Emscripten provides a libc implementation based on musl, and so does wasi-libc (https://github.com/WebAssembly/wasi-libc).

If you explicitly list which functions you want to export from your WebAssembly module, the linker will remove all the unused code, in the same way that "tree-shaking" works for JS bundlers.

In my experience, a WebAssembly module (even with all symbols exported) is smaller than the equivalent native library. The bytecode is denser.

WebAssembly modules tend to be larger than JavaScript because AOT-compiled languages don't care as much about code size--they assume you only download the program/library once. In particular, LLVM (which I believe is the only mainstream WebAssembly-emitting backend) loves inlining everything.

Judicious use of `-Oz`, stripping debug info, and other standard code size techniques really help here. The app developer does have to care about code size, of course.
by danhor | 2026-01-09 12:24:39+00:00
The Hazard 3 is basically a hobby project of Luke Wren, a Raspberry Pi Employee. He's contiuing to evolve it further, but I don't think it's ready for a full replacement of the Cortex-M yet, especially in regards to the Security Features.

The source code is all from Luke Wren and I don't think other cores use the source code directly, but improvements to test harnesses or general implementation patterns as well as better software support help other cores: https://github.com/Wren6991/Hazard3

For the SoCs I would expect to see an off-the-shelf Risc-V core (certainly no Hazard3 as the main CPU), but we'll see.
by Ieghaehia9 | 2026-01-09 12:24:45+00:00
That's the thing: Core War matches last a finite time (after which the match is judged a tie). So you have a finite memory space, finite time, and a finite number of match combinations. And for predetermined constant N, the bounded halting problem ("does the program halt within N steps") is in NP.

For the nano hill[1], the constants are: each warrior has a max of five lines of code, core size is 80 instructions, and a match lasts a maximum of 800 cycles.

If N = 1, it's clear that the best you can do is drop a bomb at a fixed location and hope you hit. So that is mostly a tie. For N=2, it's probably still not possible to do anything useful. With N = 10, perhaps a quickscan is possible. N = 800 -- who knows?

[1] https://corewar.co.uk/nano.htm
by pembrook | 2026-01-09 12:25:02+00:00
I find it endlessly fascinating how governments always get lost in the symptoms of the problems at hand instead of addressing the underlying problem itself.

The EU has no viable software industry because there's no real single market to fundraise from and sell into (no single capital market, no single language market, no single regulatory market, etc).

The lack of domestic EU software/hardware products sits entirely downstream of that issue. The open source community will not magically solve this problem for them.

What if we stopped wasting time on anything that is not solving the core issue. The symptoms will take care of themselves after that.
by adrian17 | 2026-01-09 12:25:04+00:00
> Mainly because most of their bets have been unsuccessful: WASI, Component Model.

Can you expand on that? I've only been using wasm for web (and the current status quo of JS bindings to the DOM is working just fine for me) so I haven't been following that strongly, but for the last couple months I was under impression that people are still trying to push WASI.
by cons0le | 2026-01-09 12:25:51+00:00
Sometimes I feel like the people here live on a different planet. I can't imagine what type of upbringing I would have to have, to start thinkinkg that "eating food" is an engineering problem to be solved.

This might be a controversial opinion, but I for one, like to eat food. In fact I even do it 3 times a day.

Don't yall have a culture that's passed down to you through food? Family recipes? Isn't eating food a central aspect of socialization? Isn't socialization the reason people wanted to go to the office in the firt place?

Maybe I'm biased. I love going out to eat, and I love cooking. But its more than that. I garden. I go to the farmers market. I go to food festivals.

Food is such an integral part of the human experience for me, that I can't imagine "cutting it out". And for what? So you can have more time to stare at the screen you already stare at all day? So you can look at 2% more lines of javascript?

When I first saw commercials for that product, I truly thought it was like a medical/therapeutic thing, for people that have trauma with food. I admit, the food equivalent of an i.v. drip does seem useful for people that legitimately can't eat.
by doodlesdev | 2026-01-09 12:26:14+00:00
Nicely written.

If I ever want to teach someone how to write a black box implementation for some kind of software interface, I'll point them to this to get started. The French café analogy is pretty good. It's also great because Parisians aren't always the nicest people around, just like the servers and clients you'll be working with during your implementation.

I guess nowadays you could also automate some part of the protocol discovery with LLM agents? Has anyone tried this before with any promising results? My idea would be to have a traditional fuzzer poking at the server, but use an LLM agent whenever you get a non-error message or a different error message to attempt the well-crafted request without having to shotgun every possibility under the sun into the server.
by zerr | 2026-01-09 12:28:03+00:00
I'd think the opposite though, with nowadays "AI"/LLMs - retrieving a domain/specialist knowledge became easier, while general software development is still unsolved. E.g. you can use LLMs for generating many well-known/documented/specified particular image processing algorithms, but creating a high-quality Photoshop-like software still needs a good generalist developer.
by galangalalgol | 2026-01-09 12:28:47+00:00
When did that happen? Or is it something I have to turn on? I had Claude write a swift version of the go version a few months ago and it segfaulted.

Edit: Ah, the global variable I used had a warning that it isn't concurrency safe I didn't notice. So you can compile it, but if you treat warnings as errors you'd be fine.
by HocusLocus | 2026-01-09 12:29:28+00:00
I think AIs should combine maximum depth of bad intent detection amplification cycles like PCR or 'force-feedback' in climate models. Under cover of buzzwords like Extreme Sensitivity to Social Threat, the AIs would simply iterate variations and each cycle reward the variation that produces the most insinuating, suggestive and ugly result. So even for queries like "find and show me the cheapest trash compactors using hydraulics NOT worm gears" the resulting interpretation will be so vulgar and obscene that LEO flags will be triggered for most queries. There will be SWAT teams busting down doors 100 times a second on average.

Some will be inconvenienced, but the children will be safer. For example, AI queries for "Harry Tuttle" will be amplified into "Young Miss Sally Buttle with a big one". LEO will cut a circle and come down through the ceiling shooting. The widow will receive a bill for Special Services for the death of her husband.
by srean | 2026-01-09 12:29:34+00:00
There's also this notion of holding themselves to their own standards.

They, Newton included, would often feel that their work was not good enough, that it was not completed and perfected yet and therefore would be ammunition for conflict and ridicule.

Gauss did not publicize his work on complex numbers because he thought he would attacked for it. To us that may seem weird, but there is no dearth of examples of people who were attacked for their mostly correct ideas.

Deadly or life changing attacks notwithstanding, I can certainly sympathize. There's not in figuring things out, but the process of communicating that can be full of tediousness and drama that one maybe tempted to do without.
by mgaunard | 2026-01-09 12:29:56+00:00
It's well established that practical project work is what works best at producing tangible results, and most institutions that aim to produce the best programmers focus on that.

I can understand this is not the approach preferred by academic types which is a strong community on hackernews.

Most people are more motivated to understand the theory because it helps them solve a practical problem, rather than theory for the sake of theory.
by wildmXranat | 2026-01-09 12:30:47+00:00
We went from "Review any services and their interaction without local system and network" to "Defending local and remote logic created on the fly to mangle the local file system, and why that's a good thing" ...

That's not a productivity boost. That's a rapid increase in cognitive tax you're offloading for later and as you get backlogged in reviewing it, you lose more control over what it does...
by CharlieDigital | 2026-01-09 12:32:11+00:00
A friend used Replit to prove out a startup (it worked) and what worked for him is that Replit has a whole platform integrated with their coding assistant that include hosting and backend runtimes. So his cycle time of vibe-deploy-test was very short and very simple for someone non-technical.

No need to think about how/where to deploy, cloud platforms (AWS, GCP, Azure), etc. Just vibe and deploy.

(He did end up moving off the platform once he had enough validation)
by fzaninotto | 2026-01-09 12:32:32+00:00
I think this article misses the most important point of MCP: Authentication. Granted, it wasn't in the initial spec, but it is now, and it really opens interoperability without compromising on security.

Think about how to provide your SaaS service to users of ChatGPT or Claude.ai (not only coding tools like VSCode). At one time, the user will need to allow the SaaS service to interact with their agent, and will have to authenticate in the SaaS service so that the agent can act on their behalf. This is all baked in the MCP spec (through OAuth) [1], and scripting can't beat that.

That's why the Extensions/Applications marketplaces of consumer AI assistants like ChatGPT Apps [2] are a thin layer on top of MCP.

Another domain where MCP is required is for Generative UI. We need a standard that allows third-party apps to return more sophisticated content than just text The MCP spec now encloses the MCP Apps specification [3], which is exactly that: a specification for how third-party apps can generate UI components in their response. On the other hand, scripting will only let you return text.

[1]: https://modelcontextprotocol.io/specification/2025-03-26/bas...
[2]: https://help.openai.com/en/articles/11487775-apps-in-chatgpt
[3]: https://github.com/modelcontextprotocol/ext-apps
by srean | 2026-01-09 12:33:14+00:00
He did have a very long life, so there's that.

It's not easy to separate cause and effect from direct and strong correlations that we experience.

The job of a scientist is not to give up on a hunch with a flippant "correlation is not causation" but pursue such hunches to prove it this way or that (that is, prove it or disprove it). It's human to lean a certain way about what could be true.
by kmelkumyan | 2026-01-09 12:33:22+00:00
Thanks for the pushback.

I’m not claiming human reasoning or feelings here. The model generates tokens; “reasoning” only happens in the reader’s head when you interpret the text. EME doesn’t inject any reasoning rules either. It just runs the same model multiple times under small, controlled input transformations (assumption flips, counterfactual constraints, consolidate vs. challenge) and logs the deltas.

What’s useful (when it is useful) is the comparative structure across runs: what stays stable, what flips, and which assumptions look load-bearing.

If you think this is just a diary/log, it’s super easy to test. Paste a real problem you actually care about right now (decision, plan, argument) and see whether the trace adds anything beyond a one-shot answer. Public demo, no login: https://eme.eagma.com
by thomasfromcdnjs | 2026-01-09 12:33:40+00:00
Yeah, it might be useful for some people to stop thinking about MCP in relation to agentic harnesses. Think more about environments you don't control, such as Claude Web or ChatGPT. MCP is just a standard (fallible like most standards) but has gained traction and likely to stick around. Extremely useful for non technical people if all their apps/agents are communicating with each other (mcp).

Useful for service providers who want to expose themselves to technical consumers without having to write custom sdk's that consume their restful/graphql endpoints.

The best implementation of MCP is when you won't even hear about it.

I definitely agree that it is currently pretty shit and unnecessary for agentic coding, cli's or some other solutions will come along. (the premise being the same though, searchable/discoverable and executable tools in your agentic harness is likely going to be a very good thing instead of having to document in claude.md which os and cli specific commands it should run (even though this seems far more powerful and sensible at this point in time))
by theocastillo | 2026-01-09 12:33:41+00:00
Hi HN,

I built VeridisQuo to tackle a problem with most deepfake detectors: they tell you something is fake, but not why or where.

The approach:

- Spatial analysis (EfficientNet-B4) catches visual artifacts like texture inconsistencies and blending boundaries

- Frequency analysis (DCT + FFT) catches compression artifacts that are invisible to the human eye but characteristic of deepfake generation

- GradCAM generates heatmaps showing which regions of each frame triggered the detection

The result is a video where you can see exactly which parts of someone's face looked manipulated.

Trained on 716k faces from FaceForensics++ (Face2Face, FaceShifter, FaceSwap, NeuralTextures). ~4 hours on an RTX 3090.

Live demo: https://huggingface.co/spaces/Gazeux33/veridisquo-deepfake-d...

I'd love feedback on:
- The frequency fusion approach (DCT + FFT → MLP)
- Ideas for improving generalization to newer deepfake methods
- Whether temporal modeling (LSTM/Transformer) would help

Happy to answer questions about the implementation.
by Banderly | 2026-01-09 12:33:45+00:00
HMCTS / Ministry of Justice | UK (Remote, UK-only) | CONTRACT (Inside IR35 £Day rate) | Security: Willing to undergo clearance | Principal Engineer

We’re evolving the architecture of a mission-critical justice platform and looking for a hands-on Principal Engineer.

We are looking for a track record of reducing complexity and an appreciation for databases as foundational pillars of correct applications.

We value engineering judgement over specific frameworks—if you’re a great engineer who can ramp up quickly we want to talk.

Apply: https://careers.publicsectorresourcing.co.uk/en_GB/careersma...
by hnlmorg | 2026-01-09 12:34:18+00:00
I understood you meant bilateral symmetry. And yes, there are similarities, but we are not bilaterally symmetric. At least not to the extent where you can flip an image and have that look normal.

Even faces look weird when flipped that way (there have been studies on this effect too). And that’s before you get into the issue that it’s common to have differently shaped breasts, different sized hands or feet. Ears shaped differently. Non-uniform teeth. And so on and so forth.
by JohnFen | 2026-01-09 12:34:23+00:00
> An innocent person would want to clear their name so they'll sit for the interview.

I can see that. I think they're misguided, but I can understand the impulse.

> Loss prevention isn't like the cops, they actually want to catch the thief because if they don't, the thief continues to operate.

I'm deeply skeptical. Probably because of my own experience with this. When I was a teen, I was wrongly accused of stealing in the workplace, was subjected to interrogation, declared guilty and fired. I wanted to clear my name so badly that I went to the trouble of taking a lie detector test and sending them the result.

I learned to never cooperate if I'm ever in that situation again. There's no point. Just quit and move on with your life.
Show HN: Rankiwiki a multilingual community ranking site
by rankiwiki | 2026-01-09 12:34:36+00:00
https://rankiwiki.com
Hi HN, I run a small site called Rankiwiki after noticing how fragmented rankings and opinions become across languages.
Rankiwiki lets people vote on and explore rankings across different topics while keeping all languages in a single feed. Instead of separating content by country or translation, posts are grouped by writing system so users can quickly filter what they can read without breaking layout or pagination.
A recent focus has been improving clarity for first time visitors. I added a lightweight onboarding guide to explain what the site is and how to navigate it, without blocking interaction or requiring signup.
The project is still early and mostly an experiment in handling content dense, multilingual interfaces.
I’d really appreciate feedback, especially around usability, language handling, and whether the purpose is clear on first visit.
by JDye | 2026-01-09 12:35:03+00:00
I've taken time today to do this. With some of your suggestions, I am seeing an improvement in it's ability to do some of the grunt work I mentioned. It just saved me an hour refactoring a large protocol implementation into a few files and extracted some common utilities. I can recognise and appreciate how useful that is for me and for most other devs.

At the same time, I think there's limitations to these tools and that I wont ever be able to achieve what I see others saying about 95% of code being AI written or leaving the AI to iterate for an hour. There's just too many weird little pitfalls in our work that the AI just cannot seem to avoid.

It's understandable, I've fallen victim to a few of them too, but I have the benefit of the ability to continuously learn/develop/extrapolate in a way that the LLM cannot. And with how little documentation exists for some of these things (MASQUE proxying for example) anytime the LLM encounters this code it throws a fit, and is unable to contribute meaningfully.

So thanks for your suggestions, it has made Claude better and clearly I was dragging my feet a little. At the very least, it's freed up a some more of my time to work on the complex things Claude can't do.