Enabling the next iteration of the borrow checker on nightly | Rust Blog
https://blog.rust-lang.org/2026/08/04/enabling-polonius-alpha-on-nightly/
https://blog.rust-lang.org/2026/08/04/enabling-polonius-alpha-on-nightly/
blog.rust-lang.org
Enabling the next iteration of the borrow checker on nightly | Rust Blog
Empowering everyone to build reliable and efficient software.
Forwarded from Полезняшки от "Разбора Полетов"
Asynchronous I/O in DuckDB: Work, Thread, Work
В DuckDB планируется внедрение асинхронного чтения файлов Parquet и CSV в версии 2.0 (осень 2026 года), что позволит ускорить запросы за счёт более эффективного использования пропускной способности, а также исследуется влияние размера групп строк и асинхронного ввода-вывода на время выполнения запросов.
https://duckdb.org/2026/07/31/asynchronous-io.html
В DuckDB планируется внедрение асинхронного чтения файлов Parquet и CSV в версии 2.0 (осень 2026 года), что позволит ускорить запросы за счёт более эффективного использования пропускной способности, а также исследуется влияние размера групп строк и асинхронного ввода-вывода на время выполнения запросов.
https://duckdb.org/2026/07/31/asynchronous-io.html
DuckDB
Asynchronous I/O in DuckDB: Work, Thread, Work
Starting with v2.0, scheduled for fall 2026, DuckDB will support asynchronous reads of Parquet and CSV files. This can significantly speed up queries when synchronous I/O does not saturate the available bandwidth, as is typical in EC2/S3 compute-storage setups.
Неплохо так AI слопа наваливает
https://github.blog/news-insights/company-news/the-august-17-outage-and-the-work-ahead/
https://github.blog/news-insights/company-news/the-august-17-outage-and-the-work-ahead/
🎉3
Forwarded from Grzegorz Brzęczyszczykiewicz
Кто ещё тот выпуск не досмотрел? Можете и не досматривать. Подвезли апдейт: https://youtu.be/NYFGCESmikA
YouTube
DHH: Future of Programming, AI, Agentic Engineering, Vibe Coding & Linux | Lex Fridman Podcast #501
DHH is the creator of Ruby on Rails, Omarchy Linux, CTO of 37signals, and a racecar driver.
Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep501-sb
See below for timestamps, transcript, and to give feedback, submit questions…
Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep501-sb
See below for timestamps, transcript, and to give feedback, submit questions…
Forwarded from Полезняшки от "Разбора Полетов"
Specifications Don't Exist
Формальная верификация систем возможна и полезна, но написание чётких и согласованных формальных спецификаций для большинства систем чрезвычайно сложно из-за их сложности, постепенного развития и отсутствия единого представления о том, каким должно быть их поведение; при этом неформальные спецификации широко используются, но они неполны и неоднозначны.
https://www.galois.com/articles/specifications-dont-exist
Формальная верификация систем возможна и полезна, но написание чётких и согласованных формальных спецификаций для большинства систем чрезвычайно сложно из-за их сложности, постепенного развития и отсутствия единого представления о том, каким должно быть их поведение; при этом неформальные спецификации широко используются, но они неполны и неоднозначны.
https://www.galois.com/articles/specifications-dont-exist
Forwarded from Architecture Weekly
DNS Cache Memory Optimization 👷♂️
Whoever tells you data structures don’t matter in the age of AI - ban them. Cloudflare manages to save hundreds of terabytes of memory across the glove doing small optimizations to the ways DNS cache records are stored with the knowledge of how Rust store data and dropping dns owners when they are identical. Brilliant engineering work.
#dns #performance
Whoever tells you data structures don’t matter in the age of AI - ban them. Cloudflare manages to save hundreds of terabytes of memory across the glove doing small optimizations to the ways DNS cache records are stored with the knowledge of how Rust store data and dropping dns owners when they are identical. Brilliant engineering work.
#dns #performance
Cloudflare Blog
How we saved 100 terabytes of memory by optimizing 1.1.1.1’s DNS cache
Five Rust-level memory optimizations to the DNS cache layout of Big Pineapple cut per-entry memory by 56%, freeing approximately 100 TB of memory across Cloudflare's fleet.
Forwarded from Zvyčajny😋
нарэшце дайшлі рукі да плянаванага неалькі гадоў перапісаньня тарашкевізатара на раст
Хуткасьць павялічылася
- 30мб кусок вікіпэдыі праз камандны радок: 8-10с -> 1.3-1.7с
- 10мб кусок вікіпэдыі праз сайт: 13с -> 1c
Але пры выкарыстаньні на малых тэкстах праз джаваскрыпт WASM модуль (сайт яго выкарыстоўвае), можа быць павальней у 2-3 разы, але затрымкі не заўважныя
Пачатковае перапісваньне дало x2 паляпшэньне хуткасьці
далейшыя аптымізацыі яшчэ дадатковыя x3:
- ручная апрацоўка тэксту замест рэгулярных выразаў
- групіроўка некалькіх рэгулярных выразаў у 1
А таксама перапрацаваны альгарытм падсьветкі зьменаў, стаў больш дакладна паказваць
У працэсе перапісваньня тэж выкрылася некалькі невялічкіх багаў (у некаторых спэцыфічных месцах мяккія знакі не дадаваліся) якія былі выпраўлены
для ўжываньня праз камандны радок можна ўсталяваць як па старому праз
Хуткасьць павялічылася
- 30мб кусок вікіпэдыі праз камандны радок: 8-10с -> 1.3-1.7с
- 10мб кусок вікіпэдыі праз сайт: 13с -> 1c
Але пры выкарыстаньні на малых тэкстах праз джаваскрыпт WASM модуль (сайт яго выкарыстоўвае), можа быць павальней у 2-3 разы, але затрымкі не заўважныя
Пачатковае перапісваньне дало x2 паляпшэньне хуткасьці
далейшыя аптымізацыі яшчэ дадатковыя x3:
- ручная апрацоўка тэксту замест рэгулярных выразаў
- групіроўка некалькіх рэгулярных выразаў у 1
А таксама перапрацаваны альгарытм падсьветкі зьменаў, стаў больш дакладна паказваць
У працэсе перапісваньня тэж выкрылася некалькі невялічкіх багаў (у некаторых спэцыфічных месцах мяккія знакі не дадаваліся) якія былі выпраўлены
для ўжываньня праз камандны радок можна ўсталяваць як па старому праз
npm install -g taraskevizer, так і з рэлізаў, потым пляную тэж дадаць на crates.io як раст лібуForwarded from Artjom Kalita
https://blog.jetbrains.com/ai/2026/07/ponytail-skill-claude-tested/ полезно к этой статье почитать вот это
The JetBrains Blog
Ponytail Skill for Claude Code: Does It Really Cut Tokens
Part 3 of a series where we take public "token saver" add-ons for coding agents and run the same paired A/B benchmark against each of them. Part 1 was the caveman skill (advertised −65%, measured −8.5
❤1👍1
Forwarded from Architecture Weekly
Introducing TIN for PostgreSQL 🤟
PlanetScale just introduced a new type of the full text search index, which they claim to be blazingly fast. While the traditional engines like Lucene use the artificial document ids; doing a native full text search to Postgres allows to use ctid - physical tuple id, which claimed to significantly improve performance. Not without problems though: follow the article for the details.
#db #performance
PlanetScale just introduced a new type of the full text search index, which they claim to be blazingly fast. While the traditional engines like Lucene use the artificial document ids; doing a native full text search to Postgres allows to use ctid - physical tuple id, which claimed to significantly improve performance. Not without problems though: follow the article for the details.
#db #performance
Planetscale
Introducing TIN: full-text search for Postgres — PlanetScale
TIN is a fast, full-featured, full-text search index for Postgres
Forwarded from Grzegorz Brzęczyszczykiewicz
GitHub
GitHub - KingKongRobotics/jumper: 🦀 Jumper — an crab robot.
🦀 Jumper — an crab robot. Contribute to KingKongRobotics/jumper development by creating an account on GitHub.