Modelling foreign language learning in the Duolingo app by fitting a machine learning model! When you have millions of users you can measure recall effectiveness with a high degree of confidence:
miniblog.
2
Rust library bugs in FFI or other unsafe code blocks can have severe consequences, even remote code execution.
It's great to see that there's now a site for announcing security bugs in the ecosystem:
410
I had an interesting conversation today with someone who was starting out in tech, and asked me for advice.
I did my best to provide concrete, actionable suggestions:
Lots of polish and neat new features in git 2.20! https://lkml.iu.edu/hypermail/linux/kernel/1812.1/00293.html
I like the new 'break' command for rebasing. Easy to explain and easy to use.
3
The use of the word "lol" is apparently pretty rare now:
.png)
2
Remarkable to hear that Microsoft is replacing edgeHTML and Chakra with Blink and V8 in Edge! https://techcrunch.com/2018/12/06/microsoft-edge-goes-chromium-and-macos/
As the article comments, by limiting Edge to Windows 10, it couldn't gain enough market share to get many web developers to support it.
2
AlphaGo decisively beating Stockfish (a state of the art FOSS chess engine): https://www.chess.com/news/view/updated-alphazero-crushes-stockfish-in-new-1-000-game-match
There was some discussion about the previous comparison being unfair, so it's interesting to see a match with more setup details.
2
Untyped programs don't exist: https://www.williamjbowman.com/blog/2018/01/19/untyped-programs-don-t-exist/
Demonstrates a simple theorem, but has a nuanced notion of types as invariants. It discusses the important questions of when we should check types, allowing escape hatches, and whether type checking should be decidable.
1
Effectively compiling machine learning models by building a source level differentiation analysis on standard Julia syntax:
32
Lovely talk on type driven development in Idris 2, largely a live demo!
https://youtu.be/mOtKD7ml0NU
Interesting (though pessimistic) commentary on the fundamental value of bitcoin: the network is only viable if the value of a bitcoin exceeds the mining cost.
All the spectre/meltdown hardening techniques have a significant CPU overhead.
I imagine CPU manufacturers have had to invest significantly in redesigns recently. Still, the additional overhead might force me to buy new hardware, and I guess others will too.
IPFS is becoming more widely adopted!
It does solve a real problem: having a small blog collapse from HN or Slashdot users is silly. It feels rather like a more general solution for a CDN. https://twitter.com/Cloudflare/status/1041674183946764288
@rocx If it's built in to the language and pervasively used, I'd consider Optional<T> to include the null value. However, optional types prevent the mistake, since the compiler checks ☺️
11
Tons of hobby operating systems exist, but hobbyists have built browsers too.
*Emacs has eww
*Webkit and Chrome were both born from KHTML, a FOSS project
*Servo started as a small research project
Showing 2,446-2,460 of 7,583 posts