HNHacker News
TopNewBestAskShowJobs

pieterk

205 karma · joined June 6, 2017

submissionscomments

I don't trust Lean code from AI

karagila.org·6 pts·pieterk·
1

At Dreamforce business leaders say last year's models are enough

cnbc.com·2 pts·pieterk·
0

Unix V4 Workshop at Low Resource Computing

github.com·3 pts·pieterk·
0

Ask HN: Should the SFPL Have Tailscale?

1 pts·pieterk·
0

An Infinity Mirror Without Apparent Mirroring

graphics.cs.cmu.edu·5 pts·pieterk·
0

Building a bigger qwen out of two qwen models

snwy.substack.com·1 pts·pieterk·
1

Building a bigger qwen out of two qwen models

snwy.substack.com·2 pts·pieterk·
1

System-Wide Safety Project

nasa.gov·20 pts·pieterk·
4

Amap launches low-altitude navigation with 3D digital mapping in Shenzhen

technode.com·2 pts·pieterk·
0

I Made a Sliding iPhone Keyboard

youtube.com·4 pts·pieterk·
0

Governable Spaces: Democratic Design for Online Life

nathanschneider.info·2 pts·pieterk·
0

Jewel Scarab

en.wikipedia.org·1 pts·pieterk·
0

Magic Wand Demo

crowdsupply.com·2 pts·pieterk·
0

Embedding Lisp in C++ – A Recipe

lambdafaktorie.com·84 pts·pieterk·
16

Why Stakeholder Capitalism Will Fail (2020)

forbes.com·2 pts·pieterk·
1

The ITU: International Telecommunication Union

en.wikipedia.org·2 pts·pieterk·
0

What Is Freeze-Drying?

vimeo.com·1 pts·pieterk·
1

Night Mode in Firefox for iOS (works on HN)

support.mozilla.org·1 pts·pieterk·
1

Advanced Extremely High Frequency

lockheedmartin.com·1 pts·pieterk·
0

Action Potential Mechanism

ocw.mit.edu·2 pts·pieterk·
1

How I built a jet suit (2017)

ted.com·1 pts·pieterk·
0

Learn Smalltalk with ProfStef

amber-lang.net·17 pts·pieterk·
6

Chladni Figures

en.wikipedia.org·41 pts·pieterk·
9

Deriving other people's predictive autocorrect suggestions

github.com·1 pts·pieterk·
0