Hacker News: kachnuv_ocasekhttps://news.ycombinator.com/user?id=kachnuv_ocasekHacker News RSShttps://hnrss.org/hnrss v2.1.1Sun, 06 Sep 2026 14:26:36 +0000<![CDATA[New comment by kachnuv_ocasek in "Solving the Jane Street reverse engineering challenge"]]>Can you share more about the connection between MCMC and SAT/SMT? That's a crossover I never thought I'd see.

]]>Fri, 04 Sep 2026 16:19:21 +0000https://news.ycombinator.com/item?id=49566719kachnuv_ocasekhttps://news.ycombinator.com/item?id=49566719https://news.ycombinator.com/item?id=49566719<![CDATA[New comment by kachnuv_ocasek in "Fastpotify"]]>I just listen to NTS most of the time.

]]>Tue, 01 Sep 2026 06:38:20 +0000https://news.ycombinator.com/item?id=49518700kachnuv_ocasekhttps://news.ycombinator.com/item?id=49518700https://news.ycombinator.com/item?id=49518700<![CDATA[New comment by kachnuv_ocasek in "RAG Is Simpler Than You Think"]]>And you can't fundraise on some old "information retrieval".

]]>Wed, 26 Aug 2026 10:11:43 +0000https://news.ycombinator.com/item?id=49446469kachnuv_ocasekhttps://news.ycombinator.com/item?id=49446469https://news.ycombinator.com/item?id=49446469<![CDATA[New comment by kachnuv_ocasek in "Palomar: A registry of Lean verified mathematics"]]>I don't think these two possibilities are entirely exclusive. He could be using GH as a synonym for Git, but it's also the case the Palomar only works for GH repositories

]]>Wed, 19 Aug 2026 08:12:13 +0000https://news.ycombinator.com/item?id=49358548kachnuv_ocasekhttps://news.ycombinator.com/item?id=49358548https://news.ycombinator.com/item?id=49358548<![CDATA[New comment by kachnuv_ocasek in "Deutsche Bank becomes first foreign yuan clearing bank in Europe"]]>It's as much "human nature" as being a slave was once the nature of some (chosen) peoples.

]]>Thu, 13 Aug 2026 12:52:42 +0000https://news.ycombinator.com/item?id=49285190kachnuv_ocasekhttps://news.ycombinator.com/item?id=49285190https://news.ycombinator.com/item?id=49285190<![CDATA[New comment by kachnuv_ocasek in "Deutsche Bank becomes first foreign yuan clearing bank in Europe"]]>I, for one, would appreciate if we could just move on past these incessantly destructive power struggles as humanity.

]]>Thu, 13 Aug 2026 12:30:41 +0000https://news.ycombinator.com/item?id=49284943kachnuv_ocasekhttps://news.ycombinator.com/item?id=49284943https://news.ycombinator.com/item?id=49284943<![CDATA[UX Design Research – reflections on the role of UX design in the age of AI]]>Article URL: https://uxdesignresearch.org/en/

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

Points: 2

# Comments: 0

]]>Fri, 07 Aug 2026 11:33:15 +0000https://uxdesignresearch.org/en/kachnuv_ocasekhttps://news.ycombinator.com/item?id=49208817https://news.ycombinator.com/item?id=49208817<![CDATA[New comment by kachnuv_ocasek in "Qwen3.8 Max now ranked as the best overall model by agentic index"]]>GLM 5.2

]]>Thu, 06 Aug 2026 20:58:48 +0000https://news.ycombinator.com/item?id=49202464kachnuv_ocasekhttps://news.ycombinator.com/item?id=49202464https://news.ycombinator.com/item?id=49202464<![CDATA[New comment by kachnuv_ocasek in "Pareto Front"]]>Just copy-paste that description to Claude and have it create the spreadsheet.

]]>Thu, 06 Aug 2026 16:22:46 +0000https://news.ycombinator.com/item?id=49198818kachnuv_ocasekhttps://news.ycombinator.com/item?id=49198818https://news.ycombinator.com/item?id=49198818<![CDATA[New comment by kachnuv_ocasek in "Wind and solar overtake fossil fuels in Germany for the first time"]]>Thankfully, synchronous condensers, flywheels and other fossil-free technologies exist.

]]>Mon, 03 Aug 2026 21:02:56 +0000https://news.ycombinator.com/item?id=49161398kachnuv_ocasekhttps://news.ycombinator.com/item?id=49161398https://news.ycombinator.com/item?id=49161398<![CDATA[New comment by kachnuv_ocasek in "Wind and solar overtake fossil fuels in Germany for the first time"]]>Perhaps the "uncompetitiveness" (is it with us in the room right now?) is self-inflicted due to lack of ambition and innovations.

]]>Mon, 03 Aug 2026 20:58:44 +0000https://news.ycombinator.com/item?id=49161360kachnuv_ocasekhttps://news.ycombinator.com/item?id=49161360https://news.ycombinator.com/item?id=49161360<![CDATA[New comment by kachnuv_ocasek in "DDoS against Norwegian government IT infrastructure – status"]]>Bets on which AI lab it is this time?

]]>Mon, 03 Aug 2026 20:41:18 +0000https://news.ycombinator.com/item?id=49161136kachnuv_ocasekhttps://news.ycombinator.com/item?id=49161136https://news.ycombinator.com/item?id=49161136<![CDATA[New comment by kachnuv_ocasek in "Carolina Cloud pays SOFR on unused prepaid credits"]]>I'd guess that's a part of the TOS.

]]>Thu, 30 Jul 2026 12:59:40 +0000https://news.ycombinator.com/item?id=49109398kachnuv_ocasekhttps://news.ycombinator.com/item?id=49109398https://news.ycombinator.com/item?id=49109398<![CDATA[New comment by kachnuv_ocasek in "AI revenues are growing fast, but not fast enough"]]>What's the play for software engineers that lands them in a better place but doesn't leave money on the table for the capitalists?

]]>Tue, 28 Jul 2026 13:26:45 +0000https://news.ycombinator.com/item?id=49083521kachnuv_ocasekhttps://news.ycombinator.com/item?id=49083521https://news.ycombinator.com/item?id=49083521<![CDATA[New comment by kachnuv_ocasek in "We have proof automation now"]]>Haskell does not have dependent types.

]]>Mon, 27 Jul 2026 08:24:55 +0000https://news.ycombinator.com/item?id=49066625kachnuv_ocasekhttps://news.ycombinator.com/item?id=49066625https://news.ycombinator.com/item?id=49066625<![CDATA[New comment by kachnuv_ocasek in "Show HN: Brolly, a plain-text weather forecast site"]]>How do you turn on the text-only mode? I've tried Accept: text/plain but I always get HTML.

]]>Sat, 25 Jul 2026 19:38:12 +0000https://news.ycombinator.com/item?id=49050788kachnuv_ocasekhttps://news.ycombinator.com/item?id=49050788https://news.ycombinator.com/item?id=49050788<![CDATA[New comment by kachnuv_ocasek in "Sealed tomb filled with paintings and inscriptions discovered in Egypt"]]>Not just one! https://cs.wikipedia.org/wiki/Schreberovy_zahr%C3%A1dky

]]>Fri, 24 Jul 2026 22:14:43 +0000https://news.ycombinator.com/item?id=49042264kachnuv_ocasekhttps://news.ycombinator.com/item?id=49042264https://news.ycombinator.com/item?id=49042264<![CDATA[New comment by kachnuv_ocasek in "Buz – A fork of Bun using modern Zig, with sub-1s incremental builds"]]>What are the benefits, though?

]]>Fri, 24 Jul 2026 12:07:38 +0000https://news.ycombinator.com/item?id=49034400kachnuv_ocasekhttps://news.ycombinator.com/item?id=49034400https://news.ycombinator.com/item?id=49034400<![CDATA[New comment by kachnuv_ocasek in "Show HN: Echo – Fable-level results at 1/3 the cost using open-weight models"]]>Looks like it but with open-weights only.

]]>Thu, 23 Jul 2026 20:52:01 +0000https://news.ycombinator.com/item?id=49027888kachnuv_ocasekhttps://news.ycombinator.com/item?id=49027888https://news.ycombinator.com/item?id=49027888<![CDATA[New comment by kachnuv_ocasek in "Sleep regularity is a stronger predictor of mortality risk than sleep duration"]]>McElreath's Statistical Rethinking is also a great reference for causal thinking and modeling.

]]>Wed, 15 Jul 2026 13:39:52 +0000https://news.ycombinator.com/item?id=48920680kachnuv_ocasekhttps://news.ycombinator.com/item?id=48920680https://news.ycombinator.com/item?id=48920680