[{"channel_id":1143811195,"post_id":478,"date":1788430831000,"forwards":"4","views":"181","text":"Finding bugs across the Python ecosystem with Claude and property-based testing<\/b>
We developed an agent that can efficiently identify bugs in large software projects. To do this, our agent infers general properties of code that should be true, and then by applying property-based testing - a technique similar to fuzz testing - we are able to discover bugs in top Python packages like NumPy, SciPy, and Pandas. After extensive manual validation, we are in the process of reporting these bugs to the developers, several of which have already been patched.<\/blockquote>https:\/\/www.anthropic.com\/research\/property-based-testing<\/a>
\u0421\u0442\u0430\u0442\u044c\u044f: https:\/\/arxiv.org\/abs\/2510.09907<\/a>
\u041a\u043e\u0434: https:\/\/github.com\/mmaaz-git\/agentic-pbt<\/a>","text_length":698,"media":{"root":"\/00c\/3gEAAHssLUQAAAAAzS1ADWRObx0","webpage":{"url":"https:\/\/anthropic.com\/research\/property-based-testing","type":"photo","title":"Finding bugs across the Python ecosystem with Claude and property-based testing","site_name":"Anthropic","display_url":"anthropic.com\/research\/property-based-testing","description":"Ensuring that programs are bug-free is one of the most challenging aspects of software engineering. We developed an agent that can efficiently identify bugs in large software projects.","thumbs":{"m":{"w":320,"h":168,"hash":"shDoa4IJ_o5qH2geroYHqg&ts=1789393988"},"x":{"w":800,"h":420,"hash":"ap4o3EzkXNU_imXUddlpGw&ts=1789393988"},"y":{"w":1280,"h":672,"hash":"xy8_AX7L9mO0RiKpgeGh6g&ts=1789393988"},"w":{"w":2400,"h":1260,"hash":"CUmZMU8JCEnigdiPlBf5Ww&ts=1789393988"},"i":{"bytes":"AVACg|DXooqEwuxz5z49BSAmoqEwuTxM3XP\/ANalETDH71zzk570AS0UUUAFFFFABRRRQAUUUUAf\/9k="}}}}},{"channel_id":1143811195,"post_id":477,"date":1783617258000,"forwards":"5","views":"121","text":"A collaborative bibliography of papers related to property-based testing

https:\/\/github.com\/ngernest\/pbt-bibliography<\/a>","text_length":118,"media":{"root":null,"webpage":{"url":"https:\/\/github.com\/ngernest\/pbt-bibliography","type":"article","title":"GitHub - ngernest\/pbt-bibliography: A collaborative bibliography of papers related to property-based testing","site_name":"GitHub","display_url":"github.com\/ngernest\/pbt-bibliography","description":"A collaborative bibliography of papers related to property-based testing - ngernest\/pbt-bibliography"}}},{"channel_id":1143811195,"post_id":476,"date":1783436776000,"forwards":"2","views":"174","comments":"1","text":"\u0412 Github UI \u043f\u043e\u044f\u0432\u0438\u043b\u0441\u044f \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0434\u0435\u0434\u0443\u043f\u043b\u0438\u043a\u0430\u0442\u043e\u0440 \u0442\u0438\u043a\u0435\u0442\u043e\u0432, \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u043d\u043e\u0432\u043e\u0433\u043e \u0442\u0438\u043a\u0435\u0442\u0430, \u043d\u043e \u0438\u0449\u0435\u0442 \u043f\u043e\u0445\u043e\u0436\u0438\u0435 \u043f\u043e \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044e. \u0412\u043f\u0440\u043e\u0447\u0435\u043c \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043f\u043e\u043a\u0430 \u0442\u0430\u043a \u0441\u0435\u0431\u0435, \u0432 \u043c\u043e\u0451\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u044d\u0442\u043e \u0431\u044b\u043b \u043d\u0435 \u0434\u0443\u043f\u043b\u0438\u043a\u0430\u0442.","text_length":186,"media":{"root":"\/002\/3AEAAHssLUQAAAAAzQTwfNim9u0","photo":{"thumbs":{"m":{"w":320,"h":58,"hash":"HmJzQOTi3FfqbtuAOJ2Cjg&ts=1789393988"},"x":{"w":554,"h":100,"hash":"qy8mc8xXGQtZnWFHdBFi0Q&ts=1789393988"},"i":{"bytes":"AHACg|DYwf8AJowf8miigBPm9vzpfm9vzoooAXmiiigD\/9k="}}}}},{"channel_id":1143811195,"post_id":475,"date":1781332245000,"views":"138","text":"CirrusCI \u0432\u0441\u0451:
Cirrus CI will shut down effective Monday, June 1, 2026.<\/blockquote>\u041f\u0435\u0440\u0435\u0439\u0434\u0443\u0442 \u043f\u043e\u0434 \u043a\u0440\u044b\u043b\u043e OpenAI.
\u0412 \u043f\u0440\u043e\u0449\u0430\u043b\u044c\u043d\u043e\u043c \u0442\u0435\u043a\u0441\u0442\u0435 \u043e\u0441\u043d\u043e\u0432\u0430\u0442\u0435\u043b\u044c \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u044f\u0435\u0442 \u0438\u043d\u043d\u043e\u0432\u0430\u0446\u0438\u0438:
Over the last nine years, we were fortunate to innovate across continuous integration, build tools, and virtualization. In 2018, we introduced what we believe was the first SaaS CI\/CD system to support Linux, Windows, and macOS while allowing teams to bring their own cloud. In 2022, we built Tart, which became the most popular virtualization solution for Apple Silicon, along with several other tools along the way.<\/blockquote>\u043d\u043e \u044f \u0438\u0445 \u0446\u0435\u043d\u0438\u043b \u0432 \u043f\u0435\u0440\u0432\u0443\u044e \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u0437\u0430 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f FreeBSD \u0432 CI.

https:\/\/cirruslabs.org\/<\/a>","text_length":673,"media":{"root":"\/006\/2wEAAHssLUQAAAAAYwA6ln2ZENs","webpage":{"url":"https:\/\/cirruslabs.org","type":"photo","title":"Cirrus Labs to join OpenAI","site_name":"cirruslabs.org","display_url":"cirruslabs.org","description":"Cirrus Labs announces an agreement to join OpenAI as part of the Agent Infrastructure team.","thumbs":{"m":{"w":320,"h":68,"hash":"gQ7wRFWpxuBbtDX1xtaILw&ts=1789393988"},"x":{"w":800,"h":171,"hash":"hnBJs1kSCHixWCtCe7EiFg&ts=1789393988"},"y":{"w":1280,"h":273,"hash":"UXFu1EpbXn4p8K2t9mc97g&ts=1789393988"},"w":{"w":2400,"h":512,"hash":"Y98ss0lkriJC7VeqC-BXhQ&ts=1789393988"},"i":{"bytes":"AIACg|CCJYcAt1xzkjFRBUKrk4yeTn+lFFADhGh\/5aY4poRSV+cAdzRRQArogGVbsOKKKKAP\/9k="}}}}},{"channel_id":1143811195,"post_id":474,"date":1780557789000,"forwards":"2","views":"136","comments":"2","text":"\u0418\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u0440\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u0439 \u0441 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435\u043c - \"Vive la Diff\u00e9rence: Practical Diff Testing of Stateful Applications\".\n\n\u041f\u0440\u0438 \u043e\u0431\u043d\u043e\u0432\u043b\u0435\u043d\u0438\u0438 stateful-\u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u0439 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0438\u0445 \u0441 \u0411\u0414 \u0447\u0430\u0441\u0442\u043e \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u044e\u0442 \u0442\u0440\u0443\u0434\u043d\u043e\u0443\u043b\u043e\u0432\u0438\u043c\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u0438 \u0442\u0440\u0430\u0434\u0438\u0446\u0438\u043e\u043d\u043d\u044b\u0435 \u043c\u0435\u0442\u043e\u0434\u044b (\u043a\u0430\u043d\u0430\u0440\u0435\u0435\u0447\u043d\u044b\u0435 \u0440\u0435\u043b\u0438\u0437\u044b, \u0440\u043e\u043b\u043b\u0438\u043d\u0433-\u043e\u0431\u043d\u043e\u0432\u043b\u0435\u043d\u0438\u044f, c\u0438\u043d\u0435-\u0437\u0435\u043b\u0451\u043d\u043e\u0435 \u0440\u0430\u0437\u0432\u0451\u0440\u0442\u044b\u0432\u0430\u043d\u0438\u0435) \u043f\u043b\u043e\u0445\u043e \u044d\u0442\u0438 \u043e\u0448\u0438\u0431\u043a\u0438 \u0432\u044b\u044f\u0432\u043b\u044f\u044e\u0442 \u0438\u0437-\u0437\u0430 \u0440\u0430\u0437\u0434\u0435\u043b\u044f\u0435\u043c\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f. \u0421\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0435 \u0442\u0435\u0441\u0442\u044b (\u044e\u043d\u0438\u0442- \u0438 \u0438\u043d\u0442\u0435\u0433\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u044b\u0435) \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0442 \u0432\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435 \u0440\u0430\u0437\u043d\u044b\u0445 \u0432\u0435\u0440\u0441\u0438\u0439 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u043e\u0431\u043d\u043e\u0432\u043b\u0435\u043d\u0438\u044f.\n\n\u0412 \u0441\u0442\u0430\u0442\u044c\u0435 \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0444\u0440\u0435\u0439\u043c\u0432\u043e\u0440\u043a\u0430 \u0434\u043b\u044f \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0434\u0432\u0443\u0445 \u0432\u0435\u0440\u0441\u0438\u0439 \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f (v1\u200b - \u0442\u0435\u043a\u0443\u0449\u0430\u044f, v2\u200b - \u043d\u043e\u0432\u0430\u044f) \u043d\u0430 \u0438\u0434\u0435\u043d\u0442\u0438\u0447\u043d\u043e\u0441\u0442\u044c \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u044f. \u0424\u0440\u0435\u0439\u043c\u0432\u043e\u0440\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043f\u043e\u0432\u0435\u0440\u0445 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0435\u0433\u043e Postgres \u0431\u0435\u0437 \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043a\u043e\u0434\u0430 \u0421\u0423\u0411\u0414, \u0435\u0433\u043e \u0440\u0430\u0431\u043e\u0442\u0430 \u0440\u0430\u0437\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u043d\u0430 \u0442\u0440\u0438 \u044d\u0442\u0430\u043f\u0430:\n\n- \u0412\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u0435 - \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u043b\u0451\u0433\u043a\u0438\u0445, \u0438\u0437\u043e\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0432\u0435\u0442\u043e\u043a \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0439 \u0431\u0430\u0437\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u0431\u0435\u0437 \u0435\u0451 \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f. \u0412\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043e \u0434\u043b\u044f PostgreSQL \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0442\u0430\u0431\u043b\u0438\u0446 \u0432\u0441\u0442\u0430\u0432\u043a\u0438, \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f \u0438 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0439 \u0441 \u0442\u0440\u0438\u0433\u0433\u0435\u0440\u0430\u043c\u0438. \u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0432\u0435\u0442\u043a\u0438 \u0437\u0430\u043d\u0438\u043c\u0430\u0435\u0442 <100 \u043c\u0441 \u043d\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e \u043e\u0442 \u0440\u0430\u0437\u043c\u0435\u0440\u0430 \u0411\u0414.\n- \u0412\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u0435 - \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0435\u0439 \u043a\u043b\u0438\u0435\u043d\u0442\u0441\u043a\u0438\u0445 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432 (\u0430 \u043d\u0435 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0445 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432) \u0441 \u0447\u0435\u0440\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u043c\u0435\u0436\u0434\u0443 \u0432\u0435\u0440\u0441\u0438\u044f\u043c\u0438 v1\u200b \u0438 v2\u200b. \u042d\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0438 \u0441\u043e\u0432\u043c\u0435\u0441\u0442\u0438\u043c\u043e\u0441\u0442\u0438 (\u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u0438 \u043f\u0440\u044f\u043c\u043e\u0439).\n- \u0421\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 - \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0440\u0430\u0437\u043b\u0438\u0447\u0438\u0439 \u0432 \u043e\u0442\u0432\u0435\u0442\u0430\u0445 \u0441\u0435\u0440\u0432\u0435\u0440\u0430 \u0438 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u0445 \u0431\u0430\u0437\u044b \u0434\u0430\u043d\u043d\u044b\u0445. \u0412\u0432\u0435\u0434\u0435\u043d\u044b \u0442\u0440\u0451\u0445\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0435\u0435 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 (\u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435, \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043f\u043e\u0441\u043b\u0435 v1\u200b \u0438 v2\u200b), \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u0435\u0435 \u0434\u0432\u0443\u0445\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0435\u0433\u043e. \u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0437\u0430 \u0432\u0440\u0435\u043c\u044f, \u043f\u0440\u043e\u043f\u043e\u0440\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u0440\u0430\u0437\u043c\u0435\u0440\u0443 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439 (\u0430 \u043d\u0435 \u0432\u0441\u0435\u0439 \u0411\u0414).\n\n\u0422\u0438\u043f\u044b \u0432\u044b\u044f\u0432\u043b\u044f\u0435\u043c\u044b\u0445 \u043e\u0448\u0438\u0431\u043e\u043a:\n\n- \u041f\u043e\u0432\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 \u0434\u0430\u043d\u043d\u044b\u0445 (data corruption) - \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0443\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u0441\u0435\u0440\u0438\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0445 protobuf.\n- \u041d\u0435\u0441\u043e\u0432\u043c\u0435\u0441\u0442\u0438\u043c\u043e\u0441\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0445 (data incompatibility) - \u0440\u0430\u0437\u043d\u0430\u044f \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0446\u0438\u044f \u043e\u0434\u043d\u0438\u0445 \u0438 \u0442\u0435\u0445 \u0436\u0435 \u0434\u0430\u043d\u043d\u044b\u0445 \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u0432\u0435\u0440\u0441\u0438\u044f\u043c\u0438.\n- \u041b\u043e\u0436\u043d\u044b\u0435 \u043f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u043e \u0434\u0430\u043d\u043d\u044b\u0445 (false data assumptions) - \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0436\u0451\u0441\u0442\u043a\u043e \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u0439 \u043b\u0438\u043c\u0438\u0442 \u043d\u0430 \u0440\u0430\u0437\u043c\u0435\u0440 \u0442\u0430\u0431\u043b\u0438\u0446\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u0435\u0432\u044b\u0448\u0435\u043d \u0432 \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u0435\u043d\u0435.\n\n\u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u043e\u0432:\n\n- \u0424\u0440\u0435\u0439\u043c\u0432\u043e\u0440\u043a \u0443\u0441\u043f\u0435\u0448\u043d\u043e \u043d\u0430\u0445\u043e\u0434\u0438\u0442 \u0432\u0441\u0435 \u0442\u0440\u0438 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u043e\u0448\u0438\u0431\u043e\u043a \u0432 \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u0438 Bank of Anthos.\n- \u0412\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u0435 \u0432 10-100 \u0440\u0430\u0437 \u0431\u044b\u0441\u0442\u0440\u0435\u0435 \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0431\u0430\u0437\u044b \u0434\u0430\u043d\u043d\u044b\u0445\n- \u0421\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 \u0434\u043e 1000 \u0440\u0430\u0437 \u0431\u044b\u0441\u0442\u0440\u0435\u0435 \u043d\u0430\u0438\u0432\u043d\u044b\u0445 SQL-\u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432 \u043d\u0430 Postgres, \u0432\u0440\u0435\u043c\u044f \u043d\u0435 \u0440\u0430\u0441\u0442\u0451\u0442 \u0441 \u0440\u0430\u0437\u043c\u0435\u0440\u043e\u043c \u0411\u0414.\n- \u0427\u0442\u0435\u043d\u0438\u0435\/\u0437\u0430\u043f\u0438\u0441\u044c: \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0435 \u043d\u0430\u043a\u043b\u0430\u0434\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f (\u0434\u043e 3 \u0440\u0430\u0437 \u043f\u043e \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044e \u0441 \u043e\u0431\u044b\u0447\u043d\u044b\u043c Postgres).\n- \u0414\u043b\u044f \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u044f \u043e\u0448\u0438\u0431\u043e\u043a \u043f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b\u043e\u0441\u044c 2-4 \u043f\u0435\u0440\u0435\u043c\u0435\u0436\u0435\u043d\u0438\u044f \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432 \u0438 55-110 \u0441\u0435\u043a\u0443\u043d\u0434 \u0432\u0440\u0435\u043c\u0435\u043d\u0438.","text_length":2355},{"channel_id":1143811195,"post_id":473,"date":1776942336000,"forwards":"6","views":"199","text":"\u0420\u0430\u043d\u044c\u0448\u0435 \u0432\u0435\u0434\u044c \u043a\u0430\u043a \u0431\u044b\u043b\u043e: \u0438\u0437\u0443\u0447\u0430\u0435\u0448\u044c \u0442\u0435\u043e\u0440\u0438\u044e \u044f\u0437\u044b\u043a\u043e\u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u043c\u0435\u0442\u043e\u0434\u044b, \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0438, \u043b\u0435\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0438 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437, \u0440\u0430\u0431\u043e\u0442\u0443 c AST (\u043e\u0431\u0445\u043e\u0434 \u0434\u0435\u0440\u0435\u0432\u0430, \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f), \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u043d\u044b\u0435 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0438 \u0438 \u0441\u0438\u043d\u0442\u0435\u0437\u0438\u0440\u0443\u0435\u043c\u044b\u0435\/\u043d\u0430\u0441\u043b\u0435\u0434\u0443\u0435\u043c\u044b\u0435 \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u044b, \u0438\u0437\u0443\u0447\u0430\u0435\u0448\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0442\u0438\u043f\u043e\u0432, \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0443 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u0447\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430, \u0438\u0437\u0443\u0447\u0430\u0435\u0448\u044c \u043c\u0435\u0436\u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437. \u0418\u0437\u0443\u0447\u0430\u0435\u0448\u044c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430: \u0430\u043d\u0430\u043b\u0438\u0437 \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u0434\u0430\u043d\u043d\u044b\u0445 \u0438 \u0430\u043d\u0430\u043b\u0438\u0437 \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f, \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0442\u043d\u0443\u044e \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0446\u0438\u044e, ML \u0434\u043b\u044f \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430, \u0438\u0437\u0443\u0447\u0430\u0435\u0448\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 SOTA \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u043e\u0432 \u0441 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u043c \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u043c \u043a\u043e\u0434\u043e\u043c (\u0432\u0440\u043e\u0434\u0435 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0437\u0430\u0431\u044b\u043b). \u0418 \u0447\u0435\u0440\u0435\u0437 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043b\u0435\u0442 \u0432\u044b \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442\u0435 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u0443\u0434\u0435\u0442 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u044c \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u0432 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0445 \u043f\u0440\u043e\u0435\u043a\u0442\u0430\u0445 \u0441 \u0432\u044b\u0441\u043e\u043a\u0438\u043c \u0443\u0440\u043e\u0432\u043d\u0435\u043c \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0430 \u043a\u043e\u0434\u0430.

\u0410 c\u0435\u0439\u0447\u0430\u0441 \u0432\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u043e\u0439 LLM \u0438\u0437 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439 \u0434\u043b\u044f \u044d\u0442\u043e\u0439 LLM \u0438 \u0432\u0443\u0430\u043b\u044f, 500+ \u0434\u0435\u0444\u0435\u043a\u0442\u043e\u0432 \u0432 CPython \u0438 C-\u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044f\u0445 \u0434\u043b\u044f \u043d\u0435\u0433\u043e.

\u0412 2013 \u0433\u043e\u0434\u0443 Coverity \u0441\u0434\u0435\u043b\u0430\u043b\u0438<\/a> \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043a\u043e\u0434\u0430 \u043d\u0430 \u043f\u0440\u0435\u0434\u043c\u0435\u0442 \u043d\u0430\u043b\u0438\u0447\u0438\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u0438 \u043e\u0448\u0438\u0431\u043e\u043a \u0432 CPython 3.3.2:
\u0415\u0441\u043b\u0438 \u0434\u043b\u044f \u0440\u0430\u043d\u0435\u0435 \u043f\u0440\u043e\u0430\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u0432 \u0437\u0430\u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d \u0441\u0440\u0435\u0434\u043d\u0438\u0439 \u0443\u0440\u043e\u0432\u0435\u043d\u044c \u0434\u0435\u0444\u0435\u043a\u0442\u043e\u0432 \u0432 0.69 \u043e\u0448\u0438\u0431\u043e\u043a \u043d\u0430 1000 \u0441\u0442\u0440\u043e\u043a \u043a\u043e\u0434\u0430, \u0442\u043e \u0434\u043b\u044f \u043a\u043e\u0434\u0430 Python \u0443\u0440\u043e\u0432\u0435\u043d\u044c \u0434\u0435\u0444\u0435\u043a\u0442\u043e\u0432 \u0441\u043e\u0441\u0442\u0430\u0432\u0438\u043b \u0432\u0441\u0435\u0433\u043e 0.005. \u0415\u0441\u043b\u0438 \u0443\u0447\u0435\u0441\u0442\u044c, \u0447\u0442\u043e \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u0440\u043e\u043c\u044b\u0448\u043b\u0435\u043d\u043d\u044b\u0445 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043e\u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0430 \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u044e\u0442 \u043d\u0430\u043b\u0438\u0447\u0438\u0435 1 \u043e\u0448\u0438\u0431\u043a\u0438 \u043d\u0430 1000 \u0441\u0442\u0440\u043e\u043a \u043a\u043e\u0434\u0430, \u0442\u043e \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u043e \u043a\u043e\u0434\u0430 Python \u0432 200 \u0440\u0430\u0437 \u0432\u044b\u0448\u0435 \u0434\u0430\u043d\u043d\u044b\u0445 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439.

\u0412 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u043f\u0440\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u044f \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u044f \u0431\u044b\u043b\u043e \u043f\u0440\u043e\u0430\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043e \u043e\u043a\u043e\u043b\u043e 396 \u0442\u044b\u0441\u044f\u0447 \u0441\u0442\u0440\u043e\u043a \u043a\u043e\u0434\u0430 CPython 3.3.2. \u0412 \u0438\u0442\u043e\u0433\u0435 \u0431\u044b\u043b\u043e \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u043e 278 \u043d\u043e\u0432\u044b\u0445 \u0434\u0435\u0444\u0435\u043a\u0442\u043e\u0432, \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 181 \u0443\u0436\u0435 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0430\u043c\u0438 Python (\u0432 \u0441\u0443\u043c\u043c\u0435, \u0441 2006 \u0433\u043e\u0434\u0430 \u0432 Python \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u043e 996 \u043e\u0448\u0438\u0431\u043e\u043a, \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u043e - 860). \u041f\u0440\u0438 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u0438\u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u0432 \u0440\u0430\u0437\u043c\u0435\u0440\u043e\u043c \u043e\u0442 100 \u0434\u043e 500 \u0442\u044b\u0441\u044f\u0447 \u0441\u0442\u0440\u043e\u043a \u043a\u043e\u0434\u0430, \u0441\u0440\u0435\u0434\u043d\u0438\u0439 \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0434\u0435\u0444\u0435\u043a\u0442\u043e\u0432 \u0434\u043b\u044f \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043e\u043a \u0441\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 0.60, \u0430 \u0434\u043b\u044f \u043f\u0440\u043e\u043f\u0440\u0438\u0435\u0442\u0430\u0440\u043d\u044b\u0445 - 0.66.<\/blockquote>\u0442\u043e \u0435\u0441\u0442\u044c \u043a\u043e\u0434 CPython \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0445\u043e\u0440\u043e\u0448\u0435\u0433\u043e \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0430, \u043f\u043e \u043a\u0440\u0430\u0439\u043d\u0435\u0439 \u043c\u0435\u0440\u0435 \u0431\u044b\u043b \u0432 2013.

\u0412\u0441\u0435 \u044d\u0442\u043e \u043d\u0438\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043d\u0435 \u0443\u043c\u0430\u043b\u044f\u0435\u0442 \u0442\u0435\u0445 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u043b DevDanzin. \u041f\u043e \u0431\u043e\u043b\u044c\u0448\u043e\u043c\u0443 \u0441\u0447\u0451\u0442\u0443 \u043d\u0435 \u0442\u0430\u043a \u0432\u0430\u0436\u043d\u043e \u0434\u043b\u044f \u0441\u0430\u043c\u0438\u0445 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u0432 \u043a\u0430\u043a\u0438\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u043c \u0438 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0447\u0435\u0433\u043e \u0431\u044b\u043b \u043d\u0430\u0439\u0434\u0435\u043d \u0434\u0435\u0444\u0435\u043a\u0442.

https:\/\/lwn.net\/SubscriberLink\/1067234\/e5312bed2037a102\/<\/a>","text_length":2139,"media":{"root":null,"webpage":{"url":"https:\/\/lwn.net\/SubscriberLink\/1067234\/e5312bed2037a102","type":"article","title":"Using LLMs to find Python C-extension bugs","site_name":"LWN.net","display_url":"lwn.net\/SubscriberLink\/1067234\/e5312bed2037a102","description":"The open-source world is currently awash in reports of LLM-discovered bugs and vulnerabilities, [...]"}}},{"channel_id":1143811195,"post_id":472,"date":1773939692000,"views":"76","comments":"1","text":"Sashiko \u043c\u043e\u043d\u0438\u0442\u043e\u0440\u0438\u0442 \u0441\u043f\u0438\u0441\u043e\u043a \u0440\u0430\u0441\u0441\u044b\u043b\u043a\u0438 \u0441 \u043f\u0430\u0442\u0447\u0430\u043c\u0438 \u0432 \u044f\u0434\u0440\u043e Linux (LKML) \u0438 \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u0440\u0435\u0432\u044c\u044e \u044d\u0442\u0438\u0445 \u043f\u0430\u0442\u0447\u0435\u0439 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e LLM (\u0441\u0435\u0439\u0447\u0430\u0441, \u043a\u0430\u043a \u044f \u043f\u043e\u043d\u044f\u043b, \u044d\u0442\u043e Gemini). \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u043f\u0443\u0431\u043b\u0438\u043a\u0443\u0435\u0442 \u0432 \u0441\u0438\u043c\u043f\u0430\u0442\u0438\u0447\u043d\u043e\u043c WebUI.

https:\/\/sashiko.dev\/<\/a>","text_length":206,"media":{"root":"\/003\/2AEAAHssLUQAAAAAhNsmNYknztU","photo":{"thumbs":{"m":{"w":320,"h":236,"hash":"FyCcvdO_BwUZxcvMDnegCA&ts=1789393988"},"x":{"w":800,"h":591,"hash":"cU508X9_I6G7YdIZ8jtDqQ&ts=1789393988"},"y":{"w":887,"h":655,"hash":"9zhygAUpU8DR4l1DEF0G_w&ts=1789393988"},"i":{"bytes":"AdACg|DV3Y4PrS7h60jY6kZpBt9D+dAEmRRuFNGPQ\/nSj8fzoAXIooooAZ6807I9RSAckZp20\/3qAEyPUU6m4PrTqACiiigD\/9k="}}}}},{"channel_id":1143811195,"post_id":471,"date":1773398736000,"forwards":"8","views":"188","text":"\u0415\u0441\u043b\u0438 \u0432\u044b \u0445\u043e\u0442\u0435\u043b\u0438 \u043f\u043e\u0433\u0440\u0443\u0437\u0438\u0442\u044c\u0441\u044f \u0432 \u0442\u0435\u043c\u0443 SDLC, \u0442\u043e \u0432\u043e\u0442 \u0432\u0430\u043c \u0437\u043d\u0430\u043a \u0441\u0432\u044b\u0448\u0435: \u0432 \u0432\u0435\u0441\u0435\u043d\u043d\u0435\u043c \u0441\u0435\u043c\u0435\u0441\u0442\u0440\u0435 \u0432 \u0412\u041c\u041a \u041c\u0413\u0423 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442 \u0441\u043f\u0435\u0446\u043a\u0443\u0440\u0441 \u043f\u043e \u0420\u0411\u041f\u041e.

\u041b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u043d\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u044b \u0431\u0443\u0434\u0443\u0442 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u044b \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u0442\u0443\u0434\u0435\u043d\u0442\u0430\u043c, \u043b\u0435\u043a\u0446\u0438\u0438 \u0431\u0443\u0434\u0443\u0442 \u0442\u0440\u0430\u043d\u0441\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0432 Jitsi \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435<\/a>, \u043f\u0440\u043e\u0441\u043b\u0443\u0448\u0438\u0432\u0430\u043d\u0438\u0435 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u043e \u0432\u0441\u0435\u043c \u0436\u0435\u043b\u0430\u044e\u0449\u0438\u043c \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435, \u0437\u0430\u043f\u0438\u0441\u0438 \u043b\u0435\u043a\u0446\u0438\u0439 (\u043a\u0440\u043e\u043c\u0435 \u043f\u0435\u0440\u0432\u043e\u0439) \u043e\u0431\u0435\u0449\u0430\u044e\u0442 \u0432\u044b\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0442\u044c. \u041b\u0435\u043a\u0442\u043e\u0440\u044b \u0438\u0437 \u0418\u0421\u041f \u0420\u0410\u041d \u0438 \u0438\u043d\u0434\u0443\u0441\u0442\u0440\u0438\u0438.

3 \u043c\u0430\u0440\u0442\u0430 \u0412\u0432\u043e\u0434\u043d\u0430\u044f \u043b\u0435\u043a\u0446\u0438\u044f.
10 \u043c\u0430\u0440\u0442\u0430 \u041d\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0435 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f \u043a\u043e\u0434\u0430.
17 \u043c\u0430\u0440\u0442\u0430 \u0421\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437.
24 \u043c\u0430\u0440\u0442\u0430 \u0417\u0430\u0434\u0430\u0447\u0438 \u043f\u0440\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0430 \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u0443\u0435\u043c\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432.
31 \u043c\u0430\u0440\u0442\u0430 \u041e\u0431\u0437\u043e\u0440 \u043c\u0435\u0442\u043e\u0434\u0438\u043a \u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u043d\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430. \u041a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 \u041f\u041e.
7 \u0430\u043f\u0440\u0435\u043b\u044f \u0410\u043d\u0430\u043b\u0438\u0437 \u043f\u043e\u0432\u0435\u0440\u0445\u043d\u043e\u0441\u0442\u0438 \u0430\u0442\u0430\u043a\u0438.
14 \u0430\u043f\u0440\u0435\u043b\u044f \u0424\u0430\u0437\u0437\u0438\u043d\u0433-\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435.
21 \u0430\u043f\u0440\u0435\u043b\u044f \u041e\u0446\u0435\u043d\u043a\u0430 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u044f \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432 \u0420\u0411\u041f\u041e \u0432 \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u0430\u0446\u0438\u0438. \u0421\u0435\u0440\u0442\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432 \u0420\u0411\u041f\u041e.","text_length":815,"media":{"root":null,"document":{"file_name":"SDLC.pdf","mime_type":"application\/pdf","size":512424}}},{"channel_id":1143811195,"post_id":470,"date":1773321397000,"forwards":"1","views":"115","text":"5 \u043c\u0430\u0440\u0442\u0430 \u0443\u043c\u0435\u0440 \u0441\u044d\u0440 \u0422\u043e\u043d\u0438 \u0425\u043e\u0430\u0440

\u041d\u0435\u043a\u0440\u043e\u043b\u043e\u0433: https:\/\/blog.computationalcomplexity.org\/2026\/03\/tony-hoare-1934-2026.html<\/a>","text_length":112,"media":{"root":"\/00d\/1gEAAHssLUQAAAAA5m5l7BSh4Tc","webpage":{"url":"https:\/\/blog.computationalcomplexity.org\/2026\/03\/tony-hoare-1934-2026.html","type":"article","title":"Tony Hoare (1934-2026)","site_name":"blog.computationalcomplexity.org","display_url":"blog.computationalcomplexity.org\/2026\/03\/tony-hoare-1934-2026.html","description":"Turing Award winner and former Oxford professor\u00a0 Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...","thumbs":{"m":{"w":320,"h":168,"hash":"D94Z8OdwNFLsXEkWBrBnTg&ts=1789393988"},"x":{"w":800,"h":420,"hash":"lCidoJswfih3muG2qe_Iyg&ts=1789393988"},"y":{"w":1200,"h":630,"hash":"1Mvp3qbZrXlPz0ZDpDjj7A&ts=1789393988"},"i":{"bytes":"AVACg|BbS6EQzIRjpirsd9budu\/b6ZrIhhMzqNvuafcW5iO\/aAvHAPSkgNKaaAuMkMADUSyjbnzAmOazwhZwAPlz1I4qxLEWQtubd\/OgCw0obBZt30FFUklO0Lltw7etFBSsTRDaufSrUW14wdvb1oopoTHNDGy7SvA96bJbqiblJ6Z55oopkmGxJySaKKKYH\/\/Z"}}}}},{"channel_id":1143811195,"post_id":469,"date":1772642894000,"forwards":"2","views":"175","comments":"1","text":"\u041f\u043e\u0438\u0441\u043a \u0442\u043e\u0447\u0435\u043a \u0440\u0430\u0437\u043b\u0430\u0434\u043a\u0438 (changepoint) \u044d\u0442\u043e \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u0430\u044f \u0437\u0430\u0434\u0430\u0447\u0430 \u0432 \u0440\u0430\u0437\u043d\u044b\u0445 \u043e\u0431\u043b\u0430\u0441\u0442\u044f\u0445. \u042d\u0442\u043e \u043a\u0430\u043d\u0430\u043b \u043f\u0440\u043e \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u041f\u041e, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0438\u043c\u0441\u044f \u043f\u043e\u0438\u0441\u043a\u043e\u043c \u0442\u043e\u0447\u0435\u043a \u0440\u0430\u0437\u043b\u0430\u0434\u043a\u0438 \u043f\u0440\u0438 \u0430\u043d\u0430\u043b\u0438\u0437\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438. \u0412 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0442\u0435\u0441\u0442\u043e\u0432 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043d\u0443\u0436\u043d\u043e \u043f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0438 \u0432\u044b\u044f\u0432\u043b\u044f\u0442\u044c \u043f\u0440\u0438\u0447\u0438\u043d\u044b \u043e\u0442\u043a\u043b\u043e\u043d\u0435\u043d\u0438\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432, \u0432 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044f\u0445 \u044d\u0442\u0438\u043c \u0437\u0430\u043d\u0438\u043c\u0430\u044e\u0442\u0441\u044f \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0435 \u043a\u043e\u043c\u0430\u043d\u0434\u044b (\u0410\u043d\u0434\u0440\u0435\u0439 \u0410\u043a\u0438\u043d\u044c\u0448\u0438\u043d \u0440\u0430\u0431\u043e\u0442\u0435 \u0442\u0430\u043a\u043e\u0439 \u043a\u043e\u043c\u0430\u043d\u0434\u044b \u0446\u0435\u043b\u0443\u044e \u043a\u043d\u0438\u0436\u043a\u0443 \u043f\u043e\u0441\u0432\u044f\u0442\u0438\u043b, \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u043a \u043f\u0440\u043e\u0447\u0442\u0435\u043d\u0438\u044e). \u041d\u043e \u0435\u0441\u043b\u0438 \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0439 \u043a\u043e\u043c\u0430\u043d\u0434\u044b \u043d\u0435\u0442, \u0430 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0432\u0441\u0451 \u0435\u0449\u0435 \u0445\u043e\u0447\u0435\u0442\u0441\u044f, \u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043c\u0435\u0442\u043e\u0434\u044b \u0434\u043b\u044f \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432. \u041d\u0435 \u0431\u0443\u0434\u0443 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c, \u0447\u0442\u043e \u0437\u0430\u0434\u0430\u0447\u0430 \u043f\u043e\u0438\u0441\u043a\u0430 \u0442\u043e\u0447\u0435\u043a \u0440\u0430\u0437\u043b\u0430\u0434\u043a\u0438 \u043d\u0435\u043f\u0440\u043e\u0441\u0442\u0430\u044f, \u0410\u043d\u0434\u0440\u0435\u0439 \u0410\u043a\u0438\u043d\u044c\u0448\u0438\u043d \u044d\u0442\u043e \u0443\u0436\u0435 \u0441\u0434\u0435\u043b\u0430\u043b<\/a>. \u0412\u043c\u0435\u0441\u0442\u043e \u044d\u0442\u043e\u0433\u043e \u0440\u0430\u0441\u0441\u043a\u0430\u0436\u0443 \u043a\u0430\u043a \u044d\u0442\u043e \u0441\u0434\u0435\u043b\u0430\u043b\u0438 \u043c\u044b \u0432 Tarantool.

\u041c\u044b \u043d\u0430\u0441\u0442\u0440\u043e\u0438\u043b\u0438 \u0437\u0430\u043f\u0443\u0441\u043a \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u043e\u0432 \u043d\u0430 \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u0435 \u0441\u043e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u043d\u0430\u0441\u0442\u0440\u043e\u0439\u043a\u0430\u043c\u0438, \u0432\u0441\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b, \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0435 \u043e\u0442 \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u043e\u0432 \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u043b\u0438 \u0432 InfluxDB \u0438 \u0432 \u0433\u0440\u0430\u0444\u0430\u043d\u0435 \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0437\u0430\u043f\u0443\u0441\u043a\u0430 \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u043e\u0432 \u043d\u0430 \u0440\u0430\u0437\u043d\u044b\u0445 \u0432\u0435\u0442\u043a\u0430\u0445 \u0438 \u043a\u043e\u043c\u043c\u0438\u0442\u0430\u0445. \u0412 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u043c\u043e\u043c\u0435\u043d\u0442 \u043f\u043e\u043d\u044f\u043b\u0438, \u0447\u0442\u043e \u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u043a\u0430\u0436\u0434\u044b\u0439 \u0434\u0435\u043d\u044c \u043d\u0430 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0442\u0435\u0441\u0442\u043e\u0432 \u0441\u043a\u0443\u0447\u043d\u043e \u0438 \u043d\u0435\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u0431\u044b\u043b\u043e \u0431\u044b \u0437\u0434\u043e\u0440\u043e\u0432\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437. \u041d\u0430 \u0442\u043e\u0442 \u043c\u043e\u043c\u0435\u043d\u0442 \u044f \u043d\u0430\u0448\u0435\u043b \u0434\u0432\u0430 \u043f\u0440\u043e\u0435\u043a\u0442\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0433\u043b\u0438 \u0431\u044b \u043f\u043e\u043c\u043e\u0447\u044c \u0441 \u044d\u0442\u0438\u043c: ruptures \u0438 hunter. \u041e\u0431\u0430 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u044b \u043d\u0430 Python, \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0435\u0440\u0432\u044b\u0439 \u0431\u043e\u043b\u044c\u0448\u0435 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0430 \u0434\u043b\u044f \u043f\u043e\u0438\u0441\u043a\u0430 \u0442\u043e\u0447\u0435\u043a \u0440\u0430\u0437\u043b\u0430\u0434\u043a\u0438, \u0430 \u0432\u0442\u043e\u0440\u043e\u0439 \u044d\u0442\u043e \u0437\u0430\u043a\u043e\u043d\u0447\u0435\u043d\u043d\u044b\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0438\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0440\u0430\u0437\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u043b\u0441\u044f \u0432 Datastax \u0434\u043b\u044f \u043f\u043e\u0438\u0441\u043a\u0430 \u0442\u043e\u0447\u0435\u043a \u0440\u0430\u0437\u043b\u0430\u0434\u043a\u0438 \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430\u0445 \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u043e\u0432. \u042f \u0432\u044b\u0431\u0440\u0430\u043b \u0432\u0442\u043e\u0440\u043e\u0439 \u043f\u0440\u043e\u0435\u043a\u0442, \u0441\u0435\u0439\u0447\u0430\u0441 \u043e\u043d \u043f\u0435\u0440\u0435\u0435\u0445\u0430\u043b \u0432 \u0438\u043d\u043a\u0443\u0431\u0430\u0442\u043e\u0440 Apache \u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f Otava. Otava \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u0430\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0435 \u0438\u0437 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0445 \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a\u043e\u0432 (CSV files, PostgreSQL, BigQuery), \u043d\u0430\u0441\u0442\u0440\u0430\u0438\u0432\u0430\u0442\u044c \u0441\u0442\u0435\u043f\u0435\u043d\u044c \u043e\u0442\u043a\u043b\u043e\u043d\u0435\u043d\u0438\u044f \u043f\u0440\u0438 \u043f\u0440\u0435\u0432\u044b\u0448\u0435\u043d\u0438\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0441\u043e\u043e\u0431\u0449\u0430\u0442\u044c \u043e \u0440\u0435\u0433\u0440\u0435\u0441\u0441\u0438\u0438 \u0438 \u0442.\u0434. \u041c\u044b \u0438\u043d\u0442\u0435\u0433\u0440\u0438\u0440\u043e\u0432\u0430\u043b\u0438 Otava \u0432 Tarantool CI \u0438 Otava \u0441\u043e\u043e\u0431\u0449\u0430\u0435\u0442 \u043e\u0431\u043e \u0432\u0441\u0435\u0445 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0445 \u043e\u0442\u043a\u043b\u043e\u043d\u0435\u043d\u0438\u044f\u0445 \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430\u0445. \u041f\u043e\u043a\u0430 \u0430\u043d\u0430\u043b\u0438\u0437 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0432 \u043d\u0435\u0431\u043b\u043e\u043a\u0438\u0440\u0443\u044e\u0449\u0435\u043c \u0440\u0435\u0436\u0438\u043c\u0435, \u043d\u043e \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u043a\u043e\u0433\u0434\u0430 \u0441\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u043c\u044b \u043f\u0435\u0440\u0435\u0432\u0435\u0434\u0435\u043c \u0435\u0433\u043e \u0432 \u0431\u043b\u043e\u043a\u0438\u0440\u0443\u0449\u0438\u0439 \u0440\u0435\u0436\u0438\u043c, \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u043c\u0435\u0440\u0436\u0438\u0442\u044c \u043a\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0437\u0430\u0432\u0435\u0434\u043e\u043c\u043e \u043f\u0440\u0438\u043d\u043e\u0441\u0438\u0442 \u0440\u0435\u0433\u0440\u0435\u0441\u0441\u0438\u0438 \u0432 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438.

\u041f\u0440\u043e Apache Otava \u0435\u0441\u0442\u044c \u0434\u0432\u0435 \u043f\u0443\u0431\u043b\u0438\u043a\u0430\u0446\u0438\u0438 "Hunter: Using Change Point Detection to Hunt for Performance Regressions" \u0438 "8 Years of Optimizing Apache Otava: How disconnected open source developers took an algorithm from \ud835\udc5b3 to constant time".","text_length":2289,"media":{"root":null,"webpage":{"url":"https:\/\/aakinshin.net\/posts\/cpd-perf-challenges","type":"article","title":"Challenges of change point detection in CI performance data","site_name":"aakinshin.net","display_url":"aakinshin.net\/posts\/cpd-perf-challenges","description":"Change point detection is a popular task in various disciplines. There are many algorithms that solve this problem. For example, in [[truong2020]], the authors presented a classification of different approaches and discussed 35 algorithms. However, not all ...","author":"Andrey Akinshin"}}},{"channel_id":1143811195,"post_id":468,"date":1772472247000,"forwards":"2","views":"336","text":"\u041f\u043e\u0441\u043b\u0435 \u0430\u043d\u043e\u043d\u0441\u0430 \u0437\u0430\u0434\u0430\u0447\u0438<\/a> \u043f\u0440\u043e \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044e \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0439 \u0432 LuaJIT \u0432 \u043b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u0438\u0438 Tarantool \u043c\u043d\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043b \u0441\u0442\u0443\u0434\u0435\u043d\u0442 \u0424\u0438\u0437\u0442\u0435\u0445\u0430 \u0410\u043b\u0435\u043a\u0441\u0435\u0439 \u0438 \u0441\u043a\u0430\u0437\u0430\u043b, \u0447\u0442\u043e \u0445\u043e\u0447\u0435\u0442 \u0432\u0437\u044f\u0442\u044c \u044d\u0442\u0443 \u0437\u0430\u0434\u0430\u0447\u0443 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0434\u0438\u043f\u043b\u043e\u043c\u043d\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b \u0438 \u0441 \u0441\u0435\u043d\u0442\u044f\u0431\u0440\u044f \u043f\u0440\u043e\u0448\u043b\u043e\u0433\u043e \u0433\u043e\u0434\u0430 \u043c\u044b \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u043c \u0434\u0435\u043b\u0430\u0442\u044c \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 \u0434\u043b\u044f LuaJIT. \u041c\u043d\u043e\u0433\u043e \u0443\u0441\u043f\u0435\u043b\u0438 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0438 \u0435\u0441\u0442\u044c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u043c\u0438 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0434\u0435\u043b\u0438\u0442\u044c\u0441\u044f.

\u041d\u0430\u043f\u043e\u043c\u043d\u044e \u043e\u0441\u043d\u043e\u0432\u043d\u0443\u044e \u0438\u0434\u0435\u044e - \u043d\u0430\u0443\u0447\u0438\u0442\u044c\u0441\u044f \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0443 LuaJIT IR \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e SMT-LIB, \u0434\u0435\u043a\u043b\u0430\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0433\u043e LISP-\u043f\u043e\u0434\u043e\u0431\u043d\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 \u0434\u043b\u044f SMT-\u0441\u043e\u043b\u0432\u0435\u0440\u043e\u0432, \u0438 \u0442\u0435\u043c \u0441\u0430\u043c\u044b\u043c \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b, \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u043e\u0439 \u0432 \u0432\u0438\u0434\u0435 LuaJIT \u0434\u043e \u0438 \u043f\u043e\u0441\u043b\u0435 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0439. \u0412 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e SMT-\u0440\u0435\u0448\u0430\u0442\u0435\u043b\u044f \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u043d\u0430 \u0432\u0441\u0435\u0445 \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u044b\u0445 \u0432\u0445\u043e\u0434\u0430\u0445, \u0430 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0430 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0445 \u0442\u0435\u0441\u0442\u043e\u0432\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445.

\u0414\u043e \u0410\u043b\u0435\u043a\u0441\u0435\u044f \u043d\u0430\u0434 \u0437\u0430\u0434\u0430\u0447\u0435\u0439 \u0440\u0430\u0431\u043e\u0442\u0430\u043b\u0438 \u0434\u0432\u043e\u0435 \u0441\u0442\u0443\u0434\u0435\u043d\u0442\u043e\u0432, \u0441 \u043a\u043e\u0442\u043e\u0440\u044b\u043c\u0438 \u0443 \u043d\u0430\u0441 \u043f\u043e\u044f\u0432\u0438\u043b\u0438\u0441\u044c \u043f\u0435\u0440\u0432\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b - \u043e\u043d\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043b\u0438 \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u044e \u0434\u043b\u044f \u0447\u0430\u0441\u0442\u0438 IR \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439 \u0438 \u043c\u044b \u043d\u0430\u0443\u0447\u0438\u043b\u0438\u0441\u044c \u0432\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u044c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0434\u043b\u044f \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u0431\u0430\u0433\u0430 \u0432 LuaJIT. \u0421\u0440\u0430\u0437\u0443 \u043f\u043e\u0441\u043b\u0435 \u043d\u0430\u0447\u0430\u043b\u0430 \u0441\u0442\u0430\u0436\u0438\u0440\u043e\u0432\u043a\u0438 \u0410\u043b\u0435\u043a\u0441\u0435\u0439 \u0431\u044b\u0441\u0442\u0440\u043e \u0432\u043a\u043b\u044e\u0447\u0438\u043b\u0441\u044f \u0432 \u0440\u0430\u0431\u043e\u0442\u0443, \u043e\u0437\u043d\u0430\u043a\u043e\u043c\u0438\u043b\u0441\u044f \u0441 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u043c \u043a\u043e\u0434\u043e\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u0438 \u043f\u0435\u0440\u0432\u044b\u043c \u0434\u0435\u043b\u043e\u043c \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u043b \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b, \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u044b\u0435 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0440\u0435\u0432\u044c\u044e. \u041f\u043e\u0442\u043e\u043c \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0443 \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439 (\u044d\u0442\u043e \u0431\u044b\u043b\u043e \u043f\u0440\u043e\u0449\u0435 \u0432\u0441\u0435\u0433\u043e, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0432 SMT-LIB \u0435\u0441\u0442\u044c \u0442\u0435\u043e\u0440\u0438\u0438 \u0441 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439 \u043d\u0430\u0434 \u0446\u0435\u043b\u044b\u043c\u0438 \u0447\u0438\u0441\u043b\u0430\u043c\u0438 \u0438 \u0447\u0438\u0441\u043b\u0430\u043c\u0438 \u0441 \u043f\u043b\u0430\u0432\u0430\u044e\u0449\u0435\u0439 \u0442\u043e\u0447\u043a\u043e\u0439), \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0430\u043b\u0438 \u0440\u0430\u0431\u043e\u0442\u0443 \u0441 \u043f\u0430\u043c\u044f\u0442\u044c\u044e \u0438 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0430\u043b\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u0432\u044b\u0445\u043e\u0434\u043e\u0432 \u0441 \u0442\u0440\u0430\u0441\u0441 \u0438 \u0441\u043d\u0430\u043f\u0448\u043e\u0442\u043e\u0432. \u041f\u043e\u043a\u0430 \u043c\u044b \u043d\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043b\u0438 \u0434\u0430\u0436\u0435 \u043f\u043e\u043b\u043e\u0432\u0438\u043d\u0443 IR \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439, \u043d\u043e \u043a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e \u0432\u0441\u0451 \u0441\u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0441\u043a\u043e\u0440\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u0438 \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f: \u0434\u043b\u044f \u043e\u0434\u043d\u0438\u0445 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438 \u0432 IR, \u0434\u0440\u0443\u0433\u0438\u0435 \u0441\u043b\u043e\u0436\u043d\u043e \u0438\u043b\u0438 \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0432 SMT-LIB. \u041d\u043e \u043f\u043e\u0445\u043e\u0436\u0435, \u0447\u0442\u043e \u0447\u0430\u0441\u0442\u044c \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b, \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u043e\u0439 \u0432 IR, \u043c\u044b \u043d\u0430\u0443\u0447\u0438\u043b\u0438\u0441\u044c \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0438 \u0442\u0435\u043f\u0435\u0440\u044c \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u0440\u0430\u0431\u043e\u0442\u043e\u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430. \u041c\u044b \u0432\u0437\u044f\u043b\u0438 \u043a\u043e\u0440\u043f\u0443\u0441 \u043e\u0442 \u043d\u0430\u0448\u0435\u0433\u043e \u0444\u0430\u0437\u0437\u0435\u0440\u0430 \u043f\u043e \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0435 Lua \u0438 \u0410\u043b\u0435\u043a\u0441\u0435\u0439 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u043b \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440. \u0412\u043e \u0432\u0440\u0435\u043c\u044f \u0442\u0430\u043a\u043e\u0433\u043e \u043f\u0440\u043e\u0433\u043e\u043d\u0430 \u043d\u0430\u0448\u043b\u0438 \u043d\u0435\u0434\u043e\u0447\u0435\u0442\u044b \u0432 \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0442\u043e\u0440\u0435 \u0438 \u043e\u0434\u0438\u043d \u0431\u0430\u0433 \u0432 LuaJIT<\/a> (\u0431\u0430\u0433 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d). \u0421\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u0448\u0430\u0433\u043e\u043c \u043c\u044b \u043f\u043b\u0430\u043d\u0438\u0440\u0443\u0435\u043c \u043d\u0430\u0443\u0447\u0438\u0442\u044c\u0441\u044f \u0432\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u044c \u0432\u0441\u0435<\/i> \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0435 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0435 \u0431\u0430\u0433\u0438 \u0432 LuaJIT, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0441 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f\u043c\u0438, \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0440\u0435\u043f\u0440\u043e\u0434\u044c\u044e\u0441\u0435\u0440\u044b \u0434\u043b\u044f \u044d\u0442\u0438\u0445 \u0431\u0430\u0433\u043e\u0432 \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0438 \u0432 \u0442\u0435\u0441\u0442\u044b \u0434\u043b\u044f ljopt, \u0442\u0435\u043f\u0435\u0440\u044c \u0410\u043b\u0435\u043a\u0441\u0435\u0439 \u0431\u0443\u0434\u0435\u0442 \u043a\u0440\u043e\u043f\u043e\u0442\u043b\u0438\u0432\u043e \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0440\u0435\u043f\u0440\u043e\u0434\u044c\u044e\u0441\u0435\u0440\u0430 \u0438\u0437\u0443\u0447\u0430\u0442\u044c IR \u0442\u0440\u0430\u0441\u0441 \u0438 \u0443\u0447\u0438\u0442\u044c\u0441\u044f \u0432\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u044c \u044d\u0442\u0438 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e SMT-\u0441\u043e\u043b\u0432\u0435\u0440\u0430. \u041d\u0430\u0434\u043e \u0441\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \u0440\u0430\u0437\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u044f \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u0442\u0430\u043a\u043e\u0433\u043e \u0440\u043e\u0434\u0430 \u043d\u0443\u0436\u043d\u043e \u043f\u044b\u0442\u0430\u0442\u044c\u0441\u044f \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0437\u0430\u043d\u0438\u043c\u0430\u0442\u044c\u0441\u044f \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\u043c IR, \u043d\u043e \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u0440\u0430\u0431\u043e\u0442\u043e\u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430, \u0432\u043e\u0442 \u043c\u044b \u0438 \u043f\u044b\u0442\u0430\u0435\u043c\u0441\u044f \u0432\u0441\u0451 \u0432\u0440\u0435\u043c\u044f \u0443\u0441\u0438\u0434\u0435\u0442\u044c \u043d\u0430 \u0434\u0432\u0443\u0445 \u0441\u0442\u0443\u043b\u044c\u044f\u0445, \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0430\u044f\u0441\u044c \u0442\u043e \u043d\u0430 \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 IR, \u0442\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430.","text_length":2593,"media":{"root":null,"webpage":{"url":"https:\/\/t.me\/sqaunderhood\/444","type":"telegram_message","title":"\u041f\u0440\u043e\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043b","site_name":"Telegram","display_url":"t.me\/sqaunderhood\/444","description":"\u0412 \u0434\u043e\u043a\u043b\u0430\u0434\u0435 \"\u041e \u0447\u0451\u043c \u044f \u0433\u043e\u0432\u043e\u0440\u044e, \u043a\u043e\u0433\u0434\u0430 \u0433\u043e\u0432\u043e\u0440\u044e \u043e \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u0438 \u0440\u0430\u0431\u043e\u0442\u044b \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u043e\u0432\" \u044f \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u043b \u043f\u0440\u043e \u043e\u0434\u0438\u043d \u0438\u0437 \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0439 \u0432 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430\u0445 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e SMT-\u0441\u043e\u043b\u0432\u0435\u0440\u0430. \u0422\u0430\u043a\u043e\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 \u0434\u043b\u044f LLVM \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e Alive2, \u0434\u043b\u044f GCC \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e smtgcc, \u0432 PyPy \u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430\u0445. \u0412 LuaJIT \u0435\u0441\u0442\u044c \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0430\u0431\u043e\u0440 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0439 \u0434\u043b\u044f IR \u0438 \u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u044d\u0442\u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e, \u043c\u044b \u044d\u0442\u043e \u0437\u043d\u0430\u0435\u043c \u043f\u043e \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0443\u0436\u0435 \u0431\u044b\u043b\u0438 \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u044b \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f\u043c\u0438 LuaJIT \u0438 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u044b. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0442\u0430\u043a\u043e\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u0445\u043e\u0442\u0435\u043b\u043e\u0441\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0438 \u0434\u043b\u044f LuaJIT, \u0442\u0435\u043c \u0431\u043e\u043b\u0435\u0435 \u0447\u0442\u043e \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438 \u044d\u0442\u043e \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e - \u0432 LuaJIT \u043c\u043e\u0436\u043d\u043e \u044d\u043a\u0441\u043f\u043e\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c IR \u0438 \u0443\u043f\u0440\u0430\u0432\u043b\u044f\u0442\u044c \u043a\u0430\u043a \u0443\u0440\u043e\u0432\u043d\u044f\u043c\u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0439 \u0442\u0430\u043a \u0438 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u043c\u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f\u043c\u0438.\n\n\u041d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043b\u0435\u0442 \u043d\u0430\u0437\u0430\u0434 \u043c\u044b \u0432 Tarantool \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u043e\u0432\u0430\u043b\u0438 \u043b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u0438\u044e, \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0441\u0442\u0443\u0434\u0435\u043d\u0442\u044b \u0432 \u0442\u0435\u0447\u0435\u043d\u0438\u0435 \u0443\u0447\u0435\u0431\u043d\u043e\u0433\u043e \u0433\u043e\u0434\u0430 \u0440\u0435\u0448\u0430\u044e\u0442 \u0437\u0430\u0434\u0430\u0447\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u044b \u0438\u043c \u0434\u0430\u0451\u043c, \u043c\u044b \u0438\u043c \u0432 \u044d\u0442\u043e\u043c \u043f\u043e\u043c\u043e\u0433\u0430\u0435\u043c \u0438 \u043f\u043b\u0430\u0442\u0438\u043c \u0441\u0442\u0438\u043f\u0435\u043d\u0434\u0438\u044e, \u0430 \u043f\u043e \u0438\u0442\u043e\u0433\u0430\u043c \u0442\u0430\u043a\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0440\u0438\u0433\u043b\u0430\u0441\u0438\u0442\u044c \u0438\u0445 \u043d\u0430 \u0441\u0442\u0430\u0436\u0438\u0440\u043e\u0432\u043a\u0443. \u0418\u0437 \u0443\u0441\u043f\u0435\u0448\u043d\u043e \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043d\u044b\u0445 \u0437\u0430\u0434\u0430\u0447: \u0444\u0430\u0437\u0437\u0435\u0440\u044b \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0438 \u0434\u043b\u044f SQL \u0438 Lua\u2026"}}},{"channel_id":1143811195,"post_id":467,"date":1772036456000,"views":"255","comments":"1","text":"\u041e\u0431\u044b\u0447\u043d\u043e \u0434\u043b\u044f \u043e\u0446\u0435\u043d\u043a\u0438 \u0441\u0442\u0435\u043f\u0435\u043d\u0438 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u044f \u043a\u043e\u0434\u0430 \u0444\u0430\u0437\u0437\u0438\u043d\u0433-\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435 \u043f\u043e \u0441\u0442\u0440\u043e\u043a\u0430\u043c\/\u0444\u0443\u043d\u043a\u0446\u0438\u044f\u043c\u0438 \u0438 \u0440\u0435\u0434\u043a\u043e \u043f\u043e \u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u044f\u043c. \u041c\u0435\u0442\u0440\u0438\u043a\u0430 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u044f MC\/DC \u0440\u0435\u0434\u043a\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0434\u043b\u044f \u043e\u0446\u0435\u043d\u043a\u0430 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u044f \u0440\u0435\u0433\u0440\u0435\u0441\u0438\u043e\u043d\u043d\u044b\u043c\u0438 \u0442\u0435\u0441\u0442\u0430\u043c\u0438 \u0432\u043e\u043e\u0431\u0449\u0435 \u0438 \u0444\u0430\u0437\u0437\u0438\u043d\u0433\u0430 \u0432 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438, \u0445\u043e\u0442\u044f \u043e\u043d\u0430 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u043b\u043e\u0433\u0438\u043a\u0430 \u043d\u0430\u0434\u0435\u0436\u043d\u043e \u0442\u0435\u0441\u0442\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0432 \u043a\u043e\u0434\u0435. \u042f \u0441\u0434\u0435\u043b\u0430\u043b \u043f\u0430\u0442\u0447, \u0447\u0442\u043e\u0431\u044b \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0434\u043b\u044f \u043a\u043e\u0434\u0430 PUC Rio Lua \u0438 LuaJIT \u0441\u043e\u0431\u0438\u0440\u0430\u0442\u044c MC\/DC \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435, \u043c\u043d\u0435 \u0431\u044b\u043b\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u0443\u0437\u043d\u0430\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043c\u0435\u0442\u0440\u0438\u043a\u0438 \u0434\u043b\u044f \u044d\u0442\u0438\u0445 \u0434\u0432\u0443\u0445 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u0432 \u043f\u0440\u0438 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 \u043d\u0430\u0448\u0438\u043c\u0438 \u0444\u0430\u0437\u0437\u0438\u043d\u0433-\u0442\u0435\u0441\u0442\u0430\u043c\u0438. \u041f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u044f MC\/DC \u0443\u0436\u0435 \u0435\u0441\u0442\u044c \u0438 \u0432 GCC \u0438 \u0432 Clang (18+ \u0438 \u044d\u0442\u043e \u043d\u0435 \u0432\u043e\u0437\u0440\u0430\u0441\u0442, \u0430 \u0432\u0435\u0440\u0441\u0438\u044f), \u0442\u0430\u043a \u043a\u0430\u043a \u0442\u0435\u0441\u0442\u044b \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u0441\u043e\u0431\u0438\u0440\u0430\u044e\u0442\u0441\u044f \u0441 libFuzzer, \u0442\u043e \u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u0438\u0437 LLVM\/Clang. \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0442\u0430\u043a\u0438\u0435:

\u041e\u0431\u0449\u0435\u0435 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435 MC\/DC \u0434\u043b\u044f \u043a\u043e\u0434\u0430 LuaJIT 23%, \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0444\u0430\u0439\u043b\u044b \u043f\u043e\u043a\u0440\u044b\u0442\u044b \u043b\u0443\u0447\u0448\u0435 \u0434\u0440\u0443\u0433\u0438\u0445, \u0442\u043e\u043f-3: lj_parse.c<\/code> - 95%, lj_buf.c<\/code> - 88%, lj_str.c<\/code>\/lj_tab.c<\/code>\/lib_aux.c<\/code> - 75%. \u041a\u0430\u0436\u0435\u0442\u0441\u044f \u0437\u0434\u0435\u0441\u044c \u0435\u0441\u0442\u044c \u043d\u0430\u0434 \u0447\u0435\u043c \u043f\u043e\u0434\u0443\u043c\u0430\u0442\u044c - \u0444\u0430\u0439\u043b \u0434\u043b\u044f \u0441\u0431\u043e\u0440\u0449\u0438\u043a\u0430 \u043c\u0443\u0441\u043e\u0440\u0430 \u043f\u043e\u043a\u0440\u044b\u0442 \u043d\u0430 97% \u043f\u043e \u0441\u0442\u0440\u043e\u043a\u0430\u043c \u0438 \u0442\u043e\u043b\u044c\u043a\u043e 49% \u043f\u043e MC\/DC \u0438\u043b\u0438 lj_record.c<\/code> \u043f\u043e \u0441\u0442\u0440\u043e\u043a\u0430\u043c 80% \u0438 20% \u043f\u043e MC\/DC. \u0412 \u044d\u0442\u0438\u0445 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u0430\u0445 \u043b\u043e\u0433\u0438\u043a\u0430 \u043f\u043e\u0445\u043e\u0436\u0435 \u043f\u043b\u043e\u0445\u043e \u043f\u043e\u043a\u0440\u044b\u0442\u0430.

\u041e\u0431\u0449\u0435\u0435 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435 MC\/DC \u0434\u043b\u044f \u043a\u043e\u0434\u0430 PUC Rio Lua 23%, \u0442\u043e\u043f-3 \u0444\u0430\u0439\u043b\u043e\u0432 \u0441 \u0431\u043e\u043b\u044c\u0448\u0438\u043c \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435\u043c: lstring.c<\/code>\/lzio.c<\/code> - 100%, lopcodes.c<\/code> - 83%.

\u041e\u0433\u043e\u0432\u043e\u0440\u044e\u0441\u044c, \u0447\u0442\u043e \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u043d\u044b\u0435 \u0446\u0438\u0444\u0440\u044b \u043c\u043e\u0433\u0443\u0442 \u043d\u0435\u0442\u043e\u0447\u043d\u043e \u043e\u0442\u0440\u0430\u0436\u0430\u0442\u044c \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043f\u043e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043f\u0440\u0438\u0447\u0438\u043d\u0430\u043c: \u0432 OSS Fuzz \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435 \u043a\u043e\u0434\u0430 Lua \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 92% \u043f\u043e \u0441\u0442\u0440\u043e\u043a\u0430\u043c \u043d\u0430 \u043f\u0440\u043e\u0442\u044f\u0436\u0435\u043d\u0438\u0438 \u043d\u0430\u0432\u0435\u0440\u043d\u043e\u0435 \u0442\u0440\u0451\u0445 \u043b\u0435\u0442 \u0438\u043b\u0438 \u0431\u043e\u043b\u044c\u0448\u0435, \u0442\u043e \u0435\u0441\u0442\u044c \u043c\u043e\u0439 \u043a\u043e\u0440\u043f\u0443\u0441 \u0434\u043b\u044f PUC Rio Lua \u043f\u0440\u0438 \u0438\u0437\u043c\u0435\u0440\u0435\u043d\u0438\u0438 \u0431\u044b\u043b \u043d\u0435 \u0441\u043e\u0432\u0441\u0435\u043c \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u0439, \u043f\u0440\u0438 \u0441\u0431\u043e\u0440\u043a\u0435 PUC Rio Lua \u0438 LuaJIT \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0447\u0430\u0441\u0442\u043e \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u043b \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f "unsupported MC\/DC boolean expression; contains an operation with a nested boolean expression", \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u044d\u0442\u043e \u043f\u043e\u0432\u043b\u0438\u044f\u043b\u043e \u043d\u0430 \u0442\u043e\u0447\u043d\u043e\u0441\u0442\u044c \u0438\u0437\u043c\u0435\u0440\u0435\u043d\u0438\u0439.

\u0418\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u0447\u0442\u043e \u0420\u0438\u0447\u0430\u0440\u0434 \u0425\u0438\u043f\u043f \u0434\u0430\u0436\u0435 \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0444\u0430\u0437\u0437\u0438\u043d\u0433 \u0438 100% \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435 \u043f\u043e MC\/DC:

\u0424\u0430\u0437\u0437\u0438\u043d\u0433-\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438 100% \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 MC\/DC \u043d\u0430\u0445\u043e\u0434\u044f\u0442\u0441\u044f \u0432 \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u0440\u0435\u0447\u0438\u0438 \u0434\u0440\u0443\u0433 \u0441 \u0434\u0440\u0443\u0433\u043e\u043c. \u041a\u043e\u0434, \u043f\u0440\u043e\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430 100% MC\/DC, \u0431\u0443\u0434\u0435\u0442 \u0431\u043e\u043b\u0435\u0435 \u0443\u044f\u0437\u0432\u0438\u043c \u043a \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430\u043c, \u0432\u044b\u044f\u0432\u043b\u044f\u0435\u043c\u044b\u043c \u0444\u0430\u0437\u0437\u0438\u043d\u0433\u043e\u043c, \u0430 \u043a\u043e\u0434, \u0445\u043e\u0440\u043e\u0448\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0438\u0439 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0444\u0430\u0437\u0437\u0438\u043d\u0433-\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0431\u0443\u0434\u0435\u0442 \u0438\u043c\u0435\u0442\u044c (\u0437\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e) \u043c\u0435\u043d\u044c\u0448\u0438\u0439 \u043f\u0440\u043e\u0446\u0435\u043d\u0442 MC\/DC, \u0447\u0435\u043c 100%. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 MC\/DC \u043f\u0440\u0435\u043f\u044f\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044e \u0437\u0430\u0449\u0438\u0442\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430 \u0441 \u043d\u0435\u0434\u043e\u0441\u0442\u0443\u043f\u043d\u044b\u043c\u0438 \u0432\u0435\u0442\u0432\u044f\u043c\u0438, \u043d\u043e \u0431\u0435\u0437 \u0437\u0430\u0449\u0438\u0442\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430 \u0444\u0430\u0437\u0437\u0435\u0440 \u0441 \u0431\u043e\u043b\u044c\u0448\u0435\u0439 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c\u044e \u043d\u0430\u0439\u0434\u0435\u0442 \u043f\u0443\u0442\u044c, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u044b\u0437\u043e\u0432\u0435\u0442 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b. \u0425\u043e\u0442\u044f \u0444\u0430\u0437\u0437\u0438\u043d\u0433\u043e\u0432\u043e\u0435 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438 100% MC\/DC-\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u043d\u0430\u0445\u043e\u0434\u044f\u0442\u0441\u044f \u0432 \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u0440\u0435\u0447\u0438\u0438, \u043e\u043d\u0438 \u043d\u0435 \u043f\u043e\u043b\u043d\u043e\u0441\u0442\u044c\u044e \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u0440\u0435\u0447\u0430\u0442 \u0434\u0440\u0443\u0433 \u0434\u0440\u0443\u0433\u0443. \u0422\u043e\u0442 \u0444\u0430\u043a\u0442, \u0447\u0442\u043e \u043d\u0430\u0431\u043e\u0440 \u0442\u0435\u0441\u0442\u043e\u0432 SQLite \u0442\u0435\u0441\u0442\u0438\u0440\u0443\u0435\u0442 \u043d\u0430 100% MC\/DC, \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u043a\u043e\u0433\u0434\u0430 \u0444\u0430\u0437\u0437\u0435\u0440\u044b \u043d\u0430\u0445\u043e\u0434\u044f\u0442 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b, \u044d\u0442\u0438 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u0441\u0442\u0440\u043e \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u0442\u044c \u0441 \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u043c \u0440\u0438\u0441\u043a\u043e\u043c \u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u043d\u043e\u0432\u044b\u0445 \u043e\u0448\u0438\u0431\u043e\u043a.","text_length":2558},{"channel_id":1143811195,"post_id":466,"date":1771508378000,"forwards":"2","views":"211","text":"
In this work, we address this issue by proposing an efficient white-box checker, Emme. Our key idea is to use information that is easily provided by database systems to efficiently check the isolation level of a given transaction history. We present version certificate recovery, a method of recovering the version order and each operation\u2019s version from the database system under test. For efficiency, we also propose the concept of an expected serialization order, which obviates the need to define and recover a version certificate for many serializable concurrency control protocols. We have implemented version certificate recovery for three widely used database systems\u2014PostgreSQL, CockroachDB, and TiDB. We demonstrate that Emme is 1.2\u20133.6\u00d7 faster than Elle, a state-of-the-art checker. Using the expected serialization order, we obtain a further speedup of 34\u2013430\u00d7 compared to Emme when checking histories containing predicate operations. We show that our approach can identify invalid histories that cannot be detected by Elle and also show that it can find realistic bugs purposely introduced by an engineer.<\/blockquote>https:\/\/www.doc.ic.ac.uk\/~afd\/papers\/2024\/EuroSys.pdf<\/a>","text_length":1172,"media":{"root":null,"document":{"file_name":"EuroSys.pdf","mime_type":"application\/pdf","size":583611}}},{"channel_id":1143811195,"post_id":465,"date":1770736243000,"forwards":"3","views":"166","comments":"8","text":"\u0427\u0442\u043e \u0436, \u043d\u0430\u0441\u0442\u0430\u043b\u0430 \u043f\u043e\u0440\u0430. \u041f\u043e\u0434\u043f\u0438\u0448\u0438\u0442\u0435\u0441\u044c<\/a> \u043d\u0430 \u0441\u043b\u0443\u0447\u0430\u0439, \u0435\u0441\u043b\u0438 \u0422\u0435\u043b\u0435\u0433\u0440\u0430\u043c\u0443 \u0441\u0442\u0430\u043d\u0435\u0442 \u0441\u043e\u0432\u0441\u0435\u043c \u043f\u043b\u043e\u0445\u043e.","text_length":79,"media":{"root":"\/003\/0QEAAHssLUQAAAAAhNsmNYknztU","photo":{"thumbs":{"m":{"w":320,"h":250,"hash":"iWYE3081OwQUrqG9Ig5n5g&ts=1789393988"},"x":{"w":407,"h":318,"hash":"r1kaf4Fs4_O76gGcvjvS7A&ts=1789393988"},"i":{"bytes":"AfACg|C6gBcZqbYvoKij++KlJHPTP1q2ZoYDH53k4y2M0\/YvoKZ\/Hv2JuxjOecU8HI7Z+tJXKdiGQANwKKWX79FWjN7iIcNk1JvQ+tRUUrDTsSbl\/vGl3oPWoOc9aWiwczHOctkUUlFMW5\/\/2Q=="}}}}},{"channel_id":1143811195,"post_id":464,"date":1769193769000,"forwards":"20","views":"575","text":"\u0418\u043d\u0436\u0435\u043d\u0435\u0440 \u0438\u0437 Mozilla \u0432 \u0442\u0440\u0435\u0434\u0435 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442, \u0447\u0442\u043e \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u0432 CPU \u043d\u0435 \u0440\u0435\u0434\u043a\u043e\u0441\u0442\u044c, \u043d\u0435 \u0442\u043e, \u0447\u0442\u043e \u0440\u0430\u043d\u044c\u0448\u0435. \u041c\u0430\u043b\u043e \u043b\u0438 \u0447\u0435\u0433\u043e \u0432 \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430\u0445 \u043f\u0438\u0448\u0443\u0442, \u043d\u043e \u044d\u0442\u043e\u0442 \u0438\u043d\u0436\u0435\u043d\u0435\u0440 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u0442 \u043a\u0440\u0435\u0448\u0438 \u043e\u0442 Firefox \u0438 \u0437\u0430\u0431\u043e\u0442\u043b\u0438\u0432\u043e \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u0442
\u0432 \u043e\u0434\u0438\u043d \u0442\u0438\u043a\u0435\u0442 - https:\/\/bugzilla.mozilla.org\/show_bug.cgi?id=1896406<\/a>. \u0417\u0430 \u0433\u043e\u0434 \u0438\u0445 \u043d\u0430\u043a\u043e\u043f\u0438\u043b\u043e\u0441\u044c 31 \u0448\u0442\u0443\u043a\u0430.

\u0422\u0440\u0435\u0434: https:\/\/bsd.network\/web\/@gabrielesvelto@mas.to\/115939583283721936<\/a>","text_length":361,"media":{"root":null,"webpage":{"url":"https:\/\/bugzilla.mozilla.org\/show_bug.cgi?id=1896406","type":"article","title":"1896406 - (cpu-bugs) [meta] CPU bugs","site_name":"bugzilla.mozilla.org","display_url":"bugzilla.mozilla.org\/show_bug.cgi?id=1896406","description":"NEW (nobody) in Core - General. Last updated 2025-12-23."}}}]