HNHacker News
TopNewBestAskShowJobs

pmaddams

57 karma · joined January 21, 2015

submissionscomments

Marimo: A Reactive Python Notebook

marimo.io·5 pts·pmaddams·
0

The Cryptopals Crypto Challenges

cryptopals.com·1 pts·pmaddams·
0

The Braille Institute's family of hyperlegible fonts

brailleinstitute.org·5 pts·pmaddams·
1

MCP Toolbox for Databases

github.com·1 pts·pmaddams·
0

Reinvigorating AI research in the U.S. by building leading, open models at home

atomproject.ai·1 pts·pmaddams·
0

Wolfram MCP Service

wolfram.com·1 pts·pmaddams·
1

Memory Safety

memorysafety.org·76 pts·pmaddams·
145

A Message from AI Research Leaders: Join Us in Supporting OpenReview

openreview.net·2 pts·pmaddams·
0

Tinker: General Availability and Vision Input

thinkingmachines.ai·1 pts·pmaddams·
0

Secureblue: A security-focused desktop and server Linux operating system

secureblue.dev·14 pts·pmaddams·
0

NotebookLM built and shipped a 4.8-Star Flutter App in 7 Months [video]

youtube.com·2 pts·pmaddams·
0

Dyad v2.0.0

juliahub.com·2 pts·pmaddams·
0

NIST Draft Cyber AI Profile

nccoe.nist.gov·3 pts·pmaddams·
0

The rpki-client project needs financial support

undeadly.org·2 pts·pmaddams·
1

Behind the Scenes of the 60 Minutes Story about Khan Academy

blog.khanacademy.org·1 pts·pmaddams·
1

Google DeepMind Formal Conjectures

google-deepmind.github.io·2 pts·pmaddams·
0

The Climate Modeling Alliance

clima.caltech.edu·7 pts·pmaddams·
0

Keep Leaks Alive

donorbox.org·3 pts·pmaddams·
1

LLM Is Like a Box of Chocolates

arxiv.org·1 pts·pmaddams·
0

Towards Developmental Interpretability

lesswrong.com·1 pts·pmaddams·
0

A framework for applied category theory in the Julia language

algebraicjulia.github.io·5 pts·pmaddams·
0

Kami: A Platform for Hardware Specification and Verification

github.com·2 pts·pmaddams·
0

Science Questions with Surprising Answers

wtamu.edu·2 pts·pmaddams·
0

Mustard Watches: An Integrated Approach to Time and Food

girard.perso.math.cnrs.fr·3 pts·pmaddams·
0

How to Think Computationally About AI, the Universe, and Everything [video]

ted.com·4 pts·pmaddams·
1

Fast Symbolic Computation for Robotics

symforce.org·6 pts·pmaddams·
2

Download Fedora Silverblue 39

fedoraproject.org·3 pts·pmaddams·
0

Creating an executable paper is a journey through Open Science

nature.com·1 pts·pmaddams·
0

Join the Global Encryption Coalition

globalencryption.org·2 pts·pmaddams·
0