I have days where I communicate more in written form than spoken.
Given the popularity of messaging on smartphones, and the frequency of emails in the average workplace, will we reach a point where text is the most common medium? Has it happened already?
miniblog.
@MonzoStatus @monzo your status page suggests that Monzo is very broken: https://mondo.statuspage.io/ -- is this true?
Usually, npmtrends is a great way of choosing a library that's widely used and probably more reliable and better documented. When choosing a JS parser, the options are remarkably close!
Several times a year I get emails from academic projects that have crawled GitHub and want to do surveys. I wish them luck, but there's a tragedy of the commons going on here.
If you pay users to store copies of your data, how do you ensure that they don't claim they have extra copies? An interesting problem! Public Incompressible Encoding for e.g. FileCoin: https://hackingdistributed.com/2018/08/06/PIEs/
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: https://ai.duolingo.com/papers/settles.acl16.pdf
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: https://rustsec.org/
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.
The use of the word "lol" is apparently pretty rare now:
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.
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.
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.
Effectively compiling machine learning models by building a source level differentiation analysis on standard Julia syntax: https://julialang.org/blog/2018/12/ml-language-compiler
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.
https://www.marketwatch.com/story/bitcoin-is-close-to-becoming-worthless-2018-12-03
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 ☺️
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,361-2,380 of 7,508 posts