Viewing profile — statusfailed

I am a huge fan of mm0, the thesis[0] is so brilliantly written, and MMC is such a great step towards the kind of verified computing I really want to be doing [0]: https://digama0.…

The Milk-V Jupiter 2 (coming out in April) is RV23 too

Ahh I thought I was the only one! One line per sentence makes the diffs so much nicer too, maybe we need git hooks to reject multiple sentences per line?

I didn't find note-taking particularly useful until I started keeping everything in a single notebook with dated pages. This worked a lot better than (for example) trying to organi…

I saw a similar (I think!) paper "Grassmannian Optimization Drives Generalization in Overparameterized DNN" at OPT-ML at neurips last week[0] This is a little outside my area, but …

Which repos worked well? I've had the same experience as op- unhelpful diagrams and bad information hierarchy. But I'm curious to see examples of where it's produced good output!

Really nice! Had a quick read, here's my quick summary: - Arrays are typed `S : D` with shape S and strides D - Each of `S` and `D` is a nested tuple (instead of the flat tuples on…

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 f…

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 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 …

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 inter…

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 b…

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.

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 …

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

At least for chinese there are off-the-shelf word segmenters you can use like jieba[0]- I used it in gptlingo and it Just Works(TM). The "show pronounciations" setting just turns o…

> Duolingo is good at going from nothing to something Seconding this. I got noticeably better at Chinese after using duolingo every day. I feel like I hit a ceiling now and it's no…

OK I played with this some more, it's so good - exactly what I dreamed of!! A couple more bits of feedback: (1) The "suggestion" / "I'm unsure" etc. feedback is fantastic (2) Word …

Nice! I built the same thing to learn chinese[0], it even has the in-context word lookup! I have a feature request: if I don't have a pinyin IME installed, it's very hard to use - …

I used postgrest (without htmx) on an old project; it's impressive how far you can push it. HTMX seems like a perfect fit for it too, although I'm not sure how much I really want t…