statusfailed

6 ms·

1.
Thunderbolt-ibverbs: We have InfiniBand at home(blog.hellas.ai)
1 points by statusfailed 4mo ago|0 comments
2.
Ral: A shell grounded in programming language theory(lambdabetaeta.github.io)
3 points by statusfailed 5mo ago|1 comments
3.
by statusfailed 6mo ago
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.github.io/mm0/thesis.pdf
4.
by statusfailed 6mo ago
The Milk-V Jupiter 2 (coming out in April) is RV23 too
5.
by statusfailed 7mo ago
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?
6.
by statusfailed 7mo ago
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 organise notes by category - it's often easier to rememb
7.
Explosive GEMM: arbitrarily large FP error can be incurred in the GEMM operation(github.com)
1 points by statusfailed 9mo ago|0 comments
8.
by statusfailed 9mo ago
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 I think the relevant part of that abstract is &quo
9.
by statusfailed 10mo ago
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!
10.
by statusfailed 1y ago
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 one typically sees in a tensor framework) - Together `S
11.
by statusfailed 1y 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. We're looking for an experienced Rust engineer. You must h
12.
by statusfailed 1y 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
13.
by statusfailed 2y 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 yo
14.
by statusfailed 2y 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
15.
Sled: An Embedded Database in Rust(github.com)
2 points by statusfailed 2y ago|0 comments
16.
by statusfailed 2y 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 C
17.
by statusfailed 2y 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.
18.
ConsiStory: Training-Free Consistent Text-to-Image Generation(research.nvidia.com)
2 points by statusfailed 2y ago|0 comments
19.
by statusfailed 2y 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?
20.
by statusfailed 2y ago
This lets other family members send emails too, and has an interface everyone is familiar with.
21.
by statusfailed 3y ago
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 on pinyin above characters - what I want is to type
22.
by statusfailed 3y ago
> 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 not helping too much, but it definitely worked.
23.
by statusfailed 3y ago
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 segmentation doesn&#x
24.
by statusfailed 3y ago
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 - it would be nice to have an in-browser one! [0]:
25.
by statusfailed 3y ago
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 to maintain htmx templates inside SQL functions..
26.
by statusfailed 3y ago
Location: London, UK (able to work in the US without visa) Remote: Preferred Willing to relocate: No Technologies: Python, Haskell, Rust, HTML/CSS, Javascript, AWS, Terraform, Postgres, & more. Résumé/CV: https://st
27.
Reverse Tangent Categories(arxiv.org)
1 points by statusfailed 3y ago|0 comments
28.
by statusfailed 3y ago
I'm in the same boat- I just want a simple headset that overlays a big, high-resolution monitor on my normal vision. The closest thing I know of is the [Simula One]( https://www.simulavr.com/ ), which seems to be a VR &q
29.
by statusfailed 3y ago
What kind of applications do you see for training on mobile devices? Is anyone using this in industry?
30.
by statusfailed 3y ago
I (as a Ph.D student) paid open access fees with my own money. Not grant money, my own salary.

More ›