mkeeter

6 ms·

31.
Commonwealth Fusion Systems Raises $863M to Commercialize Fusion Energy(cfs.energy)
2 points by mkeeter 1y ago|0 comments
32.
by mkeeter 1y ago
The LLM tics are strong in this writeup: "No manual overrides, no exceptions." "Our VDP isn't just a bug bounty—it's a security partnership"
33.
New trend: extreme hours at AI startups(blog.pragmaticengineer.com)
11 points by mkeeter 1y ago|0 comments
34.
by mkeeter 1y ago
The server and switch hardware is designed in-house (from the PCBs on up), though we do source DRAM / SSDs / CPUs / ASICs from the usual vendors. The "secret sauce management layer" is available at https:/&#x2
35.
by mkeeter 1y ago
I'm not aware of folks outside the company running the whole control plane, but people have definitely gotten parts of the system running at home: https://artemis.sh/2022/03/14/propolis-oxide-at-home-pt1.
36.
Sunsetting the Rustwasm GitHub Org(blog.rust-lang.org)
3 points by mkeeter 1y ago|0 comments
37.
Grok 4 seems to consult Elon Musk to answer controversial questions(techcrunch.com)
30 points by mkeeter 1y ago|3 comments
38.
by mkeeter 1y ago
(OP here) This is taken directly from the paper's introduction, which admittedly uses the more specific terminology of "1-Lipschitz signed distance bounds". The paper cites the original Hart '96 paper on sphere tracing;
39.
by mkeeter 1y ago
Interesting post, thanks for the link! You may also enjoy "Spelunking the Deep: Guaranteed Queries on General Neural Implicit Surfaces via Range Analysis", which uses interval arithmetic (ish) to raymarch neural implicit surfaces:
40.
Gradients Are the New Intervals(mattkeeter.com)
2 points by mkeeter 1y ago|0 comments
41.
by mkeeter 2y ago
> What are the practical implications of this kind of assembly language? Surely there’s more efficient means of describing 2D SDFs? By analogy, you wouldn't program in LLVM IR, but it's a useful intermediate representation for
42.
by mkeeter 2y ago
> Can anyone explain where this blob of "assembly language" comes from? Assembly language is definitely the right analogy: it's a low-level target generated by higher-level tools. In this case, the expression came from a
43.
by mkeeter 2y ago
Quoth the article: "Obviously, you could precompute the entire image, but that's against the spirit of the challenge"
44.
Moving on from 18F(ethanmarcotte.com)
362 points by mkeeter 2y ago|192 comments
45.
Qualys Security Advisory: MitM and DoS attacks against OpenSSH client and server(qualys.com)
4 points by mkeeter 2y ago|1 comments
46.
by mkeeter 2y ago
> By default mlua uses pkg-config tool to find lua includes and libraries for the chosen Lua version. In most cases it works as desired, although sometimes could be more preferable to use a custom lua library. The fact that Rhai builds w
47.
by mkeeter 2y ago
This wouldn't be an issue if I locked my computer in a safe, but the rest of the system is changing underneath me: I may have a new laptop, a new CMake version, a new Qt install location, etc. Having everything managed through Cargo d
48.
by mkeeter 2y ago
You would probably find "A Unified Differentiable Boolean Operator with Fuzzy Logic" interesting! https://arxiv.org/abs/2407.10954 They build up CSG trees with differentiable leafs (quadrics) combined with di
49.
by mkeeter 2y ago
Here's a quick list, off the top of my head: "Ao" was an early codename for libfive, so those are the same thing (at different stages of development). Fidget is written in Rust, versus C/C++ for libfive. This makes it e
50.
by mkeeter 2y ago
Hi, this is my project :) I particularly love this corner of CS because there's something for everyone – data structures and algorithms, low-level performance work, compilers, rendering / computer graphics, UI/UX for design t
51.
by mkeeter 2y ago
Thanks Reza!
52.
by mkeeter 2y ago
Hah, I actually wrote a similar constrain solver that uses Fidget's evaluation + differentiation! This blog post was getting too long, so I'm going to write it up separately, but in the meantime: demo: https://mattkeet
53.
by mkeeter 2y ago
It does not support STEP export, unfortunately, because STEP files use a completely different underlying representation. Most STEP files represent shapes as a set of surfaces (e.g. trimmed NURBS). These surfaces have to form a watertight m
54.
by mkeeter 2y ago
You're correct, fixed!
55.
by mkeeter 2y ago
Nope, but many of us (Oxide staff) are big fans of what Bluesky is doing! One of the Bluesky team members posted about their requirements earlier this month, and why Oxide isn't a great fit for them at the moment: https://bs
56.
by mkeeter 2y ago
For a very deep dive into the subject, this is a great writeup: How to Optimize a CUDA Matmul Kernel for cuBLAS-like Performance ( https://siboehm.com/articles/22/CUDA-MMM ) (It's CUDA-specific, so there may be
57.
Bluesky Announces Series A to Grow Network of 13M+ Users(bsky.social)
35 points by mkeeter 2y ago|30 comments
58.
by mkeeter 2y ago
The second-from-most-recent bug, "Leases cannot span MPU regions", did in fact cause immediate failures in our network switch image! Cliff wrote this up in a blog post, which also had substantial discussion: Who killed the networ
59.
by mkeeter 2y ago
Finding bugs in the Hubris kernel is rare enough that we have a running joke about resetting the “days since last kernel bug” timer. I decided to make this joke into an actual docs page; because HN has enjoyed posts about Hubris in the past
60.
It has been [33] days since the last Hubris kernel bug(hubris.oxide.computer)
87 points by mkeeter 2y ago|8 comments

More ›