rck

7 ms·

31.
by rck 2y ago
Not mentioned in the paper, but I have been experimenting with behavior trees for LLM agents, and have had a lot of success: https://richardkelley.io/dendron/tutorial_intro/
32.
Building a Local LLM Agent with Speech Recognition and TTS Support(richardkelley.io)
1 points by rck 2y ago|0 comments
33.
Show HN: Dendron – A Library for Building LLM Agents Using Behavior Trees(github.com)
2 points by rck 2y ago|0 comments
34.
by rck 3y ago
Spivak (of differential geometry fame) wrote a book with this precise title: https://archive.org/details/physics-for-mathematicians-mecha... It's a very interesting take on classical mechanics.
35.
by rck 3y ago
Tangential, but: the notes that this post refers to are probably not the best way to learn how transformers work. If you want mathematical precision, those notes are based on this paper from DeepMind: https://arxiv.org/abs&#
36.
by rck 3y ago
This is so cool! Do you know if anyone ever wrote a general-purpose "how to program with mechanical parts" kind of resource? I've seen technical manuals for specific machines (like the navy's Basic Fire Control Mechanism
37.
Language Modeling Reading List (To Start Your Paper Club)(eugeneyan.com)
1 points by rck 3y ago|0 comments
38.
by rck 3y ago
Everyone knows the hf leaderboard is actively being gamed (Goodhart's law strikes again), but the guy who wrote the Medium post is active in doing stuff with models, and the tutorial is (clearly) pretty good.
39.
by rck 3y ago
The claim that the pod is legal in Switzerland has been fact checked by multiple news organizations, and is false. Here's one article with lots of references that correct an initial misleading viral interview by the pod creator: https
40.
by rck 3y ago
You're right that Aquinas would have rejected the notion that gods are software installed in the hardware of believers, but he was not a dualist - he advocated a kind of hylomorphism that doesn't map neatly onto contemporary philo
41.
by rck 3y ago
No, there's pretty good evidence that Socrates did exist, though there is debate about what he actually believed and taught, since in Plato's later dialogues the character of Socrates typically was advancing Plato's position.
42.
by rck 3y ago
Any idea what the training data for this is? Looking at the model, it looks like it is literally just copy-paste from Karpathy's nanoGPT, so the training data is what's most interesting. Pretty amazing anyway.
43.
How does GPT-3 spend its 175B parameters?(aizi.substack.com)
3 points by rck 3y ago|0 comments
44.
Text Rendering Hates You(faultlore.com)
3 points by rck 4y ago|0 comments
45.
Formalizing Stability and Resilience Properties via TLA+(buttondown.email)
3 points by rck 4y ago|0 comments
46.
Leveraging Rust and the GPU to render user interfaces at 120 FPS(zed.dev)
259 points by rck 4y ago|203 comments
47.
Full screen triangle optimization(30fps.net)
115 points by rck 4y ago|44 comments
48.
by rck 4y ago
I think the closest thing for pytorch is the Karpathy video: https://www.youtube.com/watch?v=VMj-3S1tku0 There's also an old book on the internals of numpy - not sure how out of date it is though.
49.
Evaluating the Cost of Atomic Operations on Modern Architectures(cs.paperswithcode.com)
2 points by rck 4y ago|0 comments
50.
Rust concepts I wish I learned earlier(rauljordan.com)
379 points by rck 4y ago|170 comments
51.
Design of Emacs in Rust(coredumped.dev)
3 points by rck 4y ago|0 comments
52.
by rck 4y ago
From one of the most successful roboticists in the world, with a healthy dose of pessimism about AI, self-driving, etc.
53.
Predictions Scorecard, 2023 January 01(rodneybrooks.com)
6 points by rck 4y ago|1 comments
54.
A taste of pavex, an upcoming Rust web framework(lpalmieri.com)
2 points by rck 4y ago|0 comments
55.
Human-Oriented Automatic Theorem Proving(wtgowers.github.io)
42 points by rck 4y ago|17 comments
56.
Accelerating ZK-SNARKs – MSM and NTT Algorithms on FPGAs with Hardcaml(blog.janestreet.com)
27 points by rck 4y ago|0 comments
57.
by rck 5y ago
Related: https://future.a16z.com/its-time-to-build/
58.
by rck 5y ago
In robotics specifically, understanding how methods like QR factorization work (and fail) is necessary to debug robot code, even if roboticists rarely have to implement QR factorization from scratch. Take a look at GTSAM, a library used wid
59.
Practical Pigment Mixing for Digital Painting(scrtwpns.com)
60 points by rck 5y ago|13 comments
60.
by rck 6y ago
It's probably legal in most of the US, but almost certainly runs afoul of the GDPR in the EU. Location data is personal data, and companies can't (in the EU and maybe CA) and shouldn't (everywhere) collect it without your con

More ›