Saturday, October 31, 2026 Today’s Paper
Log in Join free
Vol. I · No. 32 Texas Edition
Saturday, Oct 31
Xultr
Texas first. Then the world.
Always free Updated just now
Read. React. Discuss.
Tech

Def∇: An APL-Style Self Reference Macro for Lean4

Hacker News (Newest) By ibobev 5 views 0 comments

Article URL: https://jamesoswald.dev/posts/defdel/

Comments URL: https://news.ycombinator.com/item?id=50102623

Points: 1

# Comments: 0

Hacker News (Newest) Original story · jamesoswald.dev
Read the full story
How does this story make you feel?
👍 ❤️ 💡 😮 😂 😢 😠

Discussion (0)

No comments yet. Start the conversation!

More to read

Tech

A Critical Look at Lean4

Article URL: https://www.lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical-look-at-lean4-1 Comments URL: https://news.ycombinator.com/item?id=50025596 Points: 2 #…

Hacker News (Newest)