HNHacker News
TopNewBestAskShowJobs

rck

1,374 karma · joined August 28, 2011

I'm into robotics and machine learning.
submissionscomments

Verified dynamic programming with Σ-types in Lean

tannerduve.github.io·86 pts·rck·
43

It's Not What You Think: LLMs Like Obvious Answers

lemmata.substack.com·3 pts·rck·
0

Functional Programming and Theorem Proving in Lean 4

web.stanford.edu·6 pts·rck·
0

Show HN: Easily generate text and compute probabilities for any Hugging Face LLM

github.com·2 pts·rck·
0

Building a Local LLM Agent with Speech Recognition and TTS Support

richardkelley.io·1 pts·rck·
0

Show HN: Dendron – A Library for Building LLM Agents Using Behavior Trees

github.com·2 pts·rck·
0

Language Modeling Reading List (To Start Your Paper Club)

eugeneyan.com·1 pts·rck·
0

How does GPT-3 spend its 175B parameters?

aizi.substack.com·3 pts·rck·
0

Text Rendering Hates You

faultlore.com·3 pts·rck·
0

Formalizing Stability and Resilience Properties via TLA+

buttondown.email·3 pts·rck·
0

Leveraging Rust and the GPU to render user interfaces at 120 FPS

zed.dev·259 pts·rck·
203

Full screen triangle optimization

30fps.net·115 pts·rck·
44

Evaluating the Cost of Atomic Operations on Modern Architectures

cs.paperswithcode.com·2 pts·rck·
0

Rust concepts I wish I learned earlier

rauljordan.com·379 pts·rck·
170

Design of Emacs in Rust

coredumped.dev·3 pts·rck·
0

Predictions Scorecard, 2023 January 01

rodneybrooks.com·6 pts·rck·
1

A taste of pavex, an upcoming Rust web framework

lpalmieri.com·2 pts·rck·
0

Human-Oriented Automatic Theorem Proving

wtgowers.github.io·42 pts·rck·
17

Accelerating ZK-SNARKs – MSM and NTT Algorithms on FPGAs with Hardcaml

blog.janestreet.com·27 pts·rck·
0

Practical Pigment Mixing for Digital Painting

scrtwpns.com·60 pts·rck·
13

FreedomBox: Run your digital services from your home

freedombox.org·265 pts·rck·
75

Bandit Algorithms Book

banditalgs.com·4 pts·rck·
0

RIP Anki: Yet Another Home Robotics Company Powers Down

wired.com·3 pts·rck·
0

Extreme Finitism – Banish Infinity for Good

extremefinitism.com·3 pts·rck·
0

‘I am thoroughly ashamed’: British lord resigns after arriving late to work

washingtonpost.com·2 pts·rck·
0

Boston Dynamics’ latest robot dog is slightly less terrifying

theverge.com·2 pts·rck·
0

Tech Giants Are Paying Huge Salaries for Scarce A.I. Talent

mobile.nytimes.com·5 pts·rck·
0

HoloLens is still for developers, developers, developers

news.fastcompany.com·2 pts·rck·
0

Mapped: The Top 263 Companies Racing Toward Autonomous Cars

wired.com·2 pts·rck·
0

Don’t Look Now, but Even Buses Are Going Autonomous

wired.com·1 pts·rck·
0
Page 1 of 2Next →