Recommended
More Related Content
Similar to 42
Similar to 42 (20)
Recently uploaded
Recently uploaded (20)
42
- 2. Whoami andrew.petryk@gmail.com @ipreferespresso https://github.com/andyislegend http://corevalue.net/ http://ukraine.cursor.education/ Java Software Engineer @ CoreValue Services Lecturer @ Cursor Education 2
- 3. Everything described here is true and complete to the best of author’s knowledge. All recommendations and inferences are made without guarantee on the part of author and have no connection to official CoreValue or Cursor Education opinion. The author, CoreValue and Cursor Education disclaim any liability in connection with the use of this information. 3
- 4. 4
- 5. 5
- 6. 6
- 8. 8 If you have to explain a meme, it’s a bad meme
- 9. 9 If you have to explain a code, it’s a bad code
- 11. TOOLS 11
- 17. BUT ALL OF THESE SYSTEMS MISSED SOMETHING 17
- 20. 20 HINDU-ARABIC
- 21. 2, 10, 12, 60 21 BASE
- 22. 22
- 23. 23
- 24. BINARY Gottfried Leibniz 24Image src: Christoph Bernhard Francke - Herzog Anton Ulrich-Museum, online, https://commons.wikimedia.org/w/index.php?curid=53159699
- 25. Let’s convert 21 to binary 25 GORNER’S TRANSFORMATION
- 26. 21/2 = 10 +1 26 GORNER’S TRANSFORMATION
- 27. 21/2 = 10 +1 10/2 = 5 +0 27 GORNER’S TRANSFORMATION
- 28. 21/2 = 10 +1 10/2 = 5 +0 5/2 = 2 +1 28 GORNER’S TRANSFORMATION
- 29. 21/2 = 10 +1 10/2 = 5 +0 5/2 = 2 +1 2/2 = 1 +0 29 GORNER’S TRANSFORMATION
- 30. 21/2 = 10 +1 10/2 = 5 +0 5/2 = 2 +1 2/2 = 1 +0 1/2 = 0 +1 30 GORNER’S TRANSFORMATION
- 31. 21/2 = 10 +1 10/2 = 5 +0 5/2 = 2 +1 2/2 = 1 +0 1/2 = 0 +1 31 GORNER’S TRANSFORMATION
- 32. 21 = 10101 32 GORNER’S TRANSFORMATION
- 37. PROBLEMS 37
- 39. 39
- 40. 40
- 41. 41 BUT SUDDENLY
- 44. Integer There are various languages where int32* is represented in one of its forms 44 *under Int32 means 32-bit signed integer. TYPES
- 45. Integer There are various languages where int32* is represented in one of its forms 45 *under Int32 means 32-bit signed integer. BUT, what if I told You that given int32 is WRONG**? **under Wrong means mathematically incorrect. TYPES
- 46. Int32 + Int32 = ? Int32 * Int32 = ? 46
- 47. Int32 + Int32 = Int32 Int32 * Int32 = Int32 47 *for Java
- 48. Int32 + Int32 = Int32 Int32 * Int32 = Int32 48 *for Java *correct Int33 Int63
- 50. the original program was written in 50
- 51. let’s re-write it into 51
- 52. 52
- 54. 54 0/0 What should happen? A ZERO PROBLEM
- 55. 0/0 55 machine burns in Java/Scala (Arithmetical Exception) Image src: https://giphy.com/ A ZERO PROBLEM
- 56. 0/0 56 undefined (NaN) in JS or Haskell Image src: https://giphy.com/ A ZERO PROBLEM
- 57. 0/0 57 1? n/n == 1 Image src: https://giphy.com/ A ZERO PROBLEM
- 58. 0/0 58 null? Image src: https://giphy.com/ A ZERO PROBLEM
- 59. 59 MORE FUN WITH JVM
- 60. 60 MORE FUN WITH JVM
- 61. 61 MORE FUN WITH JVM
- 62. 62 MORE FUN WITH JVM
- 63. 63 MORE FUN WITH JVM
- 64. 64 MORE FUN WITH JVM
- 65. 65 MORE FUN WITH JVM
- 66. 66 EVEN MORE FUN WITH JS alert(0.1 + 0.2 == 0.3); false alert(0.1.toFixed(20)); 0.10000000000000000555 alert(9999999999999999); 10000000000000000
- 67. BUT WHY SO MUCH WEIRD STUFF? 67Image src: https://giphy.com/
- 68. IEE - Institute of Electrical and Electronics Engineers William Kahan 68Image src: George M. Bergman - http://owpdb.mfo.de/detail?photo_id=13645 IEE754
- 69. DEC vs. Intel VAX vs. K-C-S 69 1976
- 71. • Arithmetic formats. 71 The standard defines:
- 72. • Arithmetic formats. • Interchange formats. 72 The standard defines:
- 73. • Arithmetic formats. • Interchange formats. • floating-point efficient and compact rounding rules. 73 The standard defines:
- 74. • Arithmetic formats. • Interchange formats. • floating-point efficient and compact rounding rules. • Operations. 74 The standard defines:
- 75. n ÷ ±Infinity 0 ±Infinity × ±Infinity ±Infinity ±nonzero ÷ 0 ±Infinity Infinity + Infinity Infinity ±0 ÷ ±0 NaN Infinity - Infinity NaN ±Infinity ÷ ±Infinity NaN ±Infinity × 0 NaN 75 Operation Result
- 76. 76 Debates about standard: Wiki about standard:
- 78. 78 Image src: https://www.iphones.ru/wp-content/uploads/2013/12/itunes-radio-1.jpg iTunes SHUFFLE PROBLEM
- 80. NOT A SINGLE LINE OF CODE IN THE WORLD DOES 80Image src: https://giphy.com/
- 81. 81 For a number of years I have been familiar with the observation that the quality of programmers is a decreasing function of the density of go to statements in the programs they produce. Edsger W. Dijkstra Go To Statement Considered Harmful src: http://www.u.arizona.edu/~rubinson/copyright_violations/Go_To_Considered_Harmful.html
- 82. 82 If a software is a craft, then %language% is an art
- 83. 83 Software is already eating the world
- 84. Be a %languageName% WILLIAM WALLACE 84Image src: https://giphy.com/
- 85. Hammered screw holds better then nail twisted with a screwdriver @alcovictor 85 Victor Polischuk aka @alkovictor: https://twitter.com/alkovictor
Editor's Notes
- Хто такий я?
- Дефолтний слайд, можна не читати – в 2х словах тут написано, що якби ви раптом вирішили робити якісь посилання на цю доповідь чи слайди – ви це робите на власний страх і ризик. Ні компанія CoreValue ні CursorEducation, навіть автор не беруть на себе жодної відповідальності стосовно істини в останній інстанції. Грубо кажучи – довіряй, але провіряй.
- Хто знає хто це? Таке собі питання, адже тут і так це написано) Ніколас Франкель - якщо ви щось шукали відносно Java || Spring на StackOwerflof то скоріш за все отримували відповідь оцього чувака. Ну і загалом в нього багато крутих доповідей - рекомендую
- Так от. Не так давно (+- на початку листопада 2017) він у своєму блозі виклав СВІЙ підхід до написання кінотів і публічних виступів, і оскільки ця презентація якраз в той самий час і писалась я не міг на це не звернути увагу
- Одним з пунктів - не використовувати гіфки взагалі або обмежити їх тривалість/кількість. І тут я такий …
- Хммм ? Як то без гіфок? В гіфок і мемів багато спільного з програмуванням, хто б міг подумати)
- Тому ми спробуємо спростувати це! Меми і гіфки кращий друг презентації =)
- Це був короткий ліричний відступ, тепер повернімось до презентації. Великий Думач (Big Though) - суперкомпютер Питання життя, всесвіту і взагалі Відповідь 42. А яке ж питання Компютер може обрахувати і зробити практично що завгодно. В усіх сферах життя людини. І робить він це всього-лиш маніпулюючи ЧИСЛАМИ! Тому давай поговоримо про числа більш докладніше…
- Давним-давно наші з вами предки жили високо на деревах і мали руки і пальці як основне знаряддя добування їжі. Як не дивно – в нашій історії все починається з пальців. Та потім клімат різко змінився і людині довелось злізти з дерева і взяти в руку палицю щоб полювати на мамонта. Розвиток і еволюція робили знаряддя праці і спосіб добування їжі дедалі складнішим, а людське суспільство все більшим і більшим – з сімей воно переросло в общини, з общин в племена, з племен в народи. І на певному етапі розвитку людини в нас виникла гостра необхідність все впорядкувати і …
- Порахувати. Так з'являються лічба і писемність – 2 ключових винаходи які зробили нас нами.
- Одними з перших кому пальців стало замало були древні єгиптяни. Їх система була доволі проста, проте ефективна як на той час.
- Ключем тогочасного прогресу була торгівля - переважно морем - і лідерами регіону того часу були фінікійці (жили на території сучасного Лівану). Вони і привезли єгипетську систему грекам, а ті її модифікували і допрацювали – вони присвоїли цифри відповідно до літер у їх абетці
- Римлянам ж здалось що грецька система занадто складна і недостатньо гнучка, тому вони вирішили придумати свою яка б відповідала вимогам тодішніх математиків і науковців
- Приблизно в той самий час на територіях сьогоднішнього Китаю відбувалось дещо зовсім відмінне. Тодішні китайці придумали систему знаків які при різній компоновці між собою складались у інше число
- Проте усім цим системам бракувало гнучкості і абстрактності (навряд чи хтось в той час насправді оперував таким поняттям=))) і крім всього іншого там не було дечого надзвичайно важливого... Чого?
- 0 звісно
- В той час сталось переломне для всього людства відкриття на території сучасної Індії. Тогочасні математики прийшли до поняття відсутності чогось як дуже важливого у математиці і науці загалом. Крім того вони змогли перейти від адитивної системи до позиційної
- в залежності від позицій чисел утворювалось нове число, і чим більше було позиційних чисел тим більшим число було. Фактично ми можемо розкласти будь-яке число в лінійний ряд і перемножити його на 10 в степені його позиції щоб знати його порядковість.
- Основа числення: 1) двійкова (про неї згодом) 2) десяткова (використовується повсюдно, порахували пальці на руках) 3) була основа в 20 (інки порахували пальці не тільки на руках, а й на ногах) 4) основа в 12 (приклади) 5) основа в 60
- Дещо цікаве про те як в кола з'явились 360 градусів. Придумали це в древній Месопотамії. Вавилоняни були вкрай вправними астрономами і у своїх спостереженнях вони з'ясували що в коло ідеально можна вписати пентагон
- який ідеально ділиться на 6 рівносторонніх трикутників де довжина сторони це радіус, а оскільки за базу числення у них було 60 то і кут кожного такого трикутника був 60. нескладні калькуляції: 6 х 60 = 360.
- Математика розвивалась і в один момент ми прийшли до ідеї двійкової системи (а конкретно до неї за допомогою праць Томаса Буля прийшов Готтфрід Лейбніц, ось власне він на картинці і є) І от комусь в голову прийшла геніальна ідея - стан транзистора вкл/викл передавати через 1 і 0 відповідно. І так числа плавно зайшли в еру компютерних технологій як цілком природнє і невід'ємне від індустрії.
- Множина цілих чисел нескінченна, але ми завжди можемо підібрати таке число біт, щоб представити будь-яке ціле число, що виникає при вирішенні конкретної задачі. Давайте спробуємо в простий спосіб трансформувати число 21 у бінарне його представлення. Для цього застосуємо трансформацію Горнера
- У далекі часи, для IT-індустрії це 70-ті роки минулого століття, вчені-математики (так раніше називалися програмісти) билися як Дон-Кіхоти в нерівному бою з комп'ютерами, які тоді були розміром з маленькі вітряки. Завдання ставилися серйозні: пошук ворожих підводних човнів в океані по знімках з орбіти, розрахунок балістики ракет дальньої дії, і інше. Для їх вирішення комп'ютер повинен оперувати дійсними числами, яких, як відомо, континуум, тоді як пам'ять кінцева. Тому доводиться відображати цей континуум на закінчувану кількість нулів і одиниць. У пошуках компромісу між швидкістю, розміром і точністю уявлення вчені запропонували числа з плаваючою комою. Множина дійсних чисел не тільки нескінченна, але ще і безперервна, тому, скільки б ми не взяли біт, ми неминуче зіткнемося з числами, які не мають точного представлення. Числа з плаваючою точкою - один з можливих способів представлення дійсних чисел, який є компромісом між точністю і діапазоном прийнятих значень.
- Число з плаваючою точкою складається з набору окремих розрядів, умовно розділених на знак, експоненту (порядок) і мантису. Порядок і мантиса - цілі числа, які разом зі знаком дають представленя числа з плаваючою комою в наступному вигляді:
- Мантиса Поки все здається просто і чудово, але потім з'являються вони …
- Проблеми! Виявляється зааплаїти математику і числа для комп'ютера не така вже і тривіальна задача…
- Не те щоб основна проблема математики, але наявність у 2017 двох варіантів запису нецілих чисел викликає подив (ну принаймні в мене). Думаю рано чи пізно дана проблема буде вирішена в користь нижнього варіанту – адже ним користується ваш компютер.
- У зв'язку з тим що нуль він таке особливе число – ми отримуємо от таку з точки математики єресь (ну принаймні в с-подібних мовах), позитивний і негативний 0, все через складність запису нецілих чисел у двійковому представлені.
- Строга типізація звичайно виграла у нетипізованих мов, але тим не менше типи не завжди корисні, от як тут. Метод “індексОф” не може повернути нічого іншого крім інта, і навіть коли шуканого елемента немає він не повертає null (хоча вочевидь міг), нам повертається -1. Дуже транспарантно.
- Ну і вишенькою на торті
- Хтось може висловити припущення – як так?
- Неправильний з точки зору математики звісно
- Хтось чув історію про Аріан-5? Аріан 5 (фр. Ariane 5) — одноразова європейська ракета-носій сімейства Аріан, призначена для виведення корисного навантаження на низьку опорну орбіту (LEO) або геоперехідну орбіту (ГПО). Проект підтримується Європейським космічним агентством (ЄКА), основний підрядник — European Astrium Space Transportation (EADS). Ракета просувається на ринку компанією Аріанеспас. Запуски відбуваються з космодрому Куру у Французькій Гвіані. РН Аріан 5 є основною ракетою-носієм ЄКА і була такою принаймні до 2015. Перший випробувальний політ РН відбувся 4 червня 1996 року і був невдалим. РН був підірваний на 34 секунді польоту через несправність в куруючому програмному забезпеченні.
- Конвертація даних з 64-х розрядного числа з плаваючою комою у 16-ти розрядне призвела до зависання комп'ютера. Процедура на мові Ада, яка оброблювала цю виключну ситуацію, була вилучена з міркувань збереження продуктивності системи. Дана комп'ютерна помилка вважається найдорожчою у історії ІТ індустрії…
- Вона коштувала близько 500 мільйонів доларів США. Всі пишуть баги =)
- Іншою великою проблемою застосування математики і чисел в комп'ютерах, є проблема ділення на 0. Жоден математик в здоровому глузді на нуль ділити не стане – бо так неможна ж. Але для машини така операції абсолютно нормальна і може трапитись легко. То що робити в таких випадках?
- Як бачите – одностайного підходу до вирішення цієї проблеми в мовах програмування немає і досі
- Давайте трошки порозважаємось з віртуальною машиною Джави (все таки джава для мене мейн технологія., то я розважатись на ній)
- Чого стільки конфузів і невідповідності і що з тим робити? Давайте трохи відмотаємось назад, у 60-ті У 60-е і 70-ті роки не було єдиного стандарту представлення чисел з плаваючою комою, способів округлення, арифметичних операцій. В результаті програми були вкрай не портабельні. Але ще більшою проблемою було те, що у різних комп'ютерів були свої «дивацтва» і їх потрібно було знати і враховувати в програмі. Наприклад, різниця двох не рівних чисел повертала нуль. В результаті вираз «X = Y» і «X-Y = 0» вступали в протиріччя. Умільці обходили цю проблему дуже хитрими трюками, наприклад, робили присвоювання «X = (X-X) + X» перед операціями множення і ділення, щоб уникнути проблем.
- Ініціатива створити єдиний стандарт для представлення чисел з плаваючою точкою підозріло співпала зі спробами в 1976 році компанією Intel розробити «кращу» арифметику для нових співпроцесорів до 8086 і i432. За розробку взялися вчені - кити в цій області, проф. Джон Палмер і Вільям Кехен. Останній у своєму інтерв'ю висловив думку, що серйозність, з якою Intel розробляла свою арифметику, змусила інші компанії об'єднатися і почати процес стандартизації.
- Всі були налаштовані серйозно, адже дуже вигідно просунути свою архітектуру і зробити її стандартної. Свої пропозиції представили компанії DEC, National Superconductor, Zilog, Motorola. Виробники мейнфреймів Cray і IBM спостерігали. Компанія Intel, зрозуміло, теж представила свою нову арифметику. Авторами запропонованої специфікації стали Вільям Кехен, Джеромі Кунен і Гарольд Стоун і їх пропозицію відразу прозвали «K-C-S».Практично відразу ж були відкинуті всі пропозиції, крім двох: VAX від DEC і «K-C-S» від Intel. Специфікація VAX була значно простішою, вже була реалізована в комп'ютерах PDP-11, і було зрозуміло, як на ній отримати максимальну продуктивність. З іншого боку в «K-C-S» містилося багато корисної функціональності, такої як «спеціальні» і «денормалізовані» числа. У «K-C-S» всі арифметичні алгоритми задані строго і потрібно, щоб в реалізації результат з ними збігався. Це дозволяє виводити строгі викладки в рамках цієї специфікації. Якщо раніше математик вирішував завдання чисельними методами і доводив властивості свого рішення, не було ніякої гарантії, що ці властивості збережуться в програмі. Строгість арифметики «K-C-S» дозволила доведення теорем, спираючись на арифметику з плаваючою точкою. Компанія DEC зробила все, щоб її специфікацію зробили стандартом. Вона навіть заручилася підтримкою деяких авторитетних вчених в тому, що арифметика «K-C-S» в принципі не може досягти такої ж продуктивності, як у DEC. Іронія в тому, що Intel знала, як зробити свою специфікацію такою ж продуктивною, але ці хитрощі були комерційною таємницею. Якби Intel не поступилася і не відкрила частину секретів, вона б не змогла стримати натиск DEC.
- І із всіх цих людей реальною відмазка тільки в останніх трьох.
- Apple довелось замінити реальний рандом на ПСЕВДОрандом!