Type Driven Thoughts ?

Description
Thoughts, jokes, articles about software engineering, type systems, sysprog, shiny new languages and of course Rust.

A personal channel of @eadventurous
Advertising
We recommend to visit

Community chat: https://t.me/hamster_kombat_chat_2

Twitter: x.com/hamster_kombat

YouTube: https://www.youtube.com/@HamsterKombat_Official

Bot: https://t.me/hamster_kombat_bot
Game: https://t.me/hamster_kombat_bot/

Last updated 1 Monat, 1 Woche her

Your easy, fun crypto trading app for buying and trading any crypto on the market

Last updated 1 Monat her

Turn your endless taps into a financial tool.
Join @tapswap_bot


Collaboration - @taping_Guru

Last updated 2 Wochen, 2 Tage her

3 months, 1 week ago

c/c++ - memory safety is a skill issue

zig - memory safety is a skill issue

rust - is a skill issue

3 months, 1 week ago

Cursed, but there might be cases where this would be the way

4 months, 4 weeks ago

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?

7 months, 1 week ago
All that's left is to publish …

All that's left is to publish it as a library?

7 months, 4 weeks ago
Type Driven Thoughts ?
9 months, 3 weeks ago

Hey! Happy New Year everybody! I wish you to have lots of inspiration and energy for everything you do next year!

10 months, 3 weeks ago
Многие 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 года в Москве, будет организована онлайн-трансляция. Билеты можно купить на сайте.

10 months, 3 weeks ago

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.

11 months ago

It seems like OCaml will be the next (actually used) language to get a borrow checker - https://blog.janestreet.com/oxidizing-ocaml-ownership/

Jane Street Tech Blog

Oxidizing OCaml: Rust-Style Ownership

OCaml with Jane Street extensions is available from our public opam repo. Only a slice of the features described in this series are currently implemented.

It seems like OCaml will be the next (actually used) language to get a borrow checker -
11 months, 1 week ago
***?***

?

We recommend to visit

Community chat: https://t.me/hamster_kombat_chat_2

Twitter: x.com/hamster_kombat

YouTube: https://www.youtube.com/@HamsterKombat_Official

Bot: https://t.me/hamster_kombat_bot
Game: https://t.me/hamster_kombat_bot/

Last updated 1 Monat, 1 Woche her

Your easy, fun crypto trading app for buying and trading any crypto on the market

Last updated 1 Monat her

Turn your endless taps into a financial tool.
Join @tapswap_bot


Collaboration - @taping_Guru

Last updated 2 Wochen, 2 Tage her