Прикольный обзорный доклад, на что вообще способны системы типов в разных менее популярных или совсем академических ЯП. И 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…
❤11😁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.
❤2
Чудесный проект: готовая дообучалка открытых моделей, чтобы снять с них все запреты и ограничения.
#ai #llm
#ai #llm
🔥4😁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.
🔥6❤1👍1💩1👾1
Хашимото пишет, почему все должны базово знать SIMD и приводит пример, как этим пользоваться в простых случаях.
#cpu #simd #performance
#cpu #simd #performance
❤2😁1
А в Go тоже не сидят на месте и пытаются выстроить независящую от платформы SIMD либу. Пока как эксперимент, но работа кипит.
#go #simd #performance
#go #simd #performance
go.dev
Platform-independent SIMD in Go - The Go Programming Language
Go 1.27 adds an experimental platform-agnostic SIMD API
❤3
Скотт Дженсон - известный в индустрии UI/UX дядька (поработал в самом разном крупняке, а сейчас поносит их всех и пытается что-то делать для опен сорса) - рассказывает, что десктоп толком не менялся уже лет 20, а вообще-то пора бы, и показывает несколько своих идей. Некоторые концепты выглядят и правда интересно!
#talk #desktop #design
#talk #desktop #design
❤5👍3
Оу вау! Модели самого разного из Factorio для 3D печати от самих разработчиков! Ну какие молодцы, сил нет!
#game #gamedev
#game #gamedev
Совершенно замечательный сайт: включаем правдоподобное сгенерированное аудио очень важного звонка, чтобы отпугивать тех, кто подходит к нам ногами по какому-то только им нужному поводу. Есть и картинка звонка, и кнопка, по которой все с тобой начинают прощаться. Красота нечеловеческая!
Ссылку прислал @Remych04, за что мы его все дружно целуем в лобик.
#humor #tool
Ссылку прислал @Remych04, за что мы его все дружно целуем в лобик.
#humor #tool
Iminafleeting
Fleeting — Sorry, I'm in a meeting
Workplace self-defence against people stealing your time.
🤣6❤2
Трипл эй сапёр! Именно такого сапёра мы, кажется, заслуживаем. Всё можно испортить, было бы желание!
Эту ссылку пошерил @ilyagulya, его мы дружно целуем в макушку.
#humor #game #gamedev
Эту ссылку пошерил @ilyagulya, его мы дружно целуем в макушку.
#humor #game #gamedev
Mikelacher
Triple-A Minesweeper
Sweep to survive in the action-packed, AAA reboot of the classic puzzle game.
🔥5👍2😁1
И кстати, наверное пора напомнить, что у нас есть пирлаб! Каждый месяц в последнюю пятницу собираемся онлайн поболтать за работу, за жизнь, за новости и т.п. Следить за анонсами можно в этом чате.
#event #peerlab
#event #peerlab
Telegram
PeerLab • Разработка ждёт балета
Ссылка-приглашение: https://xn--r1a.website/+PFg1AaTNRQY3MmEy
Канал: @devballet
Календарь: https://calendar.google.com/calendar/u/0?cid=dDE5bHJrajY3bWg2dWxrZWV2MTE2NDM3bGNAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ
Канал: @devballet
Календарь: https://calendar.google.com/calendar/u/0?cid=dDE5bHJrajY3bWg2dWxrZWV2MTE2NDM3bGNAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ
❤2
Удивительно, люди следят за обновлениями
#internet #web #history
example.com! Не так давно в него добавили мультиязычность и JS! JS в example.com, ребяты! Мне кажется очень символично, что такая знаковая страничка катится в одну пропасть со всем остальным вебом.#internet #web #history
Debugbear
Example.com Just Launched The Biggest Redesign In Decades | DebugBear
A look at the history of visual changes to example.com.
😁2💩1
В Skyrim есть баг, когда совсем простенькое заклинание magelight можно бросать в гору возле Solitude, что приводит к дикому фарму опыта и прокачке alteration школы. Даже я этим багом пользовался! Почему так происходит - было море гипотез. Но тут чел наконец-то расковырял всё по-взрослому и даже нашёл более оптимальную стратегию использования этого бага. Чудесно!
#game #gamedev #bug
#game #gamedev #bug
🔥1