Forwarded from Hacker News (yahnc_bot)
GHC 9.0, supporting linear types https://discourse.haskell.org/t/glasgow-haskell-compiler-9-0-1-rc1-now-available/1706
Haskell Community
Glasgow Haskell Compiler 9.0.1-rc1 now available!
The GHC team is very pleased to announce the availability of the first release candidate of GHC 9.0.1 series. Source and binary distributions are available at the usual place. This release candidate comes quite a bit later than expected after difficulty…
A quick look at impredicativity - Microsoft Research
https://www.microsoft.com/en-us/research/publication/a-quick-look-at-impredicativity/
https://www.microsoft.com/en-us/research/publication/a-quick-look-at-impredicativity/
Microsoft Research
A quick look at impredicativity - Microsoft Research
Type inference for parametric polymorphism is wildly successful, but has always suffered from an embarrassing flaw: polymorphic types are themselves not first class. We present Quick Look, a practical, implemented, and deployable design for impredicative…
Armstrong's axioms - Wikipedia
https://en.wikipedia.org/wiki/Armstrong%27s_axioms
https://en.wikipedia.org/wiki/Armstrong%27s_axioms
Forwarded from Hacker News (yahnc_bot)
Deterministic Aperture: A distributed, load balancing algorithm https://blog.twitter.com/engineering/en_us/topics/infrastructure/2019/daperture-load-balancer.html
X
Deterministic Aperture: A distributed, load balancing algorithm
As parts of the Twitter application grow, we can scale demands on capacity by adding more instances or replicas to a respective service cluster (i.e., horizontal scaling)
Forwarded from Hacker News (yahnc_bot)
Reverse Engineering Source Code of the Biontech Pfizer Vaccine: Part 2 https://berthub.eu/articles/posts/part-2-reverse-engineering-source-code-of-the-biontech-pfizer-vaccine/
Bert Hubert's writings
Reverse Engineering Source Code of the Biontech Pfizer Vaccine: Part 2 - Bert Hubert's writings
All BNT162b2 vaccine data on this page is sourced from this World Health Organization document.
This is a living page, shared already so people can get going! But check back frequently for updates.
Translation: Français / 日本語
In short: the vaccine mRNA has…
This is a living page, shared already so people can get going! But check back frequently for updates.
Translation: Français / 日本語
In short: the vaccine mRNA has…
Forwarded from Hacker News (yahnc_bot)
Running Debian on a 32MB RAM Single Core ARM SBC https://blog.jmdawson.co.uk/lichee-nano-pi-will-it-run-debian/
Watch "Fast Inverse Square Root — A Quake III Algorithm" on YouTube
https://youtu.be/p8u_k2LIZyo
https://youtu.be/p8u_k2LIZyo
YouTube
Fast Inverse Square Root — A Quake III Algorithm
In this video we will take an in depth look at the fast inverse square root and see where the mysterious number 0x5f3759df comes from. This algorithm became famous after id Software open sourced the engine for Quake III. On the way we will also learn about…
Forwarded from 每日 AWESOME 观察
muesli / duf
查看磁盘用量的命令行工具,可视化图表界面,比 df 更好用。
查看磁盘用量的命令行工具,可视化图表界面,比 df 更好用。
GitHub
GitHub - muesli/duf: Disk Usage/Free Utility - a better 'df' alternative
Disk Usage/Free Utility - a better 'df' alternative - muesli/duf
Forwarded from Hacker News (yahnc_bot)
C2nim: A tool to translate ANSI C code to Nim https://github.com/nim-lang/c2nim
GitHub
GitHub - nim-lang/c2nim: c2nim is a tool to translate Ansi C code to Nim. The output is human-readable Nim code that is meant to…
c2nim is a tool to translate Ansi C code to Nim. The output is human-readable Nim code that is meant to be tweaked by hand before and after the translation process. - nim-lang/c2nim
Forwarded from Hacker News (yahnc_bot)
Open Source Smartwatch https://www.pine64.org/pinetime/
Forwarded from Hacker News (yahnc_bot)
Best Paper Awards in Computer Science in the Past 25 Years (1996-2020) https://jeffhuang.com/best_paper_awards/
Forwarded from AnyScript 珈琲貓>︿<
Twitter
ᴡᴇʀɪ ❥Class101
イレイナ