ru
Feedback

НС ΠΏΠΎΠΏΠ°Π΄ΠΈΡ‚Π΅ΡΡŒ Π½Π° ΠΊΠ°Π½Π°Π» Π±ΠΎΡ‚Π°Π²ΠΎΠ΄Π°! Telemetrio Π½Π°Ρ…ΠΎΠ΄ΠΈΡ‚ ΠΈ ΠΏΠΎΠΌΠ΅Ρ‡Π°Π΅Ρ‚ Ρ‚Π°ΠΊΠΈΠ΅ ΠΊΠ°Π½Π°Π»Ρ‹ πŸ‘‰ Π₯ΠΎΡ‚ΠΈΡ‚Π΅ Π²ΠΈΠ΄Π΅Ρ‚ΡŒ ΠΌΠ΅Ρ‚ΠΊΡƒ β€” ΠΎΡ„ΠΎΡ€ΠΌΠΈΡ‚Π΅ подписку

Type Driven Thoughts πŸ¦€

Type Driven Thoughts πŸ¦€

ΠžΡ‚ΠΊΡ€Ρ‹Ρ‚ΡŒ Π² Telegram

Thoughts, jokes, articles about software engineering, type systems, sysprog, shiny new languages and of course Rust. A personal channel of @eadventurous

Π‘ΠΎΠ»ΡŒΡˆΠ΅
218
ΠŸΠΎΠ΄ΠΏΠΈΡΡ‡ΠΈΠΊΠΈ
НСт Π΄Π°Π½Π½Ρ‹Ρ…24 часа
НСт Π΄Π°Π½Π½Ρ‹Ρ…7 Π΄Π½Π΅ΠΉ
+230 Π΄Π½Π΅ΠΉ

Π—Π°Π³Ρ€ΡƒΠΆΠ°Π΅ΠΌ Π΄Π°Π½Π½Ρ‹Π΅

ΠŸΠΎΡ…ΠΎΠΆΠΈΠ΅ ΠΊΠ°Π½Π°Π»Ρ‹
НСт Π΄Π°Π½Π½Ρ‹Ρ…
Π’ΠΎΠ·Π½ΠΈΠΊΠ»ΠΈ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΡ‹? ΠŸΠΎΠΆΠ°Π»ΡƒΠΉΡΡ‚Π°, ΠΎΠ±Π½ΠΎΠ²ΠΈΡ‚Π΅ страницу ΠΈΠ»ΠΈ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΡ‚Π΅ΡΡŒ ΠΊ Π½Π°ΡˆΠ΅ΠΌΡƒ support-ΠΌΠ΅Π½Π΅Π΄ΠΆΠ΅Ρ€Ρƒ .
Облако Ρ‚Π΅Π³ΠΎΠ²
НСт Π΄Π°Π½Π½Ρ‹Ρ…
Π’ΠΎΠ·Π½ΠΈΠΊΠ»ΠΈ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΡ‹? ΠŸΠΎΠΆΠ°Π»ΡƒΠΉΡΡ‚Π°, ΠΎΠ±Π½ΠΎΠ²ΠΈΡ‚Π΅ страницу ΠΈΠ»ΠΈ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΡ‚Π΅ΡΡŒ ΠΊ Π½Π°ΡˆΠ΅ΠΌΡƒ support-ΠΌΠ΅Π½Π΅Π΄ΠΆΠ΅Ρ€Ρƒ .
ВходящиС ΠΈ исходящиС упоминания
---
---
---
---
---
---
ΠŸΡ€ΠΈΠ²Π»Π΅Ρ‡Π΅Π½ΠΈΠ΅ подписчиков
нояб. '26
Π½ΠΎΡΠ±Ρ€ΡŒ '26
+1
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
ΠΎΠΊΡ‚ΡΠ±Ρ€ΡŒ '26
+12
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΡΠ΅Π½Ρ‚ΡΠ±Ρ€ΡŒ '260
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
август '260
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
июль '260
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
июнь '260
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΠΌΠ°ΠΉ '260
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Π°ΠΏΡ€Π΅Π»ΡŒ '260
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΠΌΠ°Ρ€Ρ‚ '260
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Ρ„Π΅Π²Ρ€Π°Π»ΡŒ '260
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΡΠ½Π²Π°Ρ€ΡŒ '260
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Π΄Π΅ΠΊΠ°Π±Ρ€ΡŒ '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Π½ΠΎΡΠ±Ρ€ΡŒ '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΠΎΠΊΡ‚ΡΠ±Ρ€ΡŒ '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΡΠ΅Π½Ρ‚ΡΠ±Ρ€ΡŒ '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
август '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
июль '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
июнь '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΠΌΠ°ΠΉ '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Π°ΠΏΡ€Π΅Π»ΡŒ '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΠΌΠ°Ρ€Ρ‚ '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Ρ„Π΅Π²Ρ€Π°Π»ΡŒ '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΡΠ½Π²Π°Ρ€ΡŒ '250
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Π΄Π΅ΠΊΠ°Π±Ρ€ΡŒ '240
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Π½ΠΎΡΠ±Ρ€ΡŒ '240
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΠΎΠΊΡ‚ΡΠ±Ρ€ΡŒ '240
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΡΠ΅Π½Ρ‚ΡΠ±Ρ€ΡŒ '240
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
август '240
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
июль '24
+10
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
июнь '24
+17
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΠΌΠ°ΠΉ '240
Π² 1 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Π°ΠΏΡ€Π΅Π»ΡŒ '24
+5
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
ΠΌΠ°Ρ€Ρ‚ '240
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Get PRO
Ρ„Π΅Π²Ρ€Π°Π»ΡŒ '24
+178
Π² 0 ΠΊΠ°Π½Π°Π»Π°Ρ…
Π”Π°Ρ‚Π°
ΠŸΡ€ΠΈΠ²Π»Π΅Ρ‡Π΅Π½ΠΈΠ΅ подписчиков
Упоминания
ΠšΠ°Π½Π°Π»Ρ‹
08 ноября0
07 ноября0
06 ноября0
05 ноября+1
04 ноября0
03 ноября0
02 ноября0
01 ноября0
ΠŸΠΎΡΡ‚Ρ‹ ΠΊΠ°Π½Π°Π»Π°
The Postgres 19 release will have half as many features. And this is a common trend - with AI review a lot of bugs are found upfront and it takes a huge effort to fix them. Ordinarily this would happen later already after the release. But now with AI assisted fuzzing and adversarial review it happens at merge time. I also do notice this trend in my work on Greenplum. https://peter.eisentraut.org/blog/2026/10/09/the-reverts-will-continue-until-morale-improves

2
Well it took a while for me to return to this blog. But I do return with some good news. While starting as quite sceptical of AIs, now I am fascinated with the number of tools I can vibe code in a night/week/etc. And those are quite specific tools that I've been missing in my flow for some time. The first one that I decided to give a go is slidez. A CLI tool to generate pdf slide decks from a simple human readable language. No browser, node, or anything like that needed. Plain python under 1k lines of code. Most of you who know me personally, know that I do give talks from time to time and it was always a pain for me to use Google Slides, I tried some JS tools like reveal.js or their hackmd hosted service, but ultimately using a browser and HTML to build a simple slide deck doesn't sit well with me. So here it is a simple CLI for slides. Hope some of you will find it useful!
239
3
c/c++ - memory safety is a skill issue zig - memory safety is a skill issue rust - is a skill issue
137
4
match match is legal and can be occasionally useful - playground - real-world example from rust-analyzer - people even do if
match match is legal and can be occasionally useful - playground - real-world example from rust-analyzer - people even do if if sometimes thanks to @LennyLizowzskiy for suggesting this!
140
5
Cursed, but there might be cases where this would be the way
151
6
Professional YAML developer
Professional YAML developer
281
7
ΠŸΡ€ΠΈΠ²Π΅Ρ‚, Ρ‡Π°Ρ‚! πŸ–– Π“ΠΎΡ‚ΠΎΠ²Ρ‹ ΡƒΠ·Π½Π°Ρ‚ΡŒ ΠΎ всСх ΠΏΠ»ΡŽΡΠ°Ρ… ΠΈ минусах Rust? ΠŸΡ€ΠΈΠ³Π»Π°ΡˆΠ°Π΅ΠΌ вас Π½Π° ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚Ρ‹ΠΉ ΡƒΡ€ΠΎΠΊ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΏΡ€ΠΎΠ²Π΅Π΄Π΅Ρ‚ Π•Π³ΠΎΡ€ Ивков, Π²Π΅Π΄
ΠŸΡ€ΠΈΠ²Π΅Ρ‚, Ρ‡Π°Ρ‚! πŸ–– Π“ΠΎΡ‚ΠΎΠ²Ρ‹ ΡƒΠ·Π½Π°Ρ‚ΡŒ ΠΎ всСх ΠΏΠ»ΡŽΡΠ°Ρ… ΠΈ минусах Rust? ΠŸΡ€ΠΈΠ³Π»Π°ΡˆΠ°Π΅ΠΌ вас Π½Π° ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚Ρ‹ΠΉ ΡƒΡ€ΠΎΠΊ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΏΡ€ΠΎΠ²Π΅Π΄Π΅Ρ‚ Π•Π³ΠΎΡ€ Ивков, Π²Π΅Π΄ΡƒΡ‰ΠΈΠΉ Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊ Π² Picodata ΠΈ наставник нашСго курса Rust πŸ“… Когда? Π’Ρ‚ΠΎΡ€Π½ΠΈΠΊ, 28 мая Π² 19:00 ΠΏΠΎ МосквС Π§Ρ‚ΠΎ Π±ΡƒΠ΄Π΅Ρ‚ Π½Π° ΡƒΡ€ΠΎΠΊΠ΅? 1. Π’Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π² Rust: ΠΊΡ€Π°Ρ‚ΠΊΠΈΠΉ ΠΎΠ±Π·ΠΎΡ€ языка ΠΈ Π΅Π³ΠΎ основных особСнностСй, прСимущСства использования Rust ΠΈ трудности ΠΏΡ€ΠΈ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π΅ 2. ΠŸΡ€ΠΎΠ±Π»Π΅ΠΌΡ‹, с ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌΠΈ ΠΌΠΎΠ³ΡƒΡ‚ ΡΡ‚ΠΎΠ»ΠΊΠ½ΡƒΡ‚ΡŒΡΡ Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΠΈ, пСрСходящиС с Π΄Ρ€ΡƒΠ³ΠΈΡ… языков: ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ Ρ‚ΠΈΠΏΠΈΡ‡Π½Ρ‹Ρ… ошибок ΠΈ способов ΠΈΡ… Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ. 3. Π£Π½ΠΈΠΊΠ°Π»ΡŒΠ½Ρ‹Π΅ возмоТности ΠΈ прСимущСства : ΠΊΠ°ΠΊ Rust ΠΏΠΎΠΌΠΎΠ³Π°Π΅Ρ‚ ΡƒΠ»ΡƒΡ‡ΡˆΠΈΡ‚ΡŒ качСство ΠΊΠΎΠ΄Π° ΠΈ ΠΏΠΎΠ²Ρ‹ΡΠΈΡ‚ΡŒ ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ΄ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ.ΠŸΠΎΡ‡Π΅ΠΌΡƒ Rust стоит Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ Π² качСствС основного языка программирования? 4. Π Π΅Π°Π»ΡŒΠ½Ρ‹Π΅ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ ΡƒΡΠΏΠ΅ΡˆΠ½Ρ‹Ρ… ΠΏΡ€ΠΎΠ΅ΠΊΡ‚ΠΎΠ² Π½Π° Rust: посмотрим Π½Π° Ρ€Π΅Π°Π»ΡŒΠ½Ρ‹Π΅ ΠΏΡ€ΠΎΠ΅ΠΊΡ‚Ρ‹, обсудим ΠΎΡ‚Π·Ρ‹Π²Ρ‹ ΠΈ ΠΎΡ†Π΅Π½ΠΈΠΌ пСрспСктиву Π½Π° Π΄ΠΎΠ»Π³ΠΈΠΉ срок Rust Π² индустрии πŸ“–Π”ΠΎΠ±Π°Π²ΡŒ Π½Π°ΠΏΠΎΠΌΠΈΠ½Π°Π½ΠΈΠ΅ Π² свой Google-ΠΊΠ°Π»Π΅Π½Π΄Π°Ρ€ΡŒ РСгистрация Π½Π° ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚Ρ‹ΠΉ ΡƒΡ€ΠΎΠΊ – https://inzhenerka.tech/open_web
289
8
I am doing a welcome lecture about Rust upsides and downsides for this awesome platform inzhenerka.tech So if you are just getting started with Rust, it might interest youπŸ˜‰
238
9
All that's left is to publish it as a library😎
All that's left is to publish it as a library😎
628
10
НСт тСкста...
547
11
Hey! Happy New Year everybody! I wish you to have lots of inspiration and energy for everything you do next year!
592
12
МногиС rust-Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΠΈ ΡƒΠΆΠ΅ ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠΏΡ‹Ρ‚ Ρ€Π°Π±ΠΎΡ‚Ρ‹ с асинком ΠΈΠ»ΠΈ ΠΊΠ°ΠΊ ΠΌΠΈΠ½ΠΈΠΌΡƒΠΌ Ρ‡ΠΈΡ‚Π°Π»ΠΈ асинхронный ΠΊΠΎΠ΄. Но практичСски всСгда исполь
МногиС rust-Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΠΈ ΡƒΠΆΠ΅ ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠΏΡ‹Ρ‚ Ρ€Π°Π±ΠΎΡ‚Ρ‹ с асинком ΠΈΠ»ΠΈ ΠΊΠ°ΠΊ ΠΌΠΈΠ½ΠΈΠΌΡƒΠΌ Ρ‡ΠΈΡ‚Π°Π»ΠΈ асинхронный ΠΊΠΎΠ΄. Но практичСски всСгда ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Π³ΠΎΡ‚ΠΎΠ²Ρ‹ΠΉ Ρ€Π°Π½Ρ‚Π°ΠΉΠΌ, Ρ‡Π°Ρ‰Π΅ всСго tokio. Π’Π΅Π΄ΡƒΡ‰ΠΈΠΉ Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊ Picodata Π•Π³ΠΎΡ€ Ивков расскаТСт, ΠΊΠ°ΠΊ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΎΡΡŒ, Ρ‡Ρ‚ΠΎ ΠΈΠΌ ΠΏΡ€ΠΈΡˆΠ»ΠΎΡΡŒ ΠΏΠΈΡΠ°Ρ‚ΡŒ собствСнный асинк Ρ€Π°Π½Ρ‚Π°ΠΉΠΌ ΠΈ Π½Π°Π±ΠΎΡ€ ΠΏΡ€ΠΈΠΌΠΈΡ‚ΠΈΠ²ΠΎΠ² для Ρ€Π°Π±ΠΎΡ‚Ρ‹ с Π½ΠΈΠΌ. И ΠΊΠ°ΠΊ этот Ρ€Π°Π½Ρ‚Π°ΠΉΠΌ оказался построСн ΠΏΠΎΠ²Π΅Ρ€Ρ… ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π½ΠΎ Π΄Ρ€ΡƒΠ³ΠΎΠΉ ΠΊΠΎΠ½Ρ†Π΅ΠΏΡ†ΠΈΠΈ многозадачности β€” Ρ„Π°ΠΉΠ±Π΅Ρ€ΠΎΠ². ΠŸΡ€ΠΈΡ…ΠΎΠ΄ΠΈΡ‚Π΅ 1 дСкабря Π½Π° RustCon 2023, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΡƒΡΠ»Ρ‹ΡˆΠ°Ρ‚ΡŒ Π΅Π³ΠΎ Π΄ΠΎΠΊΠ»Π°Π΄ Β«Case study: Rust Async on Top of Fibers (Bringing 2 concurrency patterns together)Β». Π•Π³ΠΎΡ€ Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠΏΡ‹Ρ‚Π½Ρ‹ΠΉ Rust-Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊ, Π½ΠΎ ΠΈ ΠΎΠΏΡ‹Ρ‚Π½Ρ‹ΠΉ спикСр: Π² 2022 Π³ΠΎΠ΄Ρƒ ΠΎΠ½ ΡƒΠΆΠ΅ выступал Π½Π° RustCon с Π΄ΠΎΠΊΠ»Π°Π΄ΠΎΠΌ. Π’Π°ΠΊ Ρ‡Ρ‚ΠΎ Π±ΡƒΠ΄Π΅Ρ‚ Π²Π΄Π²ΠΎΠΉΠ½Π΅ интСрСсно ΠΏΠΎΠ±Ρ‹Π²Π°Ρ‚ΡŒ Π½Π° Π΅Π³ΠΎ Π½ΠΎΠ²ΠΎΠΌ выступлСнии. ΠšΠΎΠ½Ρ„Π΅Ρ€Π΅Π½Ρ†ΠΈΡ RustCon состоится 1 дСкабря 2023 Π³ΠΎΠ΄Π° Π² МосквС, Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΡ€Π³Π°Π½ΠΈΠ·ΠΎΠ²Π°Π½Π° ΠΎΠ½Π»Π°ΠΉΠ½-трансляция. Π‘ΠΈΠ»Π΅Ρ‚Ρ‹ ΠΌΠΎΠΆΠ½ΠΎ ΠΊΡƒΠΏΠΈΡ‚ΡŒ Π½Π° сайтС.
701
13
I will be speaking at RustCon Moscow this Friday. So I am looking forward to meeting you there! The conference will be also streamed online, though you'll still have to acquire a ticket to join the stream.
439
14
It seems like OCaml will be the next (actually used) language to get a borrow checker - https://blog.janestreet.com/oxidizing-ocaml-ownership/
557
15
😒
😒
634
16
As far as I remember you could previously install the rust compiler package via apt but obviously it was a fixed version and
As far as I remember you could previously install the rust compiler package via apt but obviously it was a fixed version and it caused some pain. Now it's much better
566
17
#justrusteceanthings https://fosstodon.org/@janet/111223564960983226
#justrusteceanthings https://fosstodon.org/@janet/111223564960983226
504
18
НСт тСкста...
1 390
19
Why Static Typing Came Back TL;DR - Static Typing was a pain to use in 1990s and you still got type errors at runtime - At that time the Web came to the scene and with it the need to ship and iterate faster - The Internet speed was a lot slower back then, and so the obvious lack of runtime speed of dynamic languages didn't matter - But everything changed in 2010s. The compilers and type checkers became a lot faster and friendlier. The statically typed languages became less verbose and "ceremonial". - And now we are in an age of statically typed languages with even more of them in active development.
562
20
НСт тСкста...
494