软件工程
研发流程、质量保障与团队协作
Introduction to Program Synthesis (Fall 2025)
This webpage is a work in progress for the 2025 offering of the course.
LATEST STORIES
最新内容
I'm Still Convinced the iPod Was the Perfect Gadget精选导读
He was right. By 2004, I was writing a cover story called “iPod Nation,” and later I published a book about the iPod called The Perfect Thing.
John Carmack on the Goose Language: multiple data stacks and relative references精选导读
暂无摘要
PHP Foundation 'under-funded' with one full-time staff member, director says精选导读
暂无摘要
Show HN: Infinite-Zoom Collaborative Canvas精选导读
暂无摘要
About the compromised eMudhra intermediate CAs精选导读
On 19 October 2026, Apple began blocking these 12 certificates on Apple devices. Updates to certificate configuration data are sent to devices automatically and as needed, so you don't need to install a software update …
It Looked Like a New Species. The Trouble Was, It Didn't Exist精选导读
It Looked Like a New Species. The Trouble Was, It Didn’t Exist
Ask HN: What's your vision of the care-free life?精选导读
We already have people in our society with no worries or responsibilities of any kind, like the very young, the very old, and the inhabitants of certain institutions. For those pumping the virtues of letting others (peo…
Danish Government silently drops plan to dump MS Office精选导读
Prøvekørt: Apple nye iPhone Duo er hundedyr, men nærmest uimodståelig fristende
Danish Government silently drops plan to dump MS Office精选导读
Prøvekørt: Apple nye iPhone Duo er hundedyr, men nærmest uimodståelig fristende