simplegeek

6 ms·

1.
Finding All Solutions to LinkedIn-Queens Puzzle(wyounas.github.io)
1 points by simplegeek 3d ago|0 comments
2.
"Good" AI(thoughts.wyounas.com)
2 points by simplegeek 6d ago|1 comments
3.
What does "good" AI mean?(thoughts.wyounas.com)
2 points by simplegeek 11d ago|0 comments
4.
by simplegeek 11d ago
Good article. As I reflect about it, I genuinely wonder (not in jest) whether pangram software uses AI to generate code? Secondly, what patterns do they look for in the text? Genuinely curious.
5.
Find All Solutions to LinkedIn-Queens Puzzle(wyounas.github.io)
1 points by simplegeek 19d ago|0 comments
6.
by simplegeek 24d ago
As an aside, for someone interested and who's an absolute beginner, can someone please recommend good resources on how to build LLMs from scratch? Thank you in advance.
7.
Medieval Ideas About Food(lithub.com)
17 points by simplegeek 2mo ago|5 comments
8.
by simplegeek 2mo ago
For last few months, whenever I am trying to understand a difficult problem or a concept or addressing a complex issue at work or in relationships, I try to write one page by hand. Often it brings clarity or surfaces the core confusion&#x2
9.
LLMs and Morality(humanistreview.ai)
2 points by simplegeek 2mo ago|0 comments
10.
AI is changing what we can do. Who we become is still our choice(humanistreview.ai)
1 points by simplegeek 2mo ago|0 comments
11.
Too Many Books?(nytimes.com)
3 points by simplegeek 2mo ago|1 comments
12.
Solving Santa Claus Puzzle(wyounas.github.io)
8 points by simplegeek 2mo ago|5 comments
13.
Solving Santa Claus Puzzle with a Model Checker(wyounas.github.io)
3 points by simplegeek 2mo ago|0 comments
14.
Solving the Santa Claus concurrency puzzle(wyounas.github.io)
2 points by simplegeek 3mo ago|0 comments
15.
W.H. Auden's typist: James Schuyler in life and literature(hedgehogreview.com)
3 points by simplegeek 3mo ago|0 comments
16.
How to Have Good Taste(commonreader.co.uk)
3 points by simplegeek 4mo ago|0 comments
17.
by simplegeek 4mo ago
I feel LLMs are indeed getting better at writing models. But, in my experience, they struggle to come up with correct safety and liveness properties unless you closely work with them. And of these two, they struggle the most with correct li
18.
Some Unusual Trees(thoughts.wyounas.com)
289 points by simplegeek 6mo ago|87 comments
19.
Writers and Their Day Jobs(lithub.com)
89 points by simplegeek 7mo ago|37 comments
20.
We Are the Art; Brandon Sanderson on AI Art [video](youtube.com)
3 points by simplegeek 7mo ago|0 comments
21.
Don't invert established UX mental models(thoughts.wyounas.com)
4 points by simplegeek 8mo ago|0 comments
22.
Don't invert established UX mental models(thoughts.wyounas.com)
2 points by simplegeek 8mo ago|0 comments
23.
Solvingn the Santa Claus concurrency puzzle with a model checker(wyounas.github.io)
16 points by simplegeek 8mo ago|2 comments
24.
Don't invert established UX mental models(thoughts.wyounas.com)
4 points by simplegeek 8mo ago|0 comments
25.
How to Solve Santa Claus Concurrency Puzzle with a Model Checker(wyounas.github.io)
1 points by simplegeek 8mo ago|0 comments
26.
by simplegeek 8mo ago
Thanks for doing this. My blog: https://wyounas.github.io . I’ll also try to submit a PR.
27.
How to Help Santa Claus Concurrently(wyounas.github.io)
2 points by simplegeek 9mo ago|0 comments
28.
Reproducing the AWS Outage Race Condition with a Model Checker(wyounas.github.io)
144 points by simplegeek 11mo ago|50 comments
29.
Some Thoughts on War and Peace(thoughts.wyounas.com)
2 points by simplegeek 11mo ago|0 comments
30.
Some Thoughts on War and Peace(thoughts.wyounas.com)
1 points by simplegeek 11mo ago|0 comments

More ›