Forwarded from hirrolot
Пользуясь случем, скину эту статью: https://habr.com/en/post/448240/
Хабр
Магические трансформации типов данных в Rust: Интринсика mem::transmute<T, U>
Введение Язык программирования Rust, невзирая на всеохватывающую идеологию безопасности данных, располагает и небезопасными методиками программирования, ведь по...
Forwarded from Anton Trunov
- t.iss.one/practical_fm
- https://t.iss.one/joinchat/Ai4h2D9SWO8GfISyv-CHsQ
- в чат по Coq могу просто добавить - там нет ссылки
- https://t.iss.one/joinchat/Ai4h2D9SWO8GfISyv-CHsQ
- в чат по Coq могу просто добавить - там нет ссылки
Telegram
Формальные методы верификации ПО на практике
Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. Теги: #работа #phd.
Forwarded from Mike Wazowski
> причем у полей единственное преимущество перед линзами, что человек который не знает про линзы может знать про поля.
Спрашиваю как очень начинающий, где лучше начать узнавать про линзы?
Спрашиваю как очень начинающий, где лучше начать узнавать про линзы?
Forwarded from Yuriy Syrovetskiy
а я наслаждаюсь машинно-учёным дополнением TabNine. гораздо удобнее всяких мудрёных подсказок членов по точке и стрелочке
Forwarded from Kitsu
https://github.com/dabreegster/abstreet
какая милота, однако
какая милота, однако
GitHub
GitHub - a-b-street/abstreet: Transportation planning and traffic simulation software for creating cities friendlier to walking…
Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit - a-b-street/abstreet
Forwarded from hirrolot
Forwarded from Aleksandr Vershilov
case unsafeCoerce# (# (# 1::Int, 2 :: Int #), 3::Int #) of
(# a::Int, (# b::Int, s::Int #) #) -> print (a, b, s)а так ругается, при это очень странно
Forwarded from Aleksandr Vershilov
<no location info>: warning:
In the expression: (ds_s1m3
:: (# Int, Int #) ~R# Int),
ds_d1lW, ds_d1lX)
Unsafe coercion: between values with different # of reps
From: (# Int, Int #)
To: Int
In the expression: (ds_s1m3
cast (UnsafeCo representational (# Int, Int #) Int:: (# Int, Int #) ~R# Int),
ds_d1lW, ds_d1lX)
Unsafe coercion: between values with different # of reps
From: (# Int, Int #)
To: Int