Человек разбирающийся в зав типах сказал что вот это лучший способ вкатица
https://softwarefoundations.cis.upenn.edu/
Выглядит как куча бесплатных книжек
Coq

Я обычно для быстрых проверок пользуюсь официальной песочницей (онлайн компилятор): https://play.rust-lang.org

Но в нём нет возможности указать зависимости :(

Поэтому был рад, когда нашёл Rust Explorer, который позволяет их указывать, например: https://www.rustexplorer.com/b/q76rqj

#Rust #TIL

вот скажите честно:

кого-то из вас, хоть на йоту, такая подводка могла бы заинтересовать, чтобы реально зайти в какой-то мутный тг канал из спам (?) рассылки?

этот текст, вообще способен кого-то заинтересовать?

вообще, читая ответы, я понял, что вопрос задан манипулятивно: с такой подводкой, ответить "да" мог бы только сильный и волевой человек, не боящийся социального осуждения

из этого я делаю два вывода:
1) я всегда смогу найти работу составителя соц. опросов
2) нужно явно выделить человека, который смог поделиться своей правдивой историей:

Да, благодаря каналу @podzalupnyhomyak я смог зарабатывать по 10000₽ в день не отрываясь от видосов с котиками.
Еще раз, канал @podzalupnyhomyak это реальная тема. Врывайся и зарабатывай вместе с нами!

У меня дед перешел по такой ссылке и умер. Будьте осторожны.

ФБР опубликовало бумагу, в которой говорится, что они не смогли найти, а также опровергнуть существование Сатоши Никамото.
«Мы не знаем, кто он и был ли он».
😎

https://www.phoronix.com/news/Red-Hat-Ramalama

👤 shadowchain

LKML: Linus Torvalds: Re: [PATCH v9 12/27] rust: add kernel crate
https://lkml.org/lkml/2022/9/19/1105#1105.php

интересное письмо

Rust Project goals for 2024 | Rust Blog
https://blog.rust-lang.org/2024/08/12/Project-goals.html

Здорово!

Выделил для себя всё связанное с async:
- Скоро будет 2024 Edition: небольшие (но долгожданные изменения) изменения синтаксиса
- Улучшения async (жду не меньше!): упрощение написания async кода

#Rust

Иногда нужно построить универсальный линейный график в реальном времени. Тоесть мы даём юзеру интерфейс, который что-то показывает, причём что будет показывать юзер - мы заранее не знаем. При этом интерфейс должен быть вменяемым и понятным.

Думал о нескольких вариантах решения этой проблемы, пока не вспомнил про scope в Matlab.

В Mathworks когда-то давно решили не париться и просто скопировали стандартный интерфейс осциллографа. И народу это зашло на столько, что он не меняется уже десятилетиями. Как, собственно, и в самих осциллографах.

Иногда сложное - это просто.

Updated /ExposedCat/dotfiles

https://www.youtube.com/watch?v=VzD53c4UoBM

Моё первое ASMR видео, досмотренное до конца

Значится, что у меня сейчас вообще на руках:
- RPI Pico (версия от wondershare с большим обьёмом ПЗУ)
- Простенький SPI дисплейчик
Заказал с arduino.ua всякой фигни, бредборду, коннекторы, кнопочки хуёпочки, индикаторы разные.
Пока хочу вообще запустить FreeRTOS, посмотреть как она работает, и запустить интерпретатор луа.

Как придёт ЗП, закажу eINK дисплей, мой взор пока пал на этот.
Тут нормальный размер, сразу распаянный SPI, 4 уровня серого и главное адекватная документация