<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: Eug894</title><link>https://news.ycombinator.com/user?id=Eug894</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 16 Jun 2026 06:28:19 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=Eug894" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by Eug894 in "Small models also found the vulnerabilities that Mythos found"]]></title><description><![CDATA[
<p>Are you not supposed to include as many _preconditions_ (in the form of test cases or function constraints like "assert" macro in C) as you can into your prompt describing an input for a particular program file before asking AI to analyze the file?<p>Please, read my reply to one of the authors of Angr, a binary analysis tool. Here is an excerpt:<p>> A "brute-force" algorithm (an exhaustive search, in other words) is the easiest way to find an answer to almost any engineering problem. But it often must be optimized before being computed. The optimization may be done by an AI agent based on neural nets, or a learning Mealy machine.<p>> Isn't it interesting what is more efficient: neural nets or a learning Mealy machine?<p>...Then I describe what is a learning Mealy machine. And then:<p>> Some interesting engineering (and scientific) problems are: - finding an input for a program that hacks it; - finding a machine code for a controller of a bipedal robot, which makes it able to work in factories;<p><a href="https://x.com/NENENENENE10/status/2042733015281914108" rel="nofollow">https://x.com/NENENENENE10/status/2042733015281914108</a></p>
]]></description><pubDate>Sun, 12 Apr 2026 12:36:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=47738931</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=47738931</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47738931</guid></item><item><title><![CDATA[New comment by Eug894 in "Generative Teaching Networks: Accelerating Neural Architecture Search"]]></title><description><![CDATA[
<p>Oh! I have a somewhat inconvenient question. I am ok, if you don't answer it. But... Why not work for Elon Musk or the USA government? There are rumors that Uber are owned by Russians and report directly to Putin, jk ; )</p>
]]></description><pubDate>Thu, 20 Feb 2020 18:59:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=22377592</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=22377592</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=22377592</guid></item><item><title><![CDATA[New comment by Eug894 in "Generative Teaching Networks: Accelerating Neural Architecture Search"]]></title><description><![CDATA[
<p>> Why would machine code be the right level of abstraction for a vision or robotics problem?<p>That code would be used to calculate the output function and the transition function of the automaton. At first, as the automaton tries some action and receives a reaction, those functions are constructed accordingly in plain movs and cmps with jmps (suppose x86 ISA here). Then a whole machine code of all actions-reactions is optimized by arithmetic rules, loop <i>rolling</i> and unrolling, etc, so its size is reduced. That optimization may include some hypotheses about Don't Care values of the functions too, which will be corrected in future passes, if they turn out to be wrong... Imagine that code running on something like Thomas Sohmers' Neo processor or Sunway SW26010.<p>Yeah, it is completely different to Neural Nets. I posted it here because I feel the urge to popularize the idea : ) I am a dilettante in machine learning actually.</p>
]]></description><pubDate>Thu, 20 Feb 2020 18:34:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=22377354</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=22377354</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=22377354</guid></item><item><title><![CDATA[New comment by Eug894 in "Generative Teaching Networks: Accelerating Neural Architecture Search"]]></title><description><![CDATA[
<p>Isn't it interesting what is more efficient: neural nets or a learning Mealy machine? Anyway, an optimization of an exhaustive search is a slow but assured way of solving a car driver problem. You don't need the most accurate simulation for it as Elon says here:<p><a href="https://www.youtube.com/watch?v=Ucp0TTmvqOE&t=7358" rel="nofollow">https://www.youtube.com/watch?v=Ucp0TTmvqOE&t=7358</a><p>A "brute-force" algorithm (an exhaustive search, in other words) is the easiest way to find an answer to almost any engineering problem. But it often must be optimized before being computed. The optimization may be done by an AI agent based on Neural Nets, or on a Learning Mealy Machine.<p>A Learning Mealy Machine is an finite automaton in which training data stream is remembered by constructing disjunctive normal forms of the output function of the automaton and the transition function between its states. Then those functions are optimized (compressed with losses by logic transformations like De Morgan's Laws, arithmetic rules, loop unrolling/rolling, etc.) into some generalized forms. That introduces random hypotheses into the automaton's functions, so it can be used in inference. The optimizer for automaton's functions may be another AI agent, or any heuristic algorithm, which you like...<p>Some interesting engineering (and scientific) problems are:
- finding a machine code for a controller of a car, which makes it able to drive autonomously;
- finding a machine code for a controller of a bipedal robot, which makes it able to work in warehouses and factories;
- finding a CAD file, which describes the design of a spheromak working with a guiding center drift generator (hypothetical device, idk!);
- finding a CAD file, which describes some kind of working Smoluchowski’s trapdoor (in some specific conditions, of course);
- finding a file, which describes an automaton working in accordance to the data of a scientific experiment;
- finding a file, which describes manufacturing steps to produce the first molecular nanofactory in the world.<p>Related work by Embecosm is here: superoptimization.org Though it seems people have superoptimized only tiny programs so far as you can see from the ICRL 2017 paper (App. D): arxiv.org/abs/1611.01787 And loops can also be rolled, not just unrolled. That kind of loop optimization seems to be absent here: en.wikipedia.org/wiki/Loop_optimization<p>If you have any questions, ask me here: <a href="https://www.facebook.com/eugene.zavidovsky" rel="nofollow">https://www.facebook.com/eugene.zavidovsky</a></p>
]]></description><pubDate>Thu, 20 Feb 2020 17:59:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=22377007</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=22377007</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=22377007</guid></item><item><title><![CDATA[New comment by Eug894 in "Parallel GCC: a research project aiming to parallelize a real-world compiler"]]></title><description><![CDATA[
<p>Please, read this idea regarding use of superoptimizers: <a href="https://drive.google.com/file/d/1GSv89tiQmPDcnFEu4n4CqfaJcUJxVmL5KrSCJ047g4o/edit" rel="nofollow">https://drive.google.com/file/d/1GSv89tiQmPDcnFEu4n4CqfaJcUJ...</a></p>
]]></description><pubDate>Fri, 20 Sep 2019 13:44:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=21026565</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=21026565</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=21026565</guid></item><item><title><![CDATA[New comment by Eug894 in "Why Google+ Failed"]]></title><description><![CDATA[
<p>Amazon don't work in all countries. And the ability to walk in a retail nearby to look at the product you want is valuable too.</p>
]]></description><pubDate>Fri, 21 Jun 2019 09:01:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=20240979</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=20240979</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=20240979</guid></item><item><title><![CDATA[New comment by Eug894 in "Why Google+ Failed"]]></title><description><![CDATA[
<p>Isn't it funny that people still don't use a messenger with decent filters, which assess personal ratings of posters to show you more relevant results first? Even Discourse doesn't have <i>personal</i> blacklists. Though its search is more advanced than Reddit's. Isn't that strange in 2019?</p>
]]></description><pubDate>Thu, 20 Jun 2019 16:27:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=20234452</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=20234452</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=20234452</guid></item><item><title><![CDATA[New comment by Eug894 in "How the founders of Brex built a billion-dollar business in less than 2 years"]]></title><description><![CDATA[
<p>Why not have single language for all kinds of work? And why not spend some tiny part of those money dedicated to improving hardware by 2x-3x, when there are people [0] claiming Python run-time has potential to 1000x speed-up? I know, I know, it will make manual optimization job nonsense, and everyone needs a job nowadays it seems...<p>[0] <a href="https://spectrum.ieee.org/view-from-the-valley/computing/hardware/david-patterson-says-its-time-for-new-computer-architectures-and-software-languages" rel="nofollow">https://spectrum.ieee.org/view-from-the-valley/computing/har...</a></p>
]]></description><pubDate>Sat, 06 Oct 2018 18:37:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=18156548</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18156548</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18156548</guid></item><item><title><![CDATA[New comment by Eug894 in "How the founders of Brex built a billion-dollar business in less than 2 years"]]></title><description><![CDATA[
<p><p><pre><code>  tools have been overlooked almost completely
</code></pre>
Also even popular people like Guido van Rossum can't get enough funds to improve compilers of such an important language as Python [0]. And current patent system doesn't support developing of software tools because everything is already owned by some patent trolls. For instance, why do they still not use AI agents [1] in machine code optimization? I think, it is not a coincidence. Just read recent news about Chinese hacking the USA hardware. Along with Russians they just dumb you down.<p>[0] "Dropbox pulls the plug on faster Python project", <a href="https://www.infoworld.com/article/3162800/open-source-tools/dropbox-pulls-the-plug-on-faster-python-project.html" rel="nofollow">https://www.infoworld.com/article/3162800/open-source-tools/...</a><p>[1] "Simplifier AI", <a href="https://drive.google.com/file/d/1GSv89tiQmPDcnFEu4n4CqfaJcUJxVmL5KrSCJ047g4o/edit" rel="nofollow">https://drive.google.com/file/d/1GSv89tiQmPDcnFEu4n4CqfaJcUJ...</a></p>
]]></description><pubDate>Sat, 06 Oct 2018 11:07:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=18154524</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18154524</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18154524</guid></item><item><title><![CDATA[New comment by Eug894 in "Vigilante engineer stops Waymo from patenting key lidar technology"]]></title><description><![CDATA[
<p>...with R&D price tags attached. Then everyone who uses something a court considered similar must pay his contribution to the price of the oldest patent involved.</p>
]]></description><pubDate>Tue, 02 Oct 2018 06:08:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=18119170</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18119170</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18119170</guid></item><item><title><![CDATA[New comment by Eug894 in "Brain Drain Within the EU?"]]></title><description><![CDATA[
<p>That is because they are doing useless jobs or work which is not yet in demand here. If they invested in education or some equipment which were raising in demand, they would be fine. Many of ordinary workers in Ukraine emigrate to the EU actually - even more would do that if the EU did not establish those discriminating boundaries with visas : )<p>But the main reason of their poor life is corrupted government which have been here for many years and which didn't give them <i>opportunity</i> <i>to</i> <i>invest</i> properly (not everyone can be a programmer, I admit). We had several hyper-inflation periods with banks going bankrupt, with too complicated legislation no one seriously followed, unfair privatization of former state property, policemen killing and robbing people, etc.<p>...€2.32 for 1 kg of potatoes in Norway?! I got a millionaire idea.</p>
]]></description><pubDate>Mon, 24 Sep 2018 15:31:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=18058514</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18058514</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18058514</guid></item><item><title><![CDATA[New comment by Eug894 in "Can the EU become another AI superpower?"]]></title><description><![CDATA[
<p><p><pre><code>  So serious private-sector money could be raised.</code></pre>
Only after Elon's Tesla have a comfortable win over them again, I guess...</p>
]]></description><pubDate>Mon, 24 Sep 2018 11:14:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=18056691</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18056691</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18056691</guid></item><item><title><![CDATA[New comment by Eug894 in "Brain Drain Within the EU?"]]></title><description><![CDATA[
<p>Well, yeah, unfortunately majority of Ukrainians are not smart enough to overcome those problems (mainly with Russia). But even without IQ qualification for voting, I hope, they will be able to rule over the state right. I don't participate in voting as you can guess from my profile...<p>Regarding the taxes. They are not <i>that</i> discriminating! Because in absolute values other workers may pay to the state even less than programmers. A good programmer may earn up to $3000 every month, so $3000·5% = $150 is what he gives to the state in taxes. An ordinary worker earns (official stat) $350 a month, so he gives only $350·40% = $140. I am not sure about 40% though...<p>We also have very low prices here too. For instance, potatoes cost only ¢15/kg, so if you are European or American you are welcome to spend your money here : )</p>
]]></description><pubDate>Mon, 24 Sep 2018 10:02:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=18056353</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18056353</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18056353</guid></item><item><title><![CDATA[New comment by Eug894 in "Brain Drain Within the EU?"]]></title><description><![CDATA[
<p><p><pre><code>  You don't have to pay 60% taxes to get these.
</code></pre>
Exactly. Poor Western Europeans are robbed by their corrupted governments, IMHO. In Ukraine programmers pay only 5% tax, when everyone else - around 40%. So, come to us! : )</p>
]]></description><pubDate>Sun, 23 Sep 2018 17:35:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=18052131</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18052131</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18052131</guid></item><item><title><![CDATA[New comment by Eug894 in "Brain Drain Within the EU?"]]></title><description><![CDATA[
<p>Oh, I am neither against IP, nor in favor of buy-out of all natural resources. I just think it would be good if each IP had reasonable price [0] and everyone had a land for subsistence.<p>[0] Not like that story: <a href="https://en.wikipedia.org/wiki/Apple_Inc._v._Samsung_Electronics_Co" rel="nofollow">https://en.wikipedia.org/wiki/Apple_Inc._v._Samsung_Electron...</a>.</p>
]]></description><pubDate>Sun, 23 Sep 2018 17:25:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=18052084</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18052084</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18052084</guid></item><item><title><![CDATA[New comment by Eug894 in "Brain Drain Within the EU?"]]></title><description><![CDATA[
<p><p><pre><code>  In the Copenhagen area property prices are already growing faster than salaries.
</code></pre>
Yeah, that's what worries me - landowners having earned <i>enough</i> wealth will start to use their land for other purposes. Or there will be other wealthy people who will order such a reassignment. Thus increasing prices faster than technology can increase supply. It seems unlikely, but who knows for sure? Thanks for the info!</p>
]]></description><pubDate>Sun, 23 Sep 2018 11:20:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=18050550</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18050550</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18050550</guid></item><item><title><![CDATA[New comment by Eug894 in "Brain Drain Within the EU?"]]></title><description><![CDATA[
<p><p><pre><code>  Take now... some hard-headed business man, who has no theories, but knows how to make money. Say to him:
  "Here is a little village; in ten years it will be a great city; in ten years the railroad will have taken
  the place of the stage coach, the electric light of the candle; it will abound with all the machinery and
  improvements that so enormously multiply the effective power of labor. Will in ten years, interest be any
  higher?" He will tell you, "No!" "Will the wages of the common labor be any higher...?" He will tell you,
  "No the wages of common labor will not be any higher..." "What, then, will be higher?" "Rent, the
  value of land. Go, get yourself a piece of ground, and hold possession." And if, under such circumstances, you
  take his advice, you need do nothing more. You may sit down and smoke your pipe; you may lie around like 
  the lazzaroni of Naples or the leperos of Mexico; you may go up in a balloon or down a hole in the ground;
  and without doing one stroke of work, without adding one iota of wealth to the community, in ten years you 
  will be rich! In the new city you may have a luxurious mansion, but among its public buildings will be 
  an almshouse.
</code></pre>
I would add: "Or get some intellectual property everyone must buy." /s</p>
]]></description><pubDate>Sun, 23 Sep 2018 10:52:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=18050453</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18050453</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18050453</guid></item><item><title><![CDATA[New comment by Eug894 in "Brain Drain Within the EU?"]]></title><description><![CDATA[
<p>What is your estimate on how many of the Danish own land? Do people anticipate price of it growing faster than salaries in the near future?</p>
]]></description><pubDate>Sun, 23 Sep 2018 10:34:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=18050414</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18050414</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18050414</guid></item><item><title><![CDATA[New comment by Eug894 in "Optimal Taxation with Rent-Seeking (2011)"]]></title><description><![CDATA[
<p>Hurry, hurry! Ukrainians want to sell their land quickly (at least that is what our imposed leaders tell us):<p><a href="https://voxukraine.org/en/land-prices-and-size-of-the-market-what-to-expect-for-ukraine-en/" rel="nofollow">https://voxukraine.org/en/land-prices-and-size-of-the-market...</a><p><pre><code>  Cost of living skyrockets,
  and so does the cost of new production and hiring.
</code></pre>
Doesn't automation make wages diminishing? Also, please, read this:<p><a href="https://www.reddit.com/r/POLITIC/comments/7hqo7d/to_have_em_all/" rel="nofollow">https://www.reddit.com/r/POLITIC/comments/7hqo7d/to_have_em_...</a><p>What do you think about the right for secession, if citizens were embezzled of their land by unfair privatization process?</p>
]]></description><pubDate>Sun, 23 Sep 2018 05:44:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=18049573</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=18049573</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=18049573</guid></item><item><title><![CDATA[New comment by Eug894 in "Hacker News Highlights: April and May 2018"]]></title><description><![CDATA[
<p>I implied just sharded database of messages, no need to replicate it. With customizable filters along data transfer path, of course.</p>
]]></description><pubDate>Sun, 17 Jun 2018 10:11:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=17331710</link><dc:creator>Eug894</dc:creator><comments>https://news.ycombinator.com/item?id=17331710</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=17331710</guid></item></channel></rss>