[aptitude]

HN:Live

F* - język programowania funkcjonalnego typu ML mający na celu weryfikację programu
http://fstar-lang.org

Chcesz więc napisać sprawdzacz typu
http://languagengine.co/blog/so-you-want-to-write-a-type-checker/

Mali's Desert Elephants, na krawędź unicestwienia, Uzyskaj Szanse Walczące.
https://www.nytimes.com/2017/10/29/world/africa/mali-elephants-gourma.html

Deepo: wizerunek Dockera zawierający prawie wszystkie popularne, głębokie ramy uczenia się
https://github.com/ufoym/deepo

Przekształcanie SVG w komponenty reaktywne
https://github.com/smooth-code/svgr

Najlepszy na świecie algorytm dla dużych strumieni danych.
https://www.quantamagazine.org/best-ever-algorithm-found-for-huge-streams-of-data-20171024/

Kalifornia musi ponownie przemyśleć ryzyko pożarów w miastach po tragedii kraju winiarskiego.
https://theconversation.com/california-needs-to-rethink-urban-fire-risk-after-wine-country-tragedy-85966

Obejrzyj tę Neuronową Fotorealistyczną Twarze Fotorealistyczne Twarz jest pełzająca i zatykająca.
https://sploid.gizmodo.com/watching-this-neural-network-render-truly-photorealisti-1819957128

Użycie programu Word2vec do wyszukiwania pojęć
https://www.garysieling.com/blog/concept-search

Japońscy badacze twierdzą, że grypa ptaków jest w stanie wykryć raka jelita grubego w czasie krótszym niż sekunda
http://www.zdnet.com/article/japanese-researchers-say-ai-can-detect-bowel-cancer-in-less-than-a-second/

Microsoft Azure oferuje teraz bezpłatne 12-miesięczne konto poziomu.
https://azure.microsoft.com/en-us/free/

Zapomniałem kodu PIN ": Epicka opowieść o utracie $30,000 w Bitcoin.
https://www.wired.com/story/i-forgot-my-pin-an-epic-tale-of-losing-dollar30000-in-bitcoin/

Aplikacja na Facebooku słucha w tle do kierowania reklam.
https://www.youtube.com/watch?v=U0SOxb_Lfps

Zasady działania programisty Zen
https://www.zenprogrammer.org/en/10-rules-of-a-zen-programmer.html


#hnlive
[tłumaczenia by deepl]
! aby nie otrzymywać tych postów, dodaj tag #hnlive do ignorowanych ( ͡° ͜ʖ ͡°)