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
Π½ΠΎΡΠ±ΡΡ '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 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 | 281 |
| 7 | ΠΡΠΈΠ²Π΅Ρ, ΡΠ°Ρ! π
ΠΠΎΡΠΎΠ²Ρ ΡΠ·Π½Π°ΡΡ ΠΎ Π²ΡΠ΅Ρ
ΠΏΠ»ΡΡΠ°Ρ
ΠΈ ΠΌΠΈΠ½ΡΡΠ°Ρ
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π | 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-ΡΠ°Π·ΡΠ°Π±ΠΎΡΡΠΈΠΊΠΈ ΡΠΆΠ΅ ΠΈΠΌΠ΅ΡΡ ΠΎΠΏΡΡ ΡΠ°Π±ΠΎΡΡ Ρ Π°ΡΠΈΠ½ΠΊΠΎΠΌ ΠΈΠ»ΠΈ ΠΊΠ°ΠΊ ΠΌΠΈΠ½ΠΈΠΌΡΠΌ ΡΠΈΡΠ°Π»ΠΈ Π°ΡΠΈΠ½Ρ
ΡΠΎΠ½Π½ΡΠΉ ΠΊΠΎΠ΄. ΠΠΎ ΠΏΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈ Π²ΡΠ΅Π³Π΄Π° ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΡΡΡ Π³ΠΎΡΠΎΠ²ΡΠΉ ΡΠ°Π½ΡΠ°ΠΉΠΌ, ΡΠ°ΡΠ΅ Π²ΡΠ΅Π³ΠΎ 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 it caused some pain. Now it's much better | 566 |
| 17 | #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 |
