parksb
Re:The Mathocalypse
on Wednesday October 07, 2026 @10:44PM (#50001373)
> The “OpenAI model” sets up a crazy race among humans to digest and explain a messy AI proof (work that could easily be some combination of thankless, barely-credited, competitive, and unfun)
Sadly, this is also what day-to-day work looks like for a lot of software engineers in industry right now. I spend my time reading and verifying thousands of lines of messy AI-written code. Compared to actually producing something, it's thankless, barely-credited, and unfun work.
Pulls.review – A better way for review GitHub Pull Requests
Do Social Norms Substitute for Enforcement? [pdf]
An alias-based formulation of the borrow checker (2018)
Making the Case for Functional Programming
A concrete explanation of how a cache works
Slack Progress Bar
Reviving a 15-year-old netbook with Arch Linux
How railway timetables became Unix time
Tradeoffs in Complexity, Abstraction, and Generality
Why has the web become so complex?
Zoo Visitors' Initial Assessment of an Animaloid Robot as a Zoo Exhibit [pdf]
But yak shaving is fun
Science Home
Show HN: Simpesys – A headless document build tool for digital gardens
https://github.com/parksb/simpesys
I built a file-based headless document build tool called Simpesys. I've been running my own digital garden for a long time. I'm into topics like digital gardens, knowledge bases, second brains, Zettelkasten, so I've tried many different tools over the years, but eventually decided that Markdown files on the local filesystem are the most sustainable way to do it.These days there are plenty of...
Networked Thought
Re:Show HN: Han – A Korean programming language written in Rust
on Sunday March 15, 2026 @02:07AM (#47384743)
Yes, countries in the Sinosphere have historically used Chinese characters to write their languages. That's why Korean "yaksok" and Japanese "yakusoku" sound so similar. Both words are written with the same Chinese characters, "約束". The characters were borrowed from Chinese, but each language adapted them to its own pronunciation system.
For example, "library" is pronounced "tu-shu-guan" in Chinese, "do-seo-gwan" in Korean, and "to-sho-kan" in Japanese. All three can be written with the same characters, "圖書館". In modern Korea, though, people use Hangul, so very few Koreans actually know how to write "library" in Chinese characters. In Japan, Chinese characters are still heavily used, but for difficult ones, they often write kana alongside them as a reading aid.
It's very much like how Latin "universitas" became "university" in English, "universidad" in Spanish, and "università" in Italian.
Re:Show HN: Han – A Korean programming language written in Rust
on Saturday March 14, 2026 @09:43PM (#47383386)
Great work :) If you're interested in Korean programming languages, there's a functional one called 'Nuri': https://github.com/suhdonghwi/nuri/
Rather than just translating keywords, it lets you write code that actually uses Korean grammar. For example, "10을 5로 나누고 출력하다" (literally "10 by 5 divide and print") outputs "2".
You might already know this, but there's also a Korean programming language called 'Yaksok'. Here's a 2048 written entirely in Korean: https://github.com/yaksok/yaksok/blob/master/code_examples/2...
Re:Malus – Clean Room as a Service
on Thursday March 12, 2026 @09:18PM (#47359575)
I think it should have been launched on April 1st.
Annotating for Agents
AI Agent Reliability Tracker
Introduction to Programming Languages
(In)Security of Mandatory Security Software for Financial Services in S. Korea [pdf]
The AI Scientist Generates Its First Peer-Reviewed Scientific Publication
RFC 9518: Centralization, Decentralization, and Internet Standards
Show HN: Zap – A library for building multi-device applications
Zap is an application programming library for building multi-device applications that enable communication with other devices. While mobile devices offer a wide range of data sources, such as motion sensors, biometric sensors, microphones, touchscreens and more, traditional PCs like laptops and desktops typically lack these resources.The data sources available on mobile devices are valuable,...
Show HN: Zap – Turn your smartphone into a motion controller for PC
Zap is an application programming library for building multi-device applications that enable communication with other devices. While mobile devices offer a wide range of data sources, such as motion sensors, biometric sensors, microphones, touchscreens and more, traditional PCs like laptops and desktops typically lack these resources.The data sources available on mobile devices are valuable,...