Y
Hacker News
new
|
ask
|
show
|
jobs
user:
simplegeek
created:
2007-02-20
karma:
1069
I like startups, writing, books, and tea.
Email: waqas.younas@gmail.com
Blog: https://wyounas.github.io
submissions:
0 points
|
0 comments
LLMs and Morality
2 points
|
0 comments
AI is changing what we can do. Who we become is still our choice
1 points
|
0 comments
Too Many Books?
3 points
|
1 comments
Solving Santa Claus Puzzle
8 points
|
5 comments
Solving Santa Claus Puzzle with a Model Checker
3 points
|
0 comments
Solving the Santa Claus concurrency puzzle
2 points
|
0 comments
W.H. Auden's typist: James Schuyler in life and literature
3 points
|
0 comments
How to Have Good Taste
3 points
|
0 comments
0 points
|
0 comments
Some Unusual Trees
289 points
|
87 comments
Writers and Their Day Jobs
89 points
|
37 comments
We Are the Art; Brandon Sanderson on AI Art [video]
3 points
|
0 comments
Don't invert established UX mental models
4 points
|
0 comments
Don't invert established UX mental models
2 points
|
0 comments
Solvingn the Santa Claus concurrency puzzle with a model checker
16 points
|
2 comments
Don't invert established UX mental models
4 points
|
0 comments
How to Solve Santa Claus Concurrency Puzzle with a Model Checker
1 points
|
0 comments
0 points
|
0 comments
How to Help Santa Claus Concurrently
2 points
|
0 comments
Reproducing the AWS Outage Race Condition with a Model Checker
144 points
|
50 comments
Some Thoughts on War and Peace
2 points
|
0 comments
Some Thoughts on War and Peace
1 points
|
0 comments
Hiroshima, Bertrand Russell, and Reflections on the Future of Mankind
2 points
|
0 comments
0 points
|
0 comments
The Future of Mankind: Some Reflections
1 points
|
0 comments
The Future of Mankind
1 points
|
0 comments
0 points
|
0 comments
Simplicity of the Gentzen System
2 points
|
0 comments
0 points
|
0 comments