statusfailed (u/statusfailed)

statusfailed commented on Ask HN: Who is hiring? (August 2025) · Posted by u/whoishiring

Hellas.AI | Remote | Full Time or Contract | https://hellas.ai

Hellas.AI is building a compiler for categorical deep learning to power decentralised, serverless AI.

We're looking for an experienced Rust engineer. You must have demonstrated:

* Experience in designing and implementing BFT consensus protocols * Ability to engage with academic literature on distributed systems * Understanding of ZK proofs and proof aggregation (you don't need to design these, but you should know how to use them)

Nice-to-have: interest or experience in:

* Deep Learning / ML / AI, GPU programming * Compilers and array programming languages * Category Theory and string diagrams

If you have project(s) demonstrating your experience in one or more of these areas, get in touch!

Our process is simple: we read code you've written and research you've published, then interview you about it. We don't do tedious coding tests.

Email us at hello@hellas.ai

statusfailed commented on Algebraic Semantics for Machine Knitting uwplse.org/2025/03/31/Alg... · Posted by u/PaulHoule

statusfailed · 5 months ago

I've been hoping for a nice concrete example of braided monoidal categories for ages, who knew that the best one was string diagrams that represent actual string! Great post!

@the author - I assume you're aware that morphisms in symmetric monoidal categories can be represented using cospans of hypergraphs - do you know if there's a similar combinatorial representation for braided monoidal categories?

statusfailed commented on Catgrad: A categorical deep learning compiler catgrad.com/... · Posted by u/remexre

catgary · 7 months ago

This is a nice project, but “You only linearize once” is more-or-less the type theory version of “Reverse Derivative Categories”, so JAX really does this already.

statusfailed · 7 months ago

(author here) the goals of catgrad are a bit different to JAX - first of all, the "autodiff" algorithm is really a general approach to composing optics, of which autodiff is just a special case. Among other things, this means you can "plug your own language" into the syntax library to get a "free" autodiff algorithm. Second, catgrad itself is more like an IR right now - we're using it at hellas.ai to serve as a serverless runtime for models.

More philosophically, the motto is "write programs as morphisms directly". Rather than writing a term in some type theory which you then (maybe) give a categorical semantics, why not just work directly in a category?

Long term, the goal is to have a compiler which is a stack of categories with functors as compiler passes. The idea being that in contrast to typical compilers where you are "stuck" at a given abstraction level, this would allow you to view your code at various levels of abstractions. So for example, you could write a program, then write an x86-specific optimization for one function which you can then prove correct with respect to the more abstract program specification.

statusfailed commented on Ask HN: Who is hiring? (January 2025) · Posted by u/whoishiring

statusfailed · 8 months ago

Hellas.AI | Remote | Full Time or Contract | https://hellas.ai

Hellas.AI is building a compiler for categorical deep learning to power decentralised, serverless AI. If you're interested in any of the following, get in touch:

* Category Theory and string diagrams

* Compilers and array programming languages

* Deep Learning/ML/AI and/or GPU programming (e.g. CUDA/ WGSL)

* Building and deploying distributed systems

* Peer-to-peer software and blockchain

If you have project(s) demonstrating your experience in one or more of these areas, get in touch!

Our process is simple: we read code you've written and research you've published, then interview you about it. We don't do tedious coding tests.

Some experience of Rust or a functional language (Haskell, OCaml, any Lisp) is preferred.

Email us at hello@hellas.ai

statusfailed commented on Mozilla fixes Firefox zero-day actively exploited in attacks bleepingcomputer.com/news... · Posted by u/timokoesters

statusfailed · a year ago

Seems bad. "An attacker was able to achieve code execution in the content process by exploiting a use-after-free in Animation timelines. We have had reports of this vulnerability being exploited in the wild."

See:

- NVD page for CVE-2024-9680: https://nvd.nist.gov/vuln/detail/CVE-2024-9680

- Mozilla security advisory: https://www.mozilla.org/en-US/security/advisories/mfsa2024-5...

statusfailed commented on Were RNNs all we needed? arxiv.org/abs/2410.01201... · Posted by u/beefman

tehsauce · a year ago

I haven’t gone through the paper in detail yet but maybe someone can answer. If you remove the hidden state from an rnn as they say they’ve done, what’s left? An mlp predicting from a single token?

statusfailed · a year ago

I only had a quick look, but it looks like they tweaked the state update so the model can be run with parallel scan instead of having to do it sequentially.

statusfailed commented on Why AI Infrastructure Startups Are Insanely Hard to Build nextword.substack.com/p/w... · Posted by u/nextworddev

swalsh · a year ago

I'm not sure I'm exactly at the edge of things, but I have 2 companies trying to setup regular meetings with me to be a beta customer. Both have promised I can help define a new product, but when I list my real problems... they aren't in the mission. Everyone wants to solve RAG (that's easy, don't need help) or they want to give me a gui I don't need, or wrap open source software like vllm. Or "solve privacy" (which usually comes in the form of masking... which surprise, that works for PII, but not PHI... I need the protected information).

Want to solve a real problem, help me create custom benchmarks, clean my data, get my small parameter model to reason better etc.

statusfailed · a year ago

I'd love to know what your use case is that makes those things important to you - and what kind of benchmarks and cleaning tasks do you need to run?

Also, what kind of evaluations for quality of reasoning do you use?

statusfailed commented on Sending emails to my three-year-old blog.haschek.at/2024/leav... · Posted by u/geek_at

candiddevmike · a year ago

Why not put this in an append-only document that you can easily ctrl+a/c/v (or print) and move it as needed? Why would you want this kind of thing in email?

statusfailed · a year ago

This lets other family members send emails too, and has an interface everyone is familiar with.