Normal-Order Syntax-Rules and Proving the Fix-Point of Call/cc
Posted4 months agoActive4 months ago
okmij.orgTechstory
calmpositive
Debate
10/100
SchemeProgramming LanguagesContinuations
Key topics
Scheme
Programming Languages
Continuations
The post shares a technical article on normal-order syntax-rules and proving the fix-point of call/cc, with commenters appreciating the content and related presentation.
Snapshot generated from the HN discussion
Discussion Activity
Light discussionFirst comment
4d
Peak period
3
84-90h
Avg / period
3
Key moments
- 01Story posted
Sep 13, 2025 at 5:41 PM EDT
4 months ago
Step 01 - 02First comment
Sep 17, 2025 at 8:33 AM EDT
4d after posting
Step 02 - 03Peak activity
3 comments in 84-90h
Hottest window of the conversation
Step 03 - 04Latest activity
Sep 17, 2025 at 10:34 AM EDT
4 months ago
Step 04
Generating AI Summary...
Analyzing up to 500 comments to identify key contributors and discussion patterns
Discussion (3 comments)
Showing 3 comments
bjoli
4 months ago
1 replyWhen you watch the presentation, the reaction of the audience to the slides is hilarious.
nextaccountic
4 months ago
1 replyWhere's the presentation? I can't find a link in the posted page
mananaysiempre
4 months ago
I think https://www.youtube.com/watch?v=MZBklDFpSAE is it.
View full discussion on Hacker News
ID: 45235566Type: storyLast synced: 11/20/2025, 5:30:06 PM
Want the full context?
Jump to the original sources
Read the primary article or dive into the live Hacker News thread when you're ready.