Hacker News: simplegeekhttps://news.ycombinator.com/user?id=simplegeekHacker News RSShttps://hnrss.org/hnrss v2.1.1Mon, 21 Sep 2026 13:12:38 +0000<![CDATA[Finding All Solutions to LinkedIn-Queens Puzzle]]>Article URL: https://wyounas.github.io/model-checking/puzzles/2026/06/06/finding-all-solutions-to-linkedin-queens-with-a-sat-solver-and-model-checkers/

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

Points: 1

# Comments: 0

]]>Mon, 14 Sep 2026 07:35:25 +0000https://wyounas.github.io/model-checking/puzzles/2026/06/06/finding-all-solutions-to-linkedin-queens-with-a-sat-solver-and-model-checkers/simplegeekhttps://news.ycombinator.com/item?id=49693235https://news.ycombinator.com/item?id=49693235<![CDATA["Good" AI]]>Article URL: https://thoughts.wyounas.com/p/what-does-good-ai-mean

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

Points: 2

# Comments: 1

]]>Thu, 10 Sep 2026 15:21:40 +0000https://thoughts.wyounas.com/p/what-does-good-ai-meansimplegeekhttps://news.ycombinator.com/item?id=49645296https://news.ycombinator.com/item?id=49645296<![CDATA[What does "good" AI mean?]]>Article URL: https://thoughts.wyounas.com/p/what-does-good-ai-mean

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

Points: 2

# Comments: 0

]]>Sun, 06 Sep 2026 11:28:06 +0000https://thoughts.wyounas.com/p/what-does-good-ai-meansimplegeekhttps://news.ycombinator.com/item?id=49585456https://news.ycombinator.com/item?id=49585456<![CDATA[New comment by simplegeek in "The revolt of the reader"]]>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.

]]>Sun, 06 Sep 2026 11:22:12 +0000https://news.ycombinator.com/item?id=49585418simplegeekhttps://news.ycombinator.com/item?id=49585418https://news.ycombinator.com/item?id=49585418<![CDATA[Find All Solutions to LinkedIn-Queens Puzzle]]>Article URL: https://wyounas.github.io/model-checking/puzzles/2026/06/06/finding-all-solutions-to-linkedin-queens-with-a-sat-solver-and-model-checkers/

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

Points: 1

# Comments: 0

]]>Sat, 29 Aug 2026 10:48:46 +0000https://wyounas.github.io/model-checking/puzzles/2026/06/06/finding-all-solutions-to-linkedin-queens-with-a-sat-solver-and-model-checkers/simplegeekhttps://news.ycombinator.com/item?id=49488767https://news.ycombinator.com/item?id=49488767<![CDATA[New comment by simplegeek in "I were 17, I'd learn how to build LLMs from scratch"]]>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.

]]>Mon, 24 Aug 2026 07:35:23 +0000https://news.ycombinator.com/item?id=49416344simplegeekhttps://news.ycombinator.com/item?id=49416344https://news.ycombinator.com/item?id=49416344<![CDATA[Medieval Ideas About Food]]>Article URL: https://lithub.com/fish-bad-sugar-good-and-other-medieval-ideas-about-food/

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

Points: 17

# Comments: 5

]]>Fri, 31 Jul 2026 07:16:28 +0000https://lithub.com/fish-bad-sugar-good-and-other-medieval-ideas-about-food/simplegeekhttps://news.ycombinator.com/item?id=49120003https://news.ycombinator.com/item?id=49120003<![CDATA[New comment by simplegeek in "Writing by hand is good for your brain"]]>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/misunderstanding. I don't know why that works but it has been really useful.

]]>Thu, 23 Jul 2026 16:19:42 +0000https://news.ycombinator.com/item?id=49024135simplegeekhttps://news.ycombinator.com/item?id=49024135https://news.ycombinator.com/item?id=49024135<![CDATA[LLMs and Morality]]>Article URL: https://humanistreview.ai/issue-1/appiah-ai-moral-character/

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

Points: 2

# Comments: 0

]]>Thu, 23 Jul 2026 14:18:44 +0000https://humanistreview.ai/issue-1/appiah-ai-moral-character/simplegeekhttps://news.ycombinator.com/item?id=49022056https://news.ycombinator.com/item?id=49022056<![CDATA[AI is changing what we can do. Who we become is still our choice]]>Article URL: https://humanistreview.ai/issue-1/appiah-ai-moral-character/

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

Points: 1

# Comments: 0

]]>Wed, 22 Jul 2026 06:34:41 +0000https://humanistreview.ai/issue-1/appiah-ai-moral-character/simplegeekhttps://news.ycombinator.com/item?id=49002639https://news.ycombinator.com/item?id=49002639<![CDATA[Too Many Books?]]>Article URL: https://www.nytimes.com/2026/07/09/style/too-many-books-new-york-city-apartment-scholar-landlord.html

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

Points: 3

# Comments: 1

]]>Tue, 14 Jul 2026 15:52:52 +0000https://www.nytimes.com/2026/07/09/style/too-many-books-new-york-city-apartment-scholar-landlord.htmlsimplegeekhttps://news.ycombinator.com/item?id=48908738https://news.ycombinator.com/item?id=48908738<![CDATA[Solving Santa Claus Puzzle]]>Article URL: https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/

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

Points: 8

# Comments: 5

]]>Sun, 12 Jul 2026 10:26:53 +0000https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/simplegeekhttps://news.ycombinator.com/item?id=48879960https://news.ycombinator.com/item?id=48879960<![CDATA[Solving Santa Claus Puzzle with a Model Checker]]>Article URL: https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/

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

Points: 3

# Comments: 0

]]>Sun, 05 Jul 2026 14:25:03 +0000https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/simplegeekhttps://news.ycombinator.com/item?id=48794521https://news.ycombinator.com/item?id=48794521<![CDATA[Solving the Santa Claus concurrency puzzle]]>Article URL: https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/

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

Points: 2

# Comments: 0

]]>Wed, 24 Jun 2026 19:10:27 +0000https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/simplegeekhttps://news.ycombinator.com/item?id=48664409https://news.ycombinator.com/item?id=48664409<![CDATA[W.H. Auden's typist: James Schuyler in life and literature]]>Article URL: https://hedgehogreview.com/web-features/thr/posts/companions-on-parnassus

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

Points: 3

# Comments: 0

]]>Sun, 21 Jun 2026 07:03:15 +0000https://hedgehogreview.com/web-features/thr/posts/companions-on-parnassussimplegeekhttps://news.ycombinator.com/item?id=48616375https://news.ycombinator.com/item?id=48616375<![CDATA[How to Have Good Taste]]>Article URL: https://www.commonreader.co.uk/p/how-to-have-good-taste

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

Points: 3

# Comments: 0

]]>Mon, 18 May 2026 19:44:48 +0000https://www.commonreader.co.uk/p/how-to-have-good-tastesimplegeekhttps://news.ycombinator.com/item?id=48184560https://news.ycombinator.com/item?id=48184560<![CDATA[New comment by simplegeek in "Can LLMs model real-world systems in TLA+?"]]>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 liveness properties.

Also for some problems I observe that models produced by LLMs often cause state space explosion. For simpler models they can fix this when you guide them though.

I’m sure LLMs will get even better.

That said, I take slightly different approach. Lamport said “If you're thinking without writing, you only think you're thinking.” So taking that advice I always try to write the first draft with hand and once I have the final shape in place I then turn to an LLM for further exploration and experimentation if I have to.

]]>Sat, 09 May 2026 06:58:36 +0000https://news.ycombinator.com/item?id=48072556simplegeekhttps://news.ycombinator.com/item?id=48072556https://news.ycombinator.com/item?id=48072556<![CDATA[Some Unusual Trees]]>Article URL: https://thoughts.wyounas.com/p/some-unusual-trees

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

Points: 289

# Comments: 87

]]>Sat, 04 Apr 2026 09:04:19 +0000https://thoughts.wyounas.com/p/some-unusual-treessimplegeekhttps://news.ycombinator.com/item?id=47637287https://news.ycombinator.com/item?id=47637287<![CDATA[Writers and Their Day Jobs]]>Article URL: https://lithub.com/the-work-behind-the-writing-on-writers-and-their-day-jobs/

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

Points: 89

# Comments: 37

]]>Sun, 22 Feb 2026 12:13:15 +0000https://lithub.com/the-work-behind-the-writing-on-writers-and-their-day-jobs/simplegeekhttps://news.ycombinator.com/item?id=47110393https://news.ycombinator.com/item?id=47110393<![CDATA[We Are the Art; Brandon Sanderson on AI Art [video]]]>Article URL: https://www.youtube.com/watch?v=mb3uK-_QkOo

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

Points: 3

# Comments: 0

]]>Wed, 04 Feb 2026 11:48:35 +0000https://www.youtube.com/watch?v=mb3uK-_QkOosimplegeekhttps://news.ycombinator.com/item?id=46884700https://news.ycombinator.com/item?id=46884700