Size: a a a

2020 May 20
oleg_log
источник
oleg_log
Уже не 1й раз вижу баг Телеги, когда форвард аудиозаписи идёт как "новый пост", а не "форвард".

Хотя, если так повспоминать, то оно всегда так форвардило, просто неоч удобно, когда это подкаст :(

В общем отсюда брал https://t.me/generictalks/104
источник
oleg_log
#prog #rust #article

Обзор инструментов для верификации кода на Rust.

alastairreid.github.io/rust-verification-tools
источник
oleg_log
Nerd alert, если увлекаетесь судоку или другими головолоамками, то советую глянуть, в начале послушать, а потом на 2х залипать.

Забавно то, что в 2012(?) на одной олимпиаде нам надо было генерировать судоку, там были доп. ограничения, и на похожий паттерн нам пришлось наткнуться.

Чую, что я сейчас залипну на ютюбе в рекомендациях к этому видосу. К таким рекомендациям я не был готов.

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

HN https://news.ycombinator.com/item?id=23219360
источник
2020 May 21
oleg_log
источник
oleg_log
источник
oleg_log
BATYA вернулся

На самом деле это очень круто, тут тебе и вставка binary данных, и nullptr, особенно безымянные параметры нравятся, и может быть defer. Круто.

https://habr.com/ru/company/badoo/blog/503140
источник
2020 May 22
oleg_log
Ну всё, не попить теперь чаёк без ощущения медленного самоуничтожения.

А канал приятный и полезный (+ оформление)
> Fancy facts from recent research, science
источник
oleg_log
Previous studies have reported an association between hot tea drinking and risk of esophageal cancer, but no study has examined this association using prospectively and objectively measured tea drinking temperature. Here it was examined the association of tea drinking temperature, measured both objectively and subjectively at study baseline, with future risk of esophageal squamous cell carcinoma (ESCC) in a prospective study.

The results of this study substantially strengthen the existing evidence supporting an association between hot beverage drinking and ESCC.

https://doi.org/10.1002/ijc.32220

#scihype #science #nutrition #tea #teadrinking #cancer #cancerrisk
источник
oleg_log
Тут вышел еще один трейлер TENET, очередной мозговыноситель от Нолана. Но я не сколько про фильм поговорить, сколько пошутить, что Нолан в Braid поиграл (больше говорить не буду, чтобы меня не заклевали за спойлеры).

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

А тут какой-то обзор-пояснения (не смотрел) https://www.youtube.com/watch?v=KHDIdfJxQFI
источник
oleg_log
(вроде не постил)

https://twitter.com/houlihan_rick/status/1260321320719564800

В догонку статья про сокращение размера BSON в Mongo https://richardstartin.github.io/posts/shrinking-bson-documents
источник
2020 May 23
oleg_log
источник
oleg_log
Все забывал упомянуть 1 статью из доклада: Bitsquatting: DNS Hijacking without exploitation.

В чем идея? По сети летает много пакетов, если мы зарегаем домен, который на 1 бит отличается от чего-то популярного (cnn.com => con.com), то к нам придёт трафик. А почему? а вот как раз из-за bit-flips.

Считайте это фишшингом, только на уровне битов, а не байтов. Наверное не самый удачный способ развести юзеров, но идея действительно классная.

http://dinaburg.org/bitsquatting.html и там еще по ссылкам можно разное найти.
источник
oleg_log
Re: Ask HN: What startup/technology is on your 'to wat...
       
Self-driving cars. Now that the hype is over and the fake-it-til-you-make-it crowd has tanked, there's progress. Slowly, the LIDARs get cheaper, the radars get more resolution, and the software improves.

UE5's rendering approach. They finally figured out how to use the GPU to do level of detail. Games can now climb out of the Uncanny Valley.

The Playstation 5. 8 CPUs at 3.2GHz each, 24GB of RAM, 14 teraflops of GPU, and a big solid state disk. That's a lot of compute engine for $400. Somebody will probably make supercomputers out of rooms full of those.

C++ getting serious about safety. Buffer overflows and bad pointers should have been eliminated decades ago. We've known how for a long time.

Electric cars taking over. The Ford F-150 and the Jeep Wrangler are coming out in all-electric forms. That covers much of the macho market. And the electrics will out-accelerate the gas cars without even trying hard.

Utility scale battery storage. It works and is getting cheaper. Wind plus storage plus megavolt DC transmission, and you can generate power in the US's wind belt (the Texas panhandle north to Canada) and transmit it to the entire US west of the Mississippi.
       
Animats, 13 hours ago
источник
2020 May 24
oleg_log
The Chromium project finds that around 70% of our serious security bugs are memory safety problems. Our next major project is to prevent such bugs at source.

https://www.chromium.org/Home/chromium-security/memory-safety
источник
oleg_log
Обновляем CVшечки, работа на Rust скоро приедет
источник
2020 May 25
oleg_log
Время идёт, а эти видосы все так же доставляют. Добавлю еще https://www.youtube.com/watch?v=FdINnN0Xtm4
источник
oleg_log
источник
oleg_log
я не знаю, стоит наверное поделиться, что тут вообще происходит и почему я ору
1. https://youtu.be/mqAf5lOJZew
источник
oleg_log
источник