HNHacker News
TopNewBestAskShowJobs

efnx

1,555 karma · joined September 10, 2010

Schell Scivally

https://efnx.com https://renderling.xyz https://zyghost.com https://github.com/schell

[ my public key: https://keybase.io/schellsan; my proof: https://keybase.io/schellsan/sigs/Jx6C8Hba5v_cbBw0oJTrLxSFtKRfCaYOC1kNl0tlYAk ]

submissionscomments
efnx··on Rust to WGSL transpiler `wgsl-rs` released
I'm the author (and poster). If anyone has any questions, feel free :)
efnx··on US Revokes Limits on Power Plants' Climate Pollution
So now as a planet we have to curb greenhouse gasses in the US _and_ China or India or whatever.
efnx··on OpenAI’s Navier-Stokes release included a Lean 4 formal proof
Everybody comes into information in different ways. There were no comments here about this specific aspect of the story - which is definitely interesting!
efnx··on OpenAI’s Navier-Stokes release included a Lean 4 formal proof
I don't understand why I'm getting downvoted, I'm not posting an opinion. Coincidences happen. So does foul play. No judgement call here.
efnx··on OpenAI’s Navier-Stokes release included a Lean 4 formal proof
I heard a rumor (on instagram, so YMMV) that the professor who was closest to solving this problem had only weeks ago used Codex, which had slurped up all his notes on the subject. Now OpenAI's agents solve the problem. If it's true that seems like quite a coincidence.
efnx··on Ask HN: Who wants to be hired? (September 2026)
Location: Nelson, New Zealand Remote: Yes Willing to relocate: No Technologies: Rust, graphics via `wgpu`, WebGPU, frontend, backend, retail, AI inference on edge, Zcash crypto experience (with no desire to continue in crypto) Resume: https://zyghost.com/resume.html Email: efsubenovex@gmail.com GitHub: https://github.com/schell

I'm a generalist that has worked in many domains, with 20+ years of experience. I'm looking to get out of crypto. Senior or Staff level Engineering (IC) is a good fit.

efnx··on Go is an ideal language for AI-assisted software engineering
Came here to say exactly this. If you’re not writing the code (or especially reviewing it) then we need stronger type systems and more checks and fewer legal programs. Might as well move all the way to Idris or some not-yet-invented language that humans would find very restrictive.
efnx··on Rust SIMD on the GPU
Congrats to the Rust-GPU folks! Nice to see the good work flowing.
efnx··on Apple is getting this wrong
Is it normal for a company this big to make a public blog post like this with almost no introduction to what they’re on about?

I would expect them to start out with something like Apple is suing us for yada yada yada, but instead it reads like the diary of a hurt teenager.

efnx··on Man seeks millions after being shot by police in game-related swatting incident
And then on the side they sell "metadata" to insurance companies and anyone else willing to pay...
efnx··on Man seeks millions after being shot by police in game-related swatting incident
They need to get sued _hard_ and lose millions, as well as have cops put in jail before real change happens. I feel sorry for this kid but he's doing the right thing.
efnx··on I think I have LLM burnout
Just have an agent chug on a side-project for you, or set up a CI script to review every pull request or some similarly “helpful” task. That should eat a lot of tokens!
efnx··on Using precision editing to study human embryo development shows master gene
So do all sexually reproducing species’ conception create souls? Or is it just a blessed few? What about asexually reproducing species?
efnx··on The Pirate Bay Remains Resilient, 20 Years After the Raid
References for this claim?
efnx··on Erin Brockovich made a map to track data centers around the country
It’s interesting how many more community reported data centres there are compared to operational and proposed. I’m wondering if this is because of over reporting? Like - does the public mistake any new, big building as a data centre, or are the other categories under reported (or something else)?
efnx··on Vibe coding and agentic engineering are getting closer than I'd like
Better not think a forbidden thought. Oh shoot! You just did! :)
efnx··on iPhone 17 Pro Demonstrated Running a 400B LLM
Have you tried qwen3.5 running locally? It’s quite “good enough”.
efnx··on Durdraw – ANSI art editor for Unix-like systems
Acid was great!
efnx··on Helix: A post-modern text editor
But how is ki like rust, and why is that significant? Helix is pretty rad, even if what you say is true.
efnx··on Tech companies shouldn't be bullied into doing surveillance
Why even should they be allowed to contract an action that they themselves cannot perform - even _with_ a warrant? Is that not still "doing" the action?
efnx··on Tech companies shouldn't be bullied into doing surveillance
Can you substantiate these claims with with anything? What unlawful DoJ demands has Apple given in to? Anthropic is still very early in their trajectory compared to Apple with its ~50 year run, so it's not exactly an Apple to apples comparison.
efnx··on How I use Claude Code: Separation of planning and execution
I’ve been using Claude through opencode, and I figured this was just how it does it. I figured everyone else did it this way as well. I guess not!
efnx··on Descent, ported to the web
I’ve been following Mr. Doob since the flash days. Cool to see they’re still doobing cool things.
efnx··on Ask HN: What are you working on? (February 2026)
I've been working on Renderling — an open-source, GPU-driven real-time renderer in Rust targeting both native and web (via WebGPU).

I just signed a Memorandum of Understanding with NLnet (NGI0 Commons Fund) for a second year of funding to build out the Renderling ecosystem. The big shift this year: moving away from Rust-GPU and going all-in on WGSL.

I'm building wgsl-rs, a proc macro crate that lets you write WGSL shaders in a subset of Rust — same code runs on the CPU for testing and on the GPU via generated WGSL. Works on stable Rust, no custom toolchains needed.

The funded roadmap also includes podecs, a GPU-accelerated ECS where systems run as compute shaders, a Rend3-compatible API layer (for folks looking for a path forward from Rend3), and ultimately real-time global illumination via a GPU ray tracer.

More details in the latest news update: https://renderling.xyz/news/index.html#wed-11-feb-2026

Repos:

- https://github.com/schell/renderling

- https://github.com/schell/wgsl-rs

efnx··on Discord will require a face scan or ID for full access next month
Because it is not the same deportation policy.
efnx··on Discord will require a face scan or ID for full access next month
The Republicans this term have gotten plenty done, it's just nothing that helps average people. Their wins can't be widely celebrated and so they aren't, as much.

https://www.project2025.observer/

efnx··on ICE using Palantir tool that feeds on Medicaid data
Republicans are overwhelmingly Christian, and even though Calvinism, or its branches, may not be the religion a majority of Republicans “exercise”, predetermination is a convenient explanation of why the world is what it is, and why no action should be taken - so it gets used a lot by right wing media, etc.
efnx··on Monero retakes privacy crown as Zcash turmoil rattles rally
In zcash the wallet is what’s responsible for what is “default”. Zashi is private by default, but the optional transparency of zcash is a feature that makes zcash tenable from a regulatory standpoint.

The trusted ceremony is solved now, btw.

Also, Monero is not all that anonymous - the anonymity set is only about 11 transactions, compare that to zcash’s anonymity set of every shielded transaction ever.

efnx··on Dead Internet Theory
One can hope!
efnx··on The U.S. Government Just Followed Through on Its Ban of DJI Drones
Without a plea bargain, he would have to worry about incarceration as soon as he stepped down, is my point.
Page 1 of 21Next →