Hacker News headlines

11

Verified dynamic programming with Σ-types in Lean (tannerduve.github.io)

a month ago | rck | github.io | frontpage

3

It's Not What You Think: LLMs Like Obvious Answers (lemmata.substack.com)

a month ago | rck | substack.com | newest

3

Functional Programming and Theorem Proving in Lean 4 (stanford.edu)

2 months ago | rck | stanford.edu | frontpage

2

Show HN: Easily generate text and compute probabilities for any Hugging Face LLM (github.com/richardkelley)

11 months ago | rck | github.com | newest

1

Building a Local LLM Agent with Speech Recognition and TTS Support (richardkelley.io)

a year ago | rck | richardkelley.io | newest

1

Show HN: Dendron – A Library for Building LLM Agents Using Behavior Trees (github.com/richardkelley)

a year ago | rck | github.com | newest

1

Language Modeling Reading List (To Start Your Paper Club) (eugeneyan.com)

a year ago | rck | eugeneyan.com | newest

3

How does GPT-3 spend its 175B parameters? (aizi.substack.com)

2 years ago | rck | substack.com | newest

3

Text Rendering Hates You (faultlore.com)

2 years ago | rck | faultlore.com | newest

2

Formalizing Stability and Resilience Properties via TLA+ (buttondown.email/hillelwayne)

2 years ago | rck | buttondown.email | newest

102

Leveraging Rust and the GPU to render user interfaces at 120 FPS (zed.dev)

2 years ago | rck | zed.dev | best

39

Full screen triangle optimization (30fps.net)

2 years ago | rck | 30fps.net | best

2

Evaluating the Cost of Atomic Operations on Modern Architectures (paperswithcode.com)

2 years ago | rck | paperswithcode.com | newest

159

Rust concepts I wish I learned earlier (rauljordan.com)

2 years ago | rck | rauljordan.com | best

3

Design of Emacs in Rust (coredumped.dev)

2 years ago | rck | coredumped.dev | newest

3

Predictions Scorecard, 2023 January 01 (rodneybrooks.com)

2 years ago | rck | rodneybrooks.com | frontpage

1

A taste of pavex, an upcoming Rust web framework (lpalmieri.com)

2 years ago | rck | lpalmieri.com | newest

9

Human-Oriented Automatic Theorem Proving (wtgowers.github.io)

2 years ago | rck | github.io | frontpage

5

Accelerating ZK-SNARKs – MSM and NTT Algorithms on FPGAs with Hardcaml (janestreet.com)

2 years ago | rck | janestreet.com | frontpage