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 روز
در حال بارگذاری داده‌ها
کانال‌های مشابه
هیچ داده‌ای
مشکلی وجود دارد؟ لطفاً صفحه را تازه کنید یا با مدیر پشتیبانی ما تماس بگیرید.
ابر برچسب‌ها
هیچ داده‌ای
مشکلی وجود دارد؟ لطفاً صفحه را تازه کنید یا با مدیر پشتیبانی ما تماس بگیرید.
اشارات ورودی و خروجی
---
---
---
---
---
---
جذب مشترکین
نوامبر '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 |
