<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: Merkur</title><link>https://news.ycombinator.com/user?id=Merkur</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 04 Aug 2026 02:45:16 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=Merkur" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by Merkur in "Show HN: What should the GUI for AI agents look like?"]]></title><description><![CDATA[
<p>he’ll Yea, make it mail based with full backward comp ability to arpa!</p>
]]></description><pubDate>Fri, 31 Jul 2026 22:09:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=49129099</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=49129099</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49129099</guid></item><item><title><![CDATA[New comment by Merkur in "Agent Skill to Force Docs in ASD-STE100 Simplified Technical English"]]></title><description><![CDATA[
<p>nice :-) i'll try that! thx</p>
]]></description><pubDate>Thu, 30 Jul 2026 19:42:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=49114761</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=49114761</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49114761</guid></item><item><title><![CDATA[New comment by Merkur in "SSH-cast – record / watch agents SSH sessions"]]></title><description><![CDATA[
<p>A minimal, self-contained pair of Go binaries to record SSH sessions and watch them live or replay them later. No server-side component: everything runs on your local box.</p>
]]></description><pubDate>Thu, 30 Jul 2026 19:26:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=49114529</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=49114529</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49114529</guid></item><item><title><![CDATA[SSH-cast – record / watch agents SSH sessions]]></title><description><![CDATA[
<p>Article URL: <a href="https://github.com/kmeinke/ssh-cast">https://github.com/kmeinke/ssh-cast</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49114528">https://news.ycombinator.com/item?id=49114528</a></p>
<p>Points: 2</p>
<p># Comments: 1</p>
]]></description><pubDate>Thu, 30 Jul 2026 19:26:22 +0000</pubDate><link>https://github.com/kmeinke/ssh-cast</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=49114528</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49114528</guid></item><item><title><![CDATA[New comment by Merkur in "Why don't people use formal methods? (2019)"]]></title><description><![CDATA[
<p>Interesting read, thank you. 
I share your goal, and I think with AI- coding proving code right has become more relevant than ever.<p>What prevents that we, just move the goal post? Moving the bug from code to spec? The spec must always be simpler and more easily to understand and debug than the code. But in praxis that means it can’t be fully specific in most of the use cases?</p>
]]></description><pubDate>Thu, 30 Jul 2026 17:58:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=49113410</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=49113410</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49113410</guid></item><item><title><![CDATA[New comment by Merkur in "Logic for Programmers"]]></title><description><![CDATA[
<p>I once talk about the art of programming in a job interview and got flashed by a bachelor of biz with: but isn’t it suppose to be engineering? I died a little bit inside…</p>
]]></description><pubDate>Thu, 30 Jul 2026 17:50:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49113315</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=49113315</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49113315</guid></item><item><title><![CDATA[New comment by Merkur in "Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib)"]]></title><description><![CDATA[
<p>I don’t understand - Why did they write this? It seems to add nothing to the domain?</p>
]]></description><pubDate>Thu, 30 Jul 2026 17:44:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=49113228</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=49113228</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49113228</guid></item><item><title><![CDATA[New comment by Merkur in "Logic for Programmers"]]></title><description><![CDATA[
<p>I read the free part. Looks interesting, but the math heritage is dominant as promised.<p>It seems to favor the compact and efficient kind of code that is brittle in the hand of a mildly competent junior dev, or a heavy multitasking senior.<p>I like smart code, in fun projects, but on the job I prefer fast to read and to reason code. Don’t try to be fancy.<p>So I guess that’s a book to challenge my assumptions. I like that. Thx.</p>
]]></description><pubDate>Thu, 30 Jul 2026 06:09:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49106566</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=49106566</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49106566</guid></item><item><title><![CDATA[New comment by Merkur in "Show HN: Jacquard, a programming language for AI-written, human-reviewed code"]]></title><description><![CDATA[
<p>Yea, LLM  remove the burden of typing - so if token cost don’t explode the new high-level languages will be above the current - and the new low-level language will maybe just weights…</p>
]]></description><pubDate>Mon, 13 Jul 2026 23:37:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=48900414</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=48900414</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48900414</guid></item><item><title><![CDATA[New comment by Merkur in "Where the Automation Has to Stop"]]></title><description><![CDATA[
<p>I feel the same, but still believe there is a way to organize  my work to make it happen. It’s more like leading a team of juniors: don’t let them drag you into their private rabbit holes, enable them to implement how ever tiny or big chunks they are able too. The common problems is exactly a Junior habit: always inventing new stuff instead of moving existing pieces, always adding never removing and punching holes in blackboxes to workaround mystery.</p>
]]></description><pubDate>Sun, 12 Jul 2026 20:17:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=48884328</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=48884328</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48884328</guid></item><item><title><![CDATA[New comment by Merkur in "A New Look for Google Search"]]></title><description><![CDATA[
<p>Agree, but I think it is still better than before, because of the color differences to the headline.<p>I still would prefer a true Icon.</p>
]]></description><pubDate>Wed, 22 May 2019 19:52:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=19984805</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=19984805</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=19984805</guid></item><item><title><![CDATA[New comment by Merkur in "US has underestimated Huawei, says founder"]]></title><description><![CDATA[
<p>It would be ok if America would ban Huawei from building national infrastructure - it wouldn’t be very capitalistic tho.<p>But it is down right evil to impose extraterritorial sanctions against a company and preventing other to do business with them.</p>
]]></description><pubDate>Tue, 21 May 2019 16:55:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=19971974</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=19971974</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=19971974</guid></item><item><title><![CDATA[New comment by Merkur in "Twitter forces all new users to enter a valid phone number"]]></title><description><![CDATA[
<p>Your phone nummer is  global unique id of your person. Even more as many nations require you register the phone number with personal informations.</p>
]]></description><pubDate>Tue, 26 Mar 2019 07:34:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=19489883</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=19489883</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=19489883</guid></item><item><title><![CDATA[New comment by Merkur in "What to say when recruiters ask you to name the first number"]]></title><description><![CDATA[
<p>While waiting for the article to load i was thinking - was zero or one the first number? Or was it two, because you need at least two to start counting?<p>Then i realized that i was offtopic in a kinda funny way</p>
]]></description><pubDate>Sun, 19 Aug 2018 17:49:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=17795342</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=17795342</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=17795342</guid></item><item><title><![CDATA[New comment by Merkur in "What to say when recruiters ask you to name the first number"]]></title><description><![CDATA[
<p>While Waiting until the article has loaded, i tried to figure out if Zero or One came first ... doh</p>
]]></description><pubDate>Sun, 19 Aug 2018 17:45:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=17795316</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=17795316</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=17795316</guid></item><item><title><![CDATA[RFC Should functions have a color?]]></title><description><![CDATA[
<p>The title is a reference to http://journal.stuffwithstuff.com/2015/02/01/
what-color-is-your-function/ a joyfull rant about async functions and promises.<p>I like to request your comment on a similar topic. While coding in go - I often find me asking: is this package go-routine save? Many times I find the answer in the doc's or can ask on the internet, sometimes I need to look at the code.<p>"go routine safety" is just like the color in the rant of munificent.<p>On a current project I would like to assert that a user provided callback is a pure function - there we got another color!<p>those two colors are alike - they represent meta informations about an entity (function, package, struct) and they are about the behavior of the entity.<p>They also have something to do with boundarys - tho my English skills deny me to elaborate :(<p>I wounder...<p>Do you know other kinds of colors?<p>Is that coloring bothering you? And if not how do you approach it?</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=10630302">https://news.ycombinator.com/item?id=10630302</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 25 Nov 2015 22:53:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=10630302</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=10630302</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=10630302</guid></item><item><title><![CDATA[New comment by Merkur in "Understanding Machine Learning: From Theory to Algorithms (2014)"]]></title><description><![CDATA[
<p>great! thanx!</p>
]]></description><pubDate>Wed, 18 Nov 2015 18:58:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=10589900</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=10589900</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=10589900</guid></item><item><title><![CDATA[Dynamic User Model]]></title><description><![CDATA[
<p>Hi,<p>I could need a pointer, I have the feeling I am one inch away from understanding - but still something is missing. could you provide a hint or a resource or an sample implementation?<p>it's about creating a dynamic user model for my CMS. I observe the user and record it's interactions with the web page. I also managed to lift those interactions in a business domain - ie. interpret interactions with certain HTML Elements as interaction with a product / article / topic.<p>I got the data - as stream of filtered interactions - but still the math needed to create an actionable model eludes me. :(<p>I am looking for ways to aggregate the data into some expressions like "user got strong interest in blue lamps" the CMS could use to make decisions about content placement.<p>how can I organize the interaction in a way to draw sutch conclusion? what kinds of algorithm should I look into?<p>thx in advance,
Merkur</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=10543264">https://news.ycombinator.com/item?id=10543264</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 10 Nov 2015 22:58:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=10543264</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=10543264</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=10543264</guid></item><item><title><![CDATA[New comment by Merkur in "Confidant: an open-source secret management service"]]></title><description><![CDATA[
<p>Indeed! After all we live in a world where many ssl private certificates are only protected by OS file system rights on a internet facing server. And clear text database passwords in config files are common, in all content management systems - and even many customer relationship systems!<p>mysqldump got a CLI argument to provide the password! As far as I know - visible to anyone with some access on the system. the documentation warns about that and suggest to create a config file to store the password.<p>security is a spectrum - but if it's about password storage in modern web applications live on the lower end.<p>I am increasingly frustrated by that - and if I raise concerns many admins stick to binary security "storing stuff unencrypted on disk is okay, cause the attacker is inside already" followed by "you must store the key somewhere" it's wrong and it's true at the same time. it's also sad - because not only the users, but also the ppl paying us trust us to keep them save. and we don't. :( we can say "it's a spectrum" and we are truthful - but we just can't keep em safe. I think it's important to recognize that simple fact.<p>...or is it me who is just meticulous?</p>
]]></description><pubDate>Thu, 05 Nov 2015 00:35:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=10510820</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=10510820</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=10510820</guid></item><item><title><![CDATA[New comment by Merkur in "Confidant: an open-source secret management service"]]></title><description><![CDATA[
<p>I did not know such thing is possible. very cool! thx for pointing it out! :)<p>but still..some rhetorical questions: Is KMS based on this concept? Is it's implementation open sourced? Is it verified to run unchanged in the instance I pay? Who is verifying it? Who is paying the one verifying it? Can I meet him / her to drink a coffee and build trust between us?<p>pls, do not misunderstand me. I got more trust in the amazon techs than in my own ability to admin a complex linux system on bare metal. But while all that is great progress toward security we still need to make a leap to find a solution. don't we?</p>
]]></description><pubDate>Wed, 04 Nov 2015 22:20:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=10510225</link><dc:creator>Merkur</dc:creator><comments>https://news.ycombinator.com/item?id=10510225</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=10510225</guid></item></channel></rss>