MurphyA/hacker-news huggingface dataset:
by kang1 | 2025-07-31 15:27:57+00:00
no ;) (though you could start it there if you wanted, but.. why)

LD_PRELOAD simply loads a library of your choice that executes code in the process context, that's all. folks usually do this when they cannot recompile or change the running binary, which means they also hook and/or overwrite functions of the said program.

generally folks will have gvisor calls integrated to their sandbox code, before the target process starts, so no need for preloading anything in most cases
by jpc0 | 2025-07-31 15:28:27+00:00
> I want to (1) build blindingly fast, low-latency, super performant UX for users, … (2) maintain developer velocity, (3) have access to nice UX primitives and widgets … (4) have it look nice and modern.

Find me when you find this, because I actually think it is impossible.

I think there is fundamentally too much inherent complexity to abstract away to keep 2 and not sacrifice 1. Specifically for something properly cross platform.

If you are only targeting MacOS or windows then I think it’s absolutely possible but then you are using the wrong language, nothing against rust at all on that, the platform defaults are just swift / C# for those use cases.

And I’m not sure but unless you are just using a gtk/Qt style framework you would absolutely run into a11y problems that you would need to build around yourself.

Sounds like you probably want egui though… if your primary UI is a big canvas that needs to be hardware accelerated and interaction is just to assist that use case egui is probably a good bet for you. But you wouldn’t be hiring web devs to do that.
by _fat_santa | 2025-07-31 15:28:27+00:00
Sketch's biggest drawback was they only build a Mac app. The "mac app" space will get you consistent business but you will never grow your company to the scale of Figma or Adobe.

It's funny how the successes and failures of these two companies ultimately comes down to a single architectural decision that both took different paths on. Sketch's biggest drawback (even back in the 2010's when they were on top) was always that they didn't support Web, Windows or Linux and focused only on Mac's. Honestly it paved the way for Figma to just come up and eat their lunch.

The biggest mistake that Sketch made was not realizing there was a sea change sooner and shifting their focus to a web based app or even releasing Windows and Linux clients. Even now I went to their website and they only offer basic viewing tools on the web, if you want to create with Sketch you need a Mac and there's no way around that.
by bobmcnamara | 2025-07-31 15:28:42+00:00
That is true on some systems, but not a portable assumption by any means.

Edit:

st7: sizeof(uint32_t)=4, aligned(uint32_t)=1

msp430: sizeof(int)=2, alignof(int)= 1

Real old ARM: sizeof(double)=8, alignof(double)=4

OG M68k sizeof(char)=1, but struct align(char)=2
by lesuorac | 2025-07-31 15:31:00+00:00
> California’s failed high-speed rail

Everybody throwing shade a California HSR but uh Texas wanted one starting in 2009 [1], "finished" planning in 2015 [1] and a decade later only has a fancy website to show for it [3].

While California voted in 2008 [4] and broke ground in 2015 and has an impressive ;) 22 miles done in the past decade. And in response to the very slow time, California is blocking CEQA [5] from affecting government projects which will speed up construction [6].

The author does have some points, however they are missing that work is being done on this.

[1]: https://en.wikipedia.org/wiki/Texas_Central_Railway

[2]: https://texascentral.wpenginepowered.com/wp-content/uploads/...

[3]: https://www.texascentral.com/project/

[4]: https://en.wikipedia.org/wiki/California_High-Speed_Rail

[5]: https://www.gov.ca.gov/2025/06/30/governor-newsom-signs-into...

[6]: https://gsppi.berkeley.edu/programs/highspeedrail/docs/Schwe...
by lq9AJ8yrfs | 2025-07-31 15:31:12+00:00
Neither US political party has a monopoly on Lysenko-style academics, unfortunately.

At least one of them seems to have an introspective capacity, at some level. So that's nice?

Genuinely I wonder if this would make for good charity? Where can I donate to promote political introspection? I'll consider any mainstream spot on the political spectrum.
by filleokus | 2025-07-31 15:31:13+00:00
I ride rental scooters almost 10k minutes per year and would really like to get my hands on my own ride data to plug it into something like this (or simpler) to find the optimal routes for my regular trips.

Google Maps (or others) works good to find a resonable route, but I can do better on my own. One-way streets where bikes are allowed to go do opposite way is sometimes missing, short desire paths connecting bike ways, crossings where it's safe to do an (illegal) right-on-red etc.

Tried a GDPR data claim from Voi but got nothing back :( But I hope the data is somehow available for urban planners, think it would be a great source of truth to use in tools like this.
by Tainnor | 2025-07-31 15:31:22+00:00
> how can cryptography experts expound the security of such and such cryptographic primitives involving discrete numbers, exponentiation, ... but be unable to come up with alternative proofs of FLT? ... but be unable to individually formalize existing supposed proof of FLT? ... but be unable to find a more succinct proof of FLT?

I have no idea why you think there's a contradiction in here somewhere.
by AnimalMuppet | 2025-07-31 15:31:41+00:00
No, it's not weird. Ideas come where they come. Wherever you get them, be ready to grab them.

Keith Richards (of The Rolling Stones) kept a tape recorder by his bed, for exactly this reason. One morning he woke up and found that the tape was all the way at the end. He re-wound it and found that he had played a guitar riff and sung the words "I Can't Get No Satisfaction" several times. The rest of the tape was of him snoring.
by cameronh90 | 2025-07-31 15:32:09+00:00
Not sure if it's just me or a consequence of the increase in AI scraping, but I'm now being asked to solve CAPTCHAs on almost every site. Sometimes for every page I load. I'm now solving them literally dozens of times a day. I'm using Windows, no VPN, regular consumer IP address with no weird traffic coming from it.

As you say, they are also getting increasingly difficult. Click the odd one out, mental rotations, what comes next, etc. - it sometimes feels like an IQ test. A new type that seems to be becoming popular recently is a sequence of distorted characters and letters, but with some more blurry/distorted ones, seemingly with the expectation that I'm only supposed to be able to see the clearer ones and if I can see the blurrier ones then I must be a bot. So what this means is for each letter I need to try and make a judgement as to whether it's one I was supposed to see or not.

Another issue is the problems are often in US English, but I'm from the UK.
by HarHarVeryFunny | 2025-07-31 15:32:12+00:00
It's not impossible to solve, just that doing so may necessitate compromising anonymity. Just require users (humans, bots, AI agents, ...) to provide a secure ID of some sort. For a human it could just be something that you applied for once and is installed on your PC/phone, accessible to the browser.

Of course people can fake it, just as they fake other kinds of ID, but it would at least mean that officially sanctioned agents from OpenAI/etc would need to identify themselves.
by mrob | 2025-07-31 15:32:46+00:00
Good UI latency used to be standard:

https://danluu.com/input-lag/

(most recent HN discussion: https://news.ycombinator.com/item?id=33683278 )

The fact that it requires niche hardware and software (not "indescribably" niche) to achieve in modern times is a failure of the computer industry, not a problem with my argument. Low standards do not make mobile devices good.

And touch screen are impossible to fix even with niche configurations. I have no way to shrink my fingers to pixel size, and no way to make them transparent.
by joncrane | 2025-07-31 15:32:47+00:00
> I often find, aside from exceptional cases, most of them actually have some part of the job they prefer & are good at, so modifying the task allocation can go a long way.

While this works in the short/naive scenario, I feel like in most cases these low performers prefer the "gravy" work if you will. The type of work that almost everyone prefers and is good at. So you risk setting a bad precedent for perverse incentives by rewarding poor performance with easier work.
by mschuster91 | 2025-07-31 15:32:49+00:00
> This is a macOS bug; it doesn’t need an IP address while it’s asleep. Waking up to renew a DHCP lease is crazy.

It's actually not. As a user I'd expect the device to wake up and still have the same IP address via a continuation of the lease.

Yes, the correct way would be a longer lived DHCP lease, but el-cheapo ISP routers often lock down such settings.
Show HN: Publican – an HTML-first static site generator for Node.js
by ceeb | 2025-07-31 15:33:22+00:00
I'm Craig Buckler and Publican is my tiny, simple, fast, and free static site generator for Node.js.

I've used several SSGs including Jekyll, Metalsmith, and Eleventy. Why build another? The main reason: personal preference. All SSGs have features that I need, features I don't need, and features they don't support. Publican implements just enough with flexibility to extend it using JavaScript.

Publican templates use JavaScript literal ${ expressions } so there's no weird syntax to learn. You can also use !{ expressions } to output partially-built pages for runtime use in Express.js or elsewhere. Features include:

- process any content: markdown, HTML, CSS, JavaScript, TXT, SVG, RSS, XML, etc.

- simple JavaScript configuration

- clean URL routing

- automated navigation, pagination, directory, and tag index pages

- built-in syntax highlighting

- virtual content and templates (passed as strings)

- extendable function hooks

- use whatever client-side framework you like (or none!)

- fast site build and file watch rebuild

- full documentation at https://publican.dev/docs/

- starter themes at https://publican.dev/themes/

You can install Publican using npm: https://www.npmjs.com/package/publican

The code is available at: https://github.com/craigbuckler/publican

Also available for Publican:

- https://publican.dev/livelocalhost/ - a hot-reloading development server

- https://publican.dev/staticsearch/ - a search engine for any static site

All feedback is appreciated!
by mlyle | 2025-07-31 15:34:00+00:00
IMO the new Fraggle Rock is outstanding. Lots of practical craft.

https://youtu.be/1dkNlkom7MU?si=y4Cm1T3SnXZTbMI-&t=196

Sure, now a lot is teleoperated with servomotors instead of with linkages and string. (Letting the people underneath the floor focus more on the hands and other things that the servos don't run). But practical effects and puppetry have always used new technology as it became available.
by dismalaf | 2025-07-31 15:34:19+00:00
> My point is those hard assets have to be used for a business, not for price speculation (as far as I know). Your second link says:

Banks will let you finance any land if you have a way to pay for it. They'll let you mortgage some plot of land in the middle of nowhere if you have the income to pay for it.

A farm is income. A future farm is a business plan. But if you want to speculate on land from the city and work an office job, yeah, they'll give you a loan for that too.

> What is "assist with land tenure to save farmland for future generations"? Is that speculating for future price increase?

Pretty much yeah.
by mattlondon | 2025-07-31 15:34:32+00:00
I think these things are mainly based on cookie/fingerprinting these days - the check-box is just there for show. People like cloudflare and google get to see a big chunk of browsing activity for the entire planet, so they can see if the activity coming from an IP/Browser looks "bot like" or not.

I have never used ChatGPT so no idea how its agent works, but if it is driving your browser directly then it will look like you. If it is coming from some random IP address from a VM in Azure or AWS even then the activity probably does not look "bot like" since it is doing agentic things and so acting quite like a human I expect.
by stocksinsmocks | 2025-07-31 15:34:39+00:00
I agree that COVID response was the canary in the coal mine for exactly the opposite reason you do. Funny how it works both ways. Nobody is happy, and we’re living at the end of an age of decency staring into the abyss of mass-psychosis and catastrophe as we somehow always have been.

Maybe it’s OK. I don’t have to think about predators, which bugs are edible, and I have an entertainment rectangle in my pocket that I can use to tease people on the internet.
by sirwhinesalot | 2025-07-31 15:34:54+00:00
Too defeatist. If much of the software infrastructure of the world was built on say... Idris, we could do it. That's the promise of dependent types, proof carrying code.

Can we extend that to large scale software? There's no obvious barrier to it, beyond a lack of existing provably correct code to build upon.

I don't expect this to change, however, since the cost/benefit ratio just isn't there. And that makes me sad. We build everything on quicksand.
by danielhanchen | 2025-07-31 15:35:12+00:00
I uploaded quantized and full precision GGUFs for local llama.cpp inference to https://huggingface.co/unsloth/Qwen3-Coder-30B-A3B-Instruct-.... Docs to run them: https://docs.unsloth.ai/basics/qwen3-coder-how-to-run-locall...

Also fixed tool calling for the 480B Coder https://docs.unsloth.ai/basics/qwen3-coder-how-to-run-locall... and made 1 million context ones as well.
Show HN: CoderScreen, an open-source alternative to CoderPad and HackerRank
by rogutkuba | 2025-07-31 15:35:37+00:00
Hi HN,

I built CoderScreen, the open-source platform for live coding interviews and coding assessments.

Most existing tools in this space (like CoderPad or HackerRank) feel like they’re built for enterprise sales teams, charging thousands per year for something that should be fast, simple, and developer-friendly.

Key Features:

- Real-time collaborative code environment

- Fast, sandboxed execution in 10+ languages

- Entirely open-source and self-hostable (on Cloudflare)

Coming Soon:

- Web development environments (React, Vue, etc)

- Coding assessments

- Take home projects

I’m actively looking for teams to try it out, give feedback, and help shape what comes next. If you're hiring engineers or have thoughts on what’s missing, I’d love to hear from you.

Try it: https://coderscreen.com

Give us a star: https://github.com/Coderscreen/coderscreen

Thanks, Kuba
by jeroenhd | 2025-07-31 15:35:54+00:00
The US and Germany used a Swiss company to sabotage encryption for years: https://www.bbc.com/news/world-europe-51467536

Being inside of the EU also won't ensure your privacy: https://argos.vpro.nl/artikelen/former-philips-top-cryptogra...

And let's not forget that the Swiss are just as willing to implement privacy infringing laws as any other country these days: https://tuta.com/blog/switzerland-surveillance-plan

Don't trust a company just because it's situated somewhere. When governments friendly to yours want to spy on you, they don't necessarily let borders stop them.
by Dhavidh | 2025-07-31 15:36:49+00:00
I'm excited to share insteinAI with everybody! I built insteinAI to transform how customers interact with businesses online.

Why I Built This: Instead of only giving customers LLM chatbot responses, I wanted to give them actual capability. InsteinAI uses computer use models to let customers get real things done on your website - checking balances, updating information, retrieving data - just like a human would.

What Makes It Different: Customers can take real actions, not just get answers Works with ANY website (no API integration needed) Easy to embed into existing customer support flows

Real Impact: Customers get instant self-service capabilities while businesses improve customer satisfaction.

This isn't about speed or automation - it's about empowering customers to accomplish tasks themselves through AI that can navigate websites like a human.

AMA about computer use AI, customer empowerment, or building as a solo founder!
by christophilus | 2025-07-31 15:37:09+00:00
Mostly unrelated, but I recently built a small utility in Zig, Hare, Go, Odin, and V.

I never completed the Odin / V implementations since their standard libraries didn't have argon2 (a requirement for me).

Of the group, I liked Odin's syntax and feel best. Hare was also very nice. But Zig's optimized binary sizes were unbeatable. 96KB vs 500KB for Hare and 2.5MB for Go.

Zig's standard library and tooling are impressive. Personally, I wish more projects were written in Zig instead of Rust since Zig doesn't seem to have the package explosion problem that Rust has.
by normalaccess | 2025-07-31 15:37:26+00:00
Nothing can stop the ratchet like progress clamping down on information control. These policies have been war gammed by think tanks decades in advance. The enemy is vast and deep with the control of nearly every nation-state on earth.

The overwhelming majority will be swept into a Neo-Dark Ages where truth is locked away and Dogma rules supreme. For a time the lockdown will be universal and complete but after the system is in place for a time I believe people will find a solution and break off the shackles.
by Amyang | 2025-07-31 15:37:28+00:00
First define pose, then define keyframed animation like 0.3s: pose1; then call the animation in main block, just like programming! Result is directly compile to VMD, ready for export!

MPL link: https://github.com/AmyangXYZ/MMD-MPL

Gallery and playground: https://popo.love/gallery
Show HN: StaticSearch – a simple search engine for static sites
by ceeb | 2025-07-31 15:37:55+00:00
I'm Craig Buckler and StaticSearch is my simple client-side only search engine for any static site (such as those created by Publican - https://publican.dev/). An example can be seen on https://publican.dev/ - click the search icon or press Ctrl|Cmd + K.

Static sites cannot easily provide search facilities because there's no back-end framework, language, or database...

You can use third-party services such as Alogia, AddSearch, or Google's Programmable Search Engine. These provide a search API, but often have a cost and can take a while to index.

JavaScript-only options such as Lunr require you to pass all content in a specific format. Every page then has a full index of your site, so payloads can become large as your site grows.

Pagefind analyses your built site and creates WASM binary indexes. But it requires some HTML configuration, uses considerable JavaScript code, and causes Content Security Policy issues.

StaticSearch is a simpler option. It:

- can use npx so there's no installation

- quickly indexes built pages and adds them to your static site (like Pagefind)

- requires no special HTML markers

- respects robots.txt and meta tag settings

- generates pure JavaScript and JSON files

- is easy to add to your site using a native web component

- includes options for custom search facilities

- is vanilla JS compatible with all frameworks

- has a tiny payload (13Kb of JS and 4Kb of CSS at most)

- incrementally loads index data on demand and caches in the browser

- determines when new word indexes are available.

npm: https://www.npmjs.com/package/staticsearch

Github: https://github.com/craigbuckler/staticsearch

Full documentation: https://publican.dev/staticsearch/

All feedback is appreciated!
by mindslight | 2025-07-31 15:38:10+00:00
Living in a less dense place where the municipal electric has set up EV chargers in public parking lots and it all seems sensible, this hadn't occurred to me. But it's another astute point, and ties right into how this article doesn't analyze the actual hangups. Maybe the city has delayed this project of creating a new 8-space parking lot in favor of building multi-story or underground parking garages (which can also have EV charging spots).
by kang1 | 2025-07-31 15:38:13+00:00
gvisor is difficult to implement in practice. it a syscall proxy rather than a virtualization mechanism (even thus it does have kvm calls).

This causes a few issues: - the proxying can be slightly slower - its not a vm, so you cannot use things such as confidential compute (memory encryption) - you can't instrument all syscalls, actually (most work, but there's a few edges cases where it wont and a vm will work just fine)

On the flip side, some potential kernel vulnerabilities will be blocked by gvisor, while it wont in a vm (where it wouldnt be a hypervisor escape, but you'd be able to run code as the kernel).

This is to say: there are some good use cases for gVisor, and there's less of these than for (micro) vms in general.

Google developed both gVisor and crosvm (firecracker and others are based on it) and uses both in different products.

AFAIK, there isn't a ton of gVisor use internally if its not already in the product, though some use it in Borg (they have a "sandbox multiplexer" called vanadium where you can pick and choose your isolation mechanism)
by Rainbooow | 2025-07-31 15:38:25+00:00
You forgot the worst one imo: * when re-org happens / changing jobs, you now have no deep knowledge at all in the stacks you are managing. And no time to develop such knowledge before the next re-org anyway. So you are constantly in a state where you are dealing with topics that you only have a superficial understanding about.

I really feel like the tension between <time to develop a deep understanding of your scope> VS <time before the next re-org (or layoff)> is not in your favor.

Problem is: going to Director level takes several years, at least. And even there, you are basically the CEO of a small start-up, in the sense that you need to constantly fight for "market shares", i.e. scope. Else your org risks getting irrelevant pretty fast, and you are in for a lot of trouble.
by luckylion | 2025-07-31 15:38:58+00:00
I've received messages from people (who don't even report to me) asking whether they did something wrong because I had forgotten to close some google doc they shared which then showed me as "active on the document" for hours and they thought "he's combing through everything, I'm in trouble" and eventually reached out because they couldn't take it anymore.

People read things very differently based on their perceived (job) safety. If you add culture differences (I'm german in a company with a lot of non-germans; what's normal communication to me makes some people gasp), there's a lot of opportunity to accidentally cause stress.
by im3w1l | 2025-07-31 15:39:28+00:00
You can certainly build up a collection of probably-true-statements. That makes sense. Encoding them as logical formula makes sense. That's basically what you are describing. But OP wanted to then additionally put those formula into Lean, and that's where I disagree. Because he will likely have inconsistent statements in his collection and then he can prove all sorts of absurdities (principle of explosion).
by Matticus_Rex | 2025-07-31 15:39:41+00:00
Here's a thought -- there are instructions in various places for mosquito fan traps using a box or other sturdy fan plus mesh on one side.

Do that, but paint the fan (with blades) blue. If more movement is needed, you could probably do something pretty simple with a plastic plate painted blue and hung about a foot from the fan intake.

Cleanup isn't great, but it's better than sticky traps. Spray the mesh down with a 50:50 water:alcohol solution as needed to kill live flies in the trap before dumping.