Образцово-показательный проект на "современном JavaScript": https://github.com/lukeed/preact-progress
Один (sic!) файл исходников и два (sic!!!) файла конфигурации системы сборки. Это они ещё
Если вы думаете, что это единственный такой проект — посмотрите по Гитхабу повнимательнее.
Один (sic!) файл исходников и два (sic!!!) файла конфигурации системы сборки. Это они ещё
package-lock.json не закоммитили и нет отдельного конфига для Babel.Если вы думаете, что это единственный такой проект — посмотрите по Гитхабу повнимательнее.
GitHub
GitHub - lukeed/preact-progress: Simple and lightweight (~590 bytes gzip) progress bar component for Preact
Simple and lightweight (~590 bytes gzip) progress bar component for Preact - GitHub - lukeed/preact-progress: Simple and lightweight (~590 bytes gzip) progress bar component for Preact
🥱4💩1
Кто катит в кубер по утрам
Тот поступает мудро!
Известно всем, парам-парам,
На то оно и утро!
Скучна вечерняя пора,
Девопсеры зевают.
Но если катим мы с утра
Такого не бывает!
Тот поступает мудро!
Известно всем, парам-парам,
На то оно и утро!
Скучна вечерняя пора,
Девопсеры зевают.
Но если катим мы с утра
Такого не бывает!
👍2
"time-series of image data" — а я всегда думал, что это называется видео... 🤔
😁6🤯2
https://www.youtube.com/channel/UCzipicZiZ1843jAqmSGgYwg
Video recordings of talks from "50 years of Smalltalk". It has a talk on theorem proving... 🤔
Video recordings of talks from "50 years of Smalltalk". It has a talk on theorem proving... 🤔
👍1
https://www.youtube.com/watch?v=Iz70bD63RWY
Looks neat... If they really manage to turn it into a TV-show... 😏
Looks neat... If they really manage to turn it into a TV-show... 😏
YouTube
Infinity System Trailer
Infinity System is a scifi western tv show where all may not be as it seems.
To find out more visit wolfpackentertainment.co/projects or Instagram @wolfpackentertainment.co
To find out more visit wolfpackentertainment.co/projects or Instagram @wolfpackentertainment.co
https://news.ycombinator.com/item?id=11941656
Under the linked message advertising Luna language (now Enso) there's a thread between Alan Kay and Rich Hickey concerning "Data vs. Objects".
The most immediately striking thing is that Rich is much more thoughtful and deep than he seems! 😅
Adding to the discussion, I guess the fact (a datum?! 🤔) that we can decipher ancient languages for which we have no interpreters around for millennia to large extend might hint that (structured) data is indeed kinda more fundamental than objects...
Under the linked message advertising Luna language (now Enso) there's a thread between Alan Kay and Rich Hickey concerning "Data vs. Objects".
The most immediately striking thing is that Rich is much more thoughtful and deep than he seems! 😅
Adding to the discussion, I guess the fact (a datum?! 🤔) that we can decipher ancient languages for which we have no interpreters around for millennia to large extend might hint that (structured) data is indeed kinda more fundamental than objects...
http://aitp-conference.org/2022/
Apparently, there's an annual conference on all things AI and Mechanised Theorem Proving (automatic, interactive and their integration). Topics cover everything from mining archives of formal proofs to proving correctness of ML algorithms to AGI applications.
This year's speaker lineup is insane from Ben Goertzel and Stephen Wolfram to Kevin Buzzard and Talia Ringer.
Apparently, there's an annual conference on all things AI and Mechanised Theorem Proving (automatic, interactive and their integration). Topics cover everything from mining archives of formal proofs to proving correctness of ML algorithms to AGI applications.
This year's speaker lineup is insane from Ben Goertzel and Stephen Wolfram to Kevin Buzzard and Talia Ringer.
For those who still doesn't follow closely Lawrence Paulson's blog (shame on you!) he reviews Turing Machines, some other equivalent formalisms and the history of their development: https://lawrencecpaulson.github.io/2022/07/06/Turing_Machines.html
🔥2
https://www.youtube.com/watch?v=ou4xmq4C7uI
Для низкобюджетного "домашнего" проекта — удивительно хорошо!
Для низкобюджетного "домашнего" проекта — удивительно хорошо!
YouTube
BLACK MARKET BRAWL - An Action Short Film
Turbo Action Presents:
BLACK MARKET BRAWL
A Treasure-Hunting Mercenary and a Black Market Salesman attempt to sell an ancient artefact: A ring that gives it's barer “god-like” powers. Shit hits the fan when the ring is revealed to be missing right as the…
BLACK MARKET BRAWL
A Treasure-Hunting Mercenary and a Black Market Salesman attempt to sell an ancient artefact: A ring that gives it's barer “god-like” powers. Shit hits the fan when the ring is revealed to be missing right as the…
https://blog.brownplt.org/2022/06/28/static-python.html
> This work focuses on the Static Python language built by the Instagram team at Meta.
🧐
> In particular, we find that the design holds up the intent of soundness well, but the act of modeling it uncovered several bugs (including one that produced a segmentation fault), all of which have now been fixed.
🤔
> As an aside, this paper is a collaboration that was born entirely thanks to Twitter and most probably would never have occurred withtout it.
😁
> This work focuses on the Static Python language built by the Instagram team at Meta.
🧐
> In particular, we find that the design holds up the intent of soundness well, but the act of modeling it uncovered several bugs (including one that produced a segmentation fault), all of which have now been fixed.
🤔
> As an aside, this paper is a collaboration that was born entirely thanks to Twitter and most probably would never have occurred withtout it.
😁
blog.brownplt.org
Gradual Soundness: Lessons from Static Python
👍1
https://arrdem.com/2022/07/04/superficial_simplicity/
A reflection on "Simple Made Easy", "Growing a Language", macros and complexity management. Points out (once again) the tension between user-extensibility and tool-analysability.
A reflection on "Simple Made Easy", "Growing a Language", macros and complexity management. Points out (once again) the tension between user-extensibility and tool-analysability.
https://github.com/readme/featured/functional-programming
«Functional programming is finally going mainstream»
Well, if GitHub themselves say so then who are we to disagree?
«Functional programming is finally going mainstream»
Well, if GitHub themselves say so then who are we to disagree?
GitHub
Functional programming is finally going mainstream
With origins that stretch back to the late 1950s, functional programming might seem dated—but it can be a boon for growing teams working with large codebases. Read more from @klintron:
👍3
https://nickchk.com/causalgraphs.html
Causal inference! With animations! 😄
The post explains and illustrates basic notions and methods of causal inference with examples from econometrics. And animated plots, yep.
#causalinference #statistics
Causal inference! With animations! 😄
The post explains and illustrates basic notions and methods of causal inference with examples from econometrics. And animated plots, yep.
#causalinference #statistics
👍1
https://medium.com/@Reisen_0/a-review-of-the-case-against-education-bacc120cb8cd
A very interesting and thoughtful piece on Human Capital vs. Signalling in Education. Pretty fascinating topic, many academic references, great read.
A very interesting and thoughtful piece on Human Capital vs. Signalling in Education. Pretty fascinating topic, many academic references, great read.
Medium
A Review of “The Case Against Education”
This is a lightly edited repost of a twitter thread. So, short paragraphs ahoy:
https://imgur.com/a/rnATR7D
A flowchart guiding a regression model construction out of bunch of variables. Touches subtle causal issues.
#statistics #datascience
A flowchart guiding a regression model construction out of bunch of variables. Touches subtle causal issues.
#statistics #datascience
Imgur
A Flowchart for Constructing a Regression Model
Post with 1582 views. A Flowchart for Constructing a Regression Model
https://nickch-k.github.io/DataVizChecklist/
A concise "obvious" but totally useful #data #visualization #checklist
Actually I'd say it does not emphasize enough the need for a meaningful story before you try to visualize it. And if you're preparing visualization for an academic publication does not emphasize enough the importance of large enough readable titles and captions. 😄
A concise "obvious" but totally useful #data #visualization #checklist
Actually I'd say it does not emphasize enough the need for a meaningful story before you try to visualize it. And if you're preparing visualization for an academic publication does not emphasize enough the importance of large enough readable titles and captions. 😄
DataVizChecklist
Data Visualization Checklist
A brief checklist to go through before you’re done with your data visualization, or as you’re using it.
https://lost-stats.github.io/
"LOST is a Rosetta Stone for statistical software"
Or "Rosetta Code". Useful reference either way.
#statistics #datascience
"LOST is a Rosetta Stone for statistical software"
Or "Rosetta Code". Useful reference either way.
#statistics #datascience
https://econml.azurewebsites.net/spec/spec.html
The EconML Python SDK, developed by the ALICE team at MSR New England, incorporates individual machine learning steps into interpretable causal models.
Pretty cool. Docs feature introduction into the topic and the methods.
#datascience #causalinference #machinelearning
The EconML Python SDK, developed by the ALICE team at MSR New England, incorporates individual machine learning steps into interpretable causal models.
Pretty cool. Docs feature introduction into the topic and the methods.
#datascience #causalinference #machinelearning
#machinelearning for 4-graders (~10 years old)
https://orangedatamining.com/blog/2022/2022-06-01-blog-minions-new/
Most important points IMO:
- Single simple task: classification with decision trees
- Guide pupils to invent the method themselves on simplified visual and familiar synthetic data
- Show automation on data pupils collected themselves, manually retrace the generated tree
- Discuss issues with data and problems they generate down the line
https://orangedatamining.com/blog/2022/2022-06-01-blog-minions-new/
Most important points IMO:
- Single simple task: classification with decision trees
- Guide pupils to invent the method themselves on simplified visual and familiar synthetic data
- Show automation on data pupils collected themselves, manually retrace the generated tree
- Discuss issues with data and problems they generate down the line
Orangedatamining
How to grow trees in a marmalade factory?
We let the fourth grade students build their own decision tree to classify characters into professions.