Чел пытался привести пример алгоритма сортировки, который не работает. В нём два странных места, и так получилось, что они нивелируют друг друга, и сортировка действительно корректно работает. Безумие и красота! Назвали алгоритм "ICan’tBelieveItCanSort".
#talk #sorting #algorithm
#talk #sorting #algorithm
YouTube
The sorting algorithm that shouldn’t.
Click this link https://boot.dev/?promo=STANDUPMATHS and use my code STANDUPMATHS to get 25% off your first payment for boot.dev
Stanley P. Y. Fung’s original paper can be found here:
https://arxiv.org/pdf/2110.01111
Along with an addendum to paper answering…
Stanley P. Y. Fung’s original paper can be found here:
https://arxiv.org/pdf/2110.01111
Along with an addendum to paper answering…
😁2
Прикольный обзорный доклад, на что вообще способны системы типов в разных менее популярных или совсем академических ЯП. И IO в сигнатуре функции (наверное самый известный пример), и ограничения на размеры коллекций / значения чисел, и последовательность операций в канале коммуникации между конкурентными воркерами - куча всего крутого короче.
#talk #type #language
#talk #type #language
WeAreDevelopers
Type Systems You Might Not Know (But Will Love)
Stop limiting your code to the static-versus-dynamic binary. Discover five advanced type paradigms that systematically eliminate entire classes of runtime bugs before your software ever runs.
👍2❤1🔥1
Опять оффтоп: Папуа - Новая Гвинея. Как так получилось, что только в 1930 обнаружили ~миллион человек, которые жили в горах без контакта с внешним миром где-то 10000 лет, и какое безумие там происходит по сей день (перестрелки на луках между враждующими племенами в столице, например). Очень круто!
#history
#history
Substack
why I can't stop thinking about Papua New Guinea and what I think everyone should know about it
When you talk about Papua New Guinea, people may say, oh, is that the place where:
🔥1
Просто ебейший доклад: дед (76 лет между прочим) на невероятной энергии рассказывает, как 40 лет назад обнаружил хакера в сети Беркли. Хакер искал данные про военку и ядерку. Выслеживать нарушителя деду пришлось самому, не имея ни знаний, ни ресурсов. На ходу пришлось изобретать все те техники, про которые сейчас каждый безопасник знает. В итоге удалось привлечь "взрослых" и поймать группу из 5 человек в Германии, работали на КГБ. Потрясающая история!
#talk #cybersec
#talk #cybersec
YouTube
DefCon 34 - Stalking the Wily Hacker: 40 years later - Cliff Stoll
40 years ago today, I tripped over a 75-cent accounting glitch in a Unix system. That tiny clue led to a year-long chase across networks, modem banks, and international borders, ultimately uncovering a crew of German hackers working for the East German Stasi…
❤10😁3
В духе старого sci-fi с вышедшим из под контроля ИИ предлагают бороться при помощи парадоксов. Мол, расскажем ему про деревенского брадобрея, который бреет всех, кто не может брить себя, а ИИ сразу и взорвётся от такой мощи. В посте собраны самые разные парадоксы, и разобрано, откуда у них у всех ноги растут, и как это решают в математике.
#math #ai #science
#math #ai #science
blog.coredump.cx
Know your paradoxes
We must not allow a paradox gap.
Снова вспомним Ink & Switch. В этот раз приложение, которое не смогло. Muse. Эдакий цифровой холст, по которому можно растечься мыслью - писать, рисовать, вставлять самые разные документы и т.п. Выглядит и правда круто, но очень уже замороченно, на мой взгляд. Тут можно почитать, как оно работало. А тут - как оно закрылось. За ссылки скажем спасибо @themishkun
#app #tool
#app #tool
Inkandswitch
Muse: Designing a studio for ideas
Physical workspaces inspire a fast, fluid digital tool for creative thinking.
❤1
Чудесный проект: готовая дообучалка открытых моделей, чтобы снять с них все запреты и ограничения.
#ai #llm
#ai #llm
🔥3😁1🤬1
Больше месяца уже прошло, только сейчас дошёл: в Go разрешили generic методы, но только на конкретных типах. Интерфейсы с параметризованными методами всё ещё недоступны, в посте как раз объясняют, почему.
#go #generics
#go #generics
go.dev
Generic Methods - The Go Programming Language
Go 1.27 adds generic methods—a highly desired language feature.
😁1
Просто прикольный обзор всего про concurrency в Go в одном месте. На случай, если кто-то будет учиться сам, учить кого-то или просто освежать в голове.
#go #concurrency #thread
#go #concurrency #thread
antonz.org
Go concurrency distilled
Interactive mini-book on concurrent programming in Go.
❤4
Тут забавное: почему и куда делись звуковые карты как отдельная железка. Для современных игр оно как будто и не нужно, но в старых (по типу UT2004 и BioShock) звук выходит совсем не тот - нужна либо карточка, либо какой-то софтверный compatibility слой.
#hardware #gamedev #sound
#hardware #gamedev #sound
XDA
Your motherboard still can't do one thing a 20-year-old sound card could, and BioShock proves it
And it's all Windows' fault.
This is a modern motherfucking website.
Замечательный гундёж по поводу всех этих простых сайтов, которые всё равно зачем-то исполняют джаваскрипты, собираются билд системой и съедают какие-то невероятные мегабайты трафа.
#html #web #browser
Замечательный гундёж по поводу всех этих простых сайтов, которые всё равно зачем-то исполняют джаваскрипты, собираются билд системой и съедают какие-то невероятные мегабайты трафа.
#html #web #browser
modernmotherfuckingwebsite.dreamstation.systems
This is a modern motherfucking website.
Zero of the bullshit.
🔥5❤1👍1💩1👾1
Хашимото пишет, почему все должны базово знать SIMD и приводит пример, как этим пользоваться в простых случаях.
#cpu #simd #performance
#cpu #simd #performance
❤2