Recent submissions

Comment · 3 months ago
Comment · 8 months ago
My team and I have worked on an agentic benchmark to see how well agents can perform at reverse engineering threats. The results are pretty interesting, we would love the communities feedback.
Comment · 9 months ago
Over the last year I’ve been building RacoGrad, a deep learning library written in Racket (a Lisp). It started as an experiment in understanding autodiff and neural nets from first principles, but it’s grown into something surprisingly usable.

Recently, with help of opencalw I added transformer support and finished a working GPT-2 implementation. The model loads pretrained GPT-2 weights and runs end to end inference entirely in Racket.

Comment · 1 year ago
Large language models (LLMs) demonstrate impressive capabilities across numerous domains, from programming and technical support to cooking instructions and research enhancement. However, they continue to struggle with precise symbol manipulation in tasks requiring rigorous logical reasoning, mathematical proofs, and complex algebraic operations. As a student of philosophy and computer science, I find this intersection especially fascinating because of the connections between logical precision and conceptual clarity.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton