laowantong 的提交内容

The AI Scientist Generates Its First Peer-Reviewed Scientific Publication

Let AI name your files to fit the contents

Suspicious sale of Melania Trump's NFT (2022)

Brain Drain: David vs. Goliath

Lean (Proof Assistant)

Guano Islands Act

Mocodo, a grid-constrained text-to-ERD tool

Paroxython 0.7.0

An open-source online reverse dictionary

Jason Padgett

How Social Media Is Speeding Up Zhengzhou Flooding Rescue Efforts

The End of Pestilence

Working Oneself to Death in China

On the lack of innovation in the last 20 years

Show HN: Tag and filter your database of Python algorithms

Show HN: Filter Python programs by algorithmic features

“Structural pattern matching” for Python, part 1

Show HN: Paroxython - recommend Python exercises based on algorithmic features