Блог*
Блог со звёздочкой. Много репостов, немножко программирования. Небольшое прикольное комьюнити: @decltype_chat_ptr_t Автор: @insert_reference_here
БольшеЗагрузка данных...
Find out who reads your channel
This graph will show you who besides your subscribers reads your channel and learn about other sources of traffic.Посты | Просмотры | Поделились | Динамика просмотров |
01 Редактор: «Нам надо изменить слово Тинькофф на Т-банк на всем сайте».
Программист: «Ни слова больше»
8️⃣ Programmer memes | 200 | 13 | Loading... |
02 А вам когда-нибудь дарили джинсы? | 403 | 0 | Loading... |
03 #gamedev #video
О том, как Mirror's edge: Catalyst проваливает задачу утилизации своего открытого мира и о том, как он мог бы работать на примере Burnout paradise: игре, в котором открытый мир работает.
youtu.be/gg0Nbfzo_00 | 456 | 13 | Loading... |
04 #gamedev #video
Как дизайн уровней в Uncharted 3 позволяет направлять игроков без целеуказателей в HUD.
youtu.be/k70_jvVOcG0 | 451 | 12 | Loading... |
05 #game #video
Хайпуем
youtu.be/4tk8lkmYGWQ | 469 | 4 | Loading... |
06 #science #video
На протяжении многих лет среди физиков стоял вопрос (который почему-то получил имя Фейнмана): что будет, если поместить вращающийся разбрызгиватель в жидкость и начать втягивать жидкость через трубки вместо того, чтобы через них выливать? В какую сторону будет вращаться конструкция, и будет ли вращаться вообще? Разумные аргументы звучали с обеих сторон, и лишь недавно это смогли проверить в эксперименте, в котором максимально снизили посторонние факторы.
youtube.com/watch?v=EM-VWNb5Trk | 511 | 13 | Loading... |
07 Передача судьбы ❤️ | 485 | 0 | Loading... |
08 Вы хоть знаете, насколько это тяжело — усердно трудиться в поте лица?
Вот и я не знаю | 516 | 8 | Loading... |
09 #meme про армянский флаг | 489 | 0 | Loading... |
10 Media files | 436 | 10 | Loading... |
11 #prog
lists.busybox.net/pipermail/busybox/2010-December/074114.html
О том, откуда растут ноги у деления на (s)bin и usr/(s)bin в Unix. Спойлер: это артефакт системы хранения первой машины, на которой производилась разработка. | 535 | 16 | Loading... |
12 прикиньте люди щас меняют год рождения на 2005 год на всяких сайтах типо они совершеннолетние | 516 | 5 | Loading... |
13 #prog #article
What is PID 0?
Спойлер: в интернете все неправы (или правы не полностью). | 571 | 18 | Loading... |
14 #math #suckassstory | 582 | 1 | Loading... |
15 Однажды Сидзуо Какутани давал урок в Йельском университете. Он написал на доске лемму и объявил, что доказательство очевидно. Но один студент робко поднял руку и сказал, что ему вовсе не очевидна заявленная теорема и попросил Какутани ее объяснить.
После недолгого размышления, Какутани пришел к выводу, что и у него самого не выходит на месте придумать доказательство. Он извинился и обязался изложить доказательство леммы на следующем занятии.
После семинара Какутани стремительно направился в свой кабинет. Он боролся с леммой довольно долгое время, пока, наконец, не сдался. Обеденное время он провел в библиотеке, разыскивая происхождение этого утверждения, и, наконец-таки, ему удалось найти статью, в которой описывается злополучная лемма.
На месте ее доказательства автор статьи написал: «Оставляется в качестве упражнения».
А автором статьи был сам Какутани.
из книги «Mathematical Apocrypha», Steven Krantz | 579 | 23 | Loading... |
16 Прислал @optozorax_dev | 624 | 5 | Loading... |
17 В поэзии есть два жанра с очень строгими ограничениями как на структуру стихотворения, так и на его содержание: лимерик и хайку.
Наполнение их кардинально отличается. Хайку (или хокку) стремится запечатлеть текущий момент — обязательно с указанием на время года — и сказать как можно больше, используя как можно меньше слов. В целом, хокку считается относительно возвышенным жанром.
Лимерик же, с другой стороны, вводит лирического героя в первой строке, рассказывает о его особенности или поступке во второй и описывает реакцию мира и окружающих и последствия в последующих трёх строках. Эдвард Лир, английский художник и поэт девятнадцатого века, популяризовал этот жанр своей "Книгой бессмыслиц" — целый том, битком набитый абсурдными зарисовками (в том числе и буквально — он лично иллюстрировал каждое стихотворение).
Тут напрашивается какой-то вывод или мораль, но его не будет. | 636 | 4 | Loading... |
18 Место женщины — на кухне.
Место мужчины и детей — тоже на кухне. На кухне есть еда. | 631 | 9 | Loading... |
19 #prog #article
Why Writing Correct Software Is Hard
… and why math (alone) won’t help us
Статья о фундаментальных ограничениях формальных методов верификации программ, которая показывает, откуда идёт сложность. | 646 | 32 | Loading... |
20 Кружок вязания "Хурма" | 681 | 4 | Loading... |
21 Media files | 757 | 13 | Loading... |
22 #game #meme | 654 | 0 | Loading... |
23 Media files | 655 | 2 | Loading... |
24 #prog #article
Bitwise Binary Search: Elegant and Fast
Статья о вариантах двоичного поиска (конкретнее, поиска нижней границы места для вставки), которые вычисляют по одному биту результата за итерацию. Подобные алгоритмы можно записать в branchless виде, что позволяет сильно их ускорить по сравнению с "обычным" вариантом.
Предупреждение: автор делал бенчмарки на Apple M1 и оптимизировал под него, так что ваши результаты наверняка будут отличаться. | 647 | 23 | Loading... |
25 #prog #rust #article
Taming Floating-Point Sums
Статья о различных способах суммировать числа с плавающей точкой: способы быстрее прямолинейного и способы точнее прямолинейного.
Осторожно, бенчмарки проводились на данных, которые умещаются в кеш процессора | 619 | 21 | Loading... |
26 #music
https://dancewiththedead.bandcamp.com/track/wyrm-of-doom | 703 | 3 | Loading... |
27 Удаляют для России (ссылка для тех, кто в России и не хочет включать VPN) | 705 | 7 | Loading... |
28 Media files | 747 | 13 | Loading... |
29 #meme про корпоративную разработку | 794 | 1 | Loading... |
30 #prog #article
When allocating unused memory boosts performance by 2x
Спойлер: гистерезис-подобное поведение аллокатора glibc касательно возврата аллоцированной памяти OS. | 874 | 19 | Loading... |
31 Я родился и вырос, но не понимаю почему. | 776 | 6 | Loading... |
32 Как называют гея-универсала?
Парень хоть куда | 856 | 5 | Loading... |
33 Я не люблю 🍆 | 948 | 2 | Loading... |
34 1 июня — день защиты детей.
Защищайтесь | 957 | 4 | Loading... |
35 🚪 | 939 | 3 | Loading... |
36 В СМЫСЛЕ УЖЕ ИЮНЬ | 930 | 2 | Loading... |
37 π | 937 | 2 | Loading... |
38 chad C++ programmer reacting to corner cases | 927 | 11 | Loading... |
39 #prog #rust #article
Send & Mutex
I saw a question on Reddit, that asks: “why T needs to be Send in order to Mutex<T> to be Sync?”. I think that’s a great question, and in here I’ll try my best to shine some light on that.
Автор излагает объяснение, опираясь на неканоничное определение Send:
allows an object to be used by two threads A and B at different times.
, в противовес Sync:
allows an object to to be used by two threads A and B at the same time.
Это позволяет ответить на вопросв начале более простым образом. | 928 | 16 | Loading... |
40 #prog #rust #java #article
How We Migrated Our Static Analyzer From Java To Rust
Меня, правда, смущает, что правила анализа почему-то написаны на JavaScript.
<...>
We observed that the migration tripled our performance and resulted in a tenfold reduction in memory usage, <...>
To our surprise, we gained a firm grasp of the language and a clear idea of how our codebase would be mapped onto Rust within 10 days. <...> Within a month, the entire code analysis infrastructure was migrated from Java to Rust, and all customers were running on the new Rust analyzer.
<...>
Removing our dependency on the JVM and speeding up the analysis enabled us to embed the analyzer directly into the IDE. The very same lightweight and fast analyzer that runs in your CI/CD pipelines simultaneously reports coding errors and suggests fixes in your IDE in real time, <...> | 726 | 9 | Loading... |
🔴 Get bonus content by supporting Game Maker’s Toolkit -
https://gamemakerstoolkit.com/support/🔴 Mirror's Edge finally got a sequel in Mirror's Edge Catalyst, but the addition of an open world has polarised fans of the first game. Let's dive deep into the City of Glass, and look at some games that did a better job at open world racing. Recommended reading / viewing: Gamasutra: "How Battlefield devs learned to build an open world" http://www.gamasutra.com/view/news/274586/How_Battlefield_devs_learned_to_build_an_open_world_for_Mirrors_Edge_Catalyst.php Mirror's Edge: "Follow the Red" http://www.mirrorsedge.com/news/runners-vision-in-mirrors-edge-catalyst Polygon: "Designing Mirror's Edge: The Making of a Franchise" http://www.polygon.com/2016/5/25/11758974/designing-mirrors-edge-the-making-of-a-franchise Errant Signal: "Burnout Paradise"
https://www.youtube.com/watch?v=djGeem-QYowGames shown in this episode (in order of appearance): Mirror's Edge (EA DICE, 2008) Mirror's Edge Catalyst (EA DICE, 2016) Far Cry Primal (Ubisoft Montreal, 2016) Middle-earth: Shadow of Mordor (Monolith Productions, 2014) Metal Gear Solid V: The Phantom Pain (Kojima Productions, 2015) Hitman (iO Interactive, 2016) Burnout Paradise (Criterion Games, 2008) Burnout Revenge (Criterion Games, 2005) Uncharted 4: A Thief's End (Naughty Dog, 2016) Crazy Taxi (Hitmaker, 1999) Music used in this episode: Still Alive: Instrumental (Mirror's Edge) Kate (Mirror's Edge) Introduction (Mirror's Edge) Heat (Mirror's Edge) I Am Faith (Mirror's Edge Catalyst) Main Theme (Mirror's Edge Catalyst) I Am Faith (Mirror's Edge Catalyst) Contribute translated subtitles -
https://amara.org/v/C3BF4/🔴 Get bonus content by supporting Game Maker’s Toolkit -
https://gamemakerstoolkit.com/support/🔴 How does Naughty Dog let you explore the worlds of Uncharted and The Last of Us without the clunky navigational aids found in other linear games? The answer: Through smart use of composition, eye-catching design, and in-world waypoints. Let's dig in. Sources: GDC Vault: "Uncharted 2 Art Direction" http://www.gdcvault.com/play/1012359/Uncharted-2-Art Max Level: "From Uncharted to The Last of Us: An Hour with Emilia Schatz" http://maxlevel.org/uncharted-last-us-hour-emilia-schatz-pt/ The Main Street Mouse: "What's a Weenie?" http://www.themainstreetmouse.com/2013/05/13/whats-a-weenie/ Recommended reading / viewing: The Psychology of Video Games: "Why Do Color Coded Clues in Level Design Work?" http://www.psychologyofgames.com/2013/09/why-do-color-coded-clues-in-level-design-work/ Shape of Play: "Composition Techniques and Player Direction"
https://shapeofplay.wordpress.com/2013/06/25/composition-level-design/Map Core: "Level Design in The Last of Us"
https://www.mapcore.org/articles/development/level-design-in-the-last-of-us-part-one-r46/World of Level Design: "L4D2 Level Design Tips" http://www.worldofleveldesign.com/categories/left4dead_mapping/l4d2-level-design-tips-part1.php Games shown in this episode (in order of appearance): Uncharted 3: Drake's Deception (Naughty Dog, 2011) Enslaved: Odyssey to the West (Ninja Theory, 2010) Call of Duty 4: Modern Warfare (Infinity Ward, 2007) BioShock (Irrational Games, 2007) Tomb Raider (Crystal Dynamics, 2013) Everybody's Gone to the Rapture (The Chinese Room, 2015) The Last of Us (Naughty Dog, 2013) Mirror's Edge (EA DICE, 2008) Left 4 Dead 2 (Valve Corporation, 2009) Uncharted 2: Among Thieves (Naughty Dog, 2009) BioShock 2 (2K Marin, 2010) Gears of War (Epic Games, 2006) Journey (thatgamecompany, 2012) Dark Souls (From Software, 2011) Half-Life 2 (Valve Corporation, 2004) Crash Bandicoot (Naughty Dog, 1996) Half-Life 2: Episode Two (Valve Corporation, 2007) BioShock Infinite (Irrational Games, 2013) Music used in this episode: Small Beginnings (Uncharted 3) Inverted Island (Monument Valley) Amateur Cartography (Monument Valley) The Spire (Monument Valley) Uncharted 3 OST © Naughty Dog Monument Valley OST © ustwo games Other credits: "Bioshock 60FPS 1080P Gameplay Max Settings GTX 770" - Jprime777
https://www.youtube.com/watch?v=LCtV-tyqAco"A Model Day at Magic Kingdom" - The Disney World Videos
https://www.youtube.com/watch?v=oCwc5499_7c"The Disneyland Story - Part 1" - freedogshampoo
https://www.youtube.com/watch?v=rIrq3RFUQPU"Walt Disney Presents: Disneyland 1961" - The Disney Nerds Podcast
https://www.youtube.com/watch?v=xgug68QQxlshttp://www.nga.gov/content/ngaweb/Collection/art-object-page.46569.html The Boating Party, Mary Cassatt
https://flic.kr/p/bYopFWEnd of the Tunnel, Ivan Saracino Contribute translated subtitles -
https://amara.org/en-gb/videos/xwcncEJkgSYU/Launching 2025. Wishlist on Xbox GamePass, Xbox Series X|S, PC or PlayStation 5. Announcing DOOM: The Dark Ages, the prequel to the critically acclaimed DOOM (2016) and DOOM Eternal and the third installment of the modern DOOM series. Developed by id Software on the latest idTech engine, DOOM: The Dark Ages is a single-player action FPS that tells the epic cinematic origin story of the DOOM Slayer's rage. You are the DOOM Slayer, the legendary demon-killing warrior and the super weapon in this never-before-seen dark and sinister medieval war against Hell. For more information on all things DOOM: The Dark Ages and id Software, follow these channels and join the Slayers Club. Twitter:
https://twitter.com/DOOM/Instagram:
https://www.instagram.com/doom/Facebook:
https://www.facebook.com/DOOMWebsite:
https://doom.bethesda.net/Slayers Club:
https://slayersclub.bethesda.net/A 140 year-old physics problem may have just been solved...Can a sprinkler work and spin in reverse? Comment your answer below as I take a look into this breakthrough research experiment that claims to solve the mystery, once and for all... Read the paper here: Centrifugal Flows Drive Reverse Rotation of Feynman’s Sprinkler; Kaizhe Wang, Brennan Sprinkle, Mingxuan Zuo, and Leif Ristroph, Phys. Rev. Lett. 132, 044003
https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.132.044003Merch! I think Scientists are Rockstars so I made t-shirts to celebrate it Einstein Rockstar Tee:
https://www.drbenmiles.com/merch/p/rockstar-scientist-tee-einsteinCurie Rockstar Tee:
https://www.drbenmiles.com/merch/p/rockstar-scientist-tee-curieSchrodinger Rockstar Tee:
https://www.drbenmiles.com/merch/p/rockstar-scientist-schrodinger#breakthrough #physics #science #mystery Chapters: 00:00 What Is Feynman's Reverse Sprinkler Problem? 0:48 The History Of The The Feynman Sprinkler 3:32 Why Does A Sprinkler Spin? 6:42 Suction Vs Blowing: Airflow & Velocity 8:17 The Experiment 12:37 The Results: Mystery Solved? 13:41 Explanation and Visualising The Results If you enjoy the channel and want even more physics, tech, and business content, I've just launched new Instagram and Threads pages. Follow on the links below Insta:
https://www.instagram.com/drbenmilesThreads:
https://threads.net/drbenmilesNewsletter
https://drbenmiles.substack.com/A few people have asked so I've added the info below. Some of these are affiliate links. If you make a purchase it doesn't cost you anything extra, but a percentage of the sale will help support this channel and my work to bringing entrepreneurship into science. My camera :
https://amzn.to/3ed5XacMy lens:
https://amzn.to/3xIAZyAMy lav:
https://amzn.to/2SeE20Yand
https://amzn.to/3nK33wAMy mic:
https://amzn.to/3gUYYEv