AMD's remarkable resurgence, the profitability of the server market today, and the prospect of significant CPU and GPU sales for them: https://www.nextplatform.com/2020/03/06/amd-is-determined-to-gets-its-rightful-datacenter-share/
Ultimately, competition is great for the consumer.
miniblog.
Using Idris' C FFI to do compile time type generation! https://docs.idris-lang.org/en/latest/guides/type-providers-ffi.html
(Lovely clear example.)
Today I learnt that idiomatic code in REBOL is called REBOLious!
Interesting security research on radio car key fobs. Tesla's model of regular over-the-air updates enabled a much faster fix. An upside of the "update all your appliances" model for consumer software!
https://www.wired.com/story/hackers-can-clone-millions-of-toyota-hyundai-kia-keys/
You can learn a lot about your readers by looking at their referral links. In this case, the author can see different company-internal bug tracking URLs!
This enables you to learn about who has a problem that you're blogging about
https://rachelbythebay.com/w/2020/03/05/bugs/
Docker seems to be losing steam, but it's a wonderful way to simplify deploys with a very small number of servers.
I'm curious to play with Kubernetes but it doesn't make sense at my hobbyist scale.
Are the other up-and-coming container tools that might compete?
Filecoin is solving a real consumer problem (needing backup storage but having empty local capacity,) using blockchain protocols!
https://filecoin.io/blog/filecoin-proof-system/
Blockchain problems can sometimes be replaced with simpler tech, but this seems like a great match.
I'm toying with the idea of writing a little language with all its keywords derived from leetspeak.
\/4Я id = 14|\/|8|)4 (x) => x;
Readability is overrated 🙃
Apple Pay already has a remarkable 5% of the global payments market!
https://qz.com/1799912/apple-pay-on-pace-to-account-for-10-percent-of-global-card-transactions/
I love that modern package managers (npm, cargo etc) make it easy to see what libraries need updating.
It's a shame that changelogs aren't a first class concept though. The tooling can't tell me what's changed, I have to find the relevant docs.
Kindness, expectations, and communication in OSS projects: https://snarky.ca/setting-expectations-for-open-source-participation/
Looking at assembly output from rustc to see zero cost abstractions in action: https://idursun.com/posts/rust_zero_cost_abstractions_in_action/
Bringing a 'command palette' (M-x in Emacs, Cmd-P in Atom) to all Gtk applications in Gnome!
https://github.com/p-e-w/plotinus
I'd love too see this UI paradigm be pervasive. The ribbon in office is helpfully contextually, but text lists with filtering scale superbly.
I definitely feel more productive with a larger monitor compared with just a laptop, and I know there have been studies on this.
I wonder if it's primarily the window switching overhead? E.g. would a tiling WM with lots of virtual desktops perform better?
It can be really hard to find good free resources: for-pay providers are much more motivated to promote themselves.
I found it really hard to find quality stock images, and eventually found unsplash. This week I found pixabay too.
I'm sure this also happens in other domains.
One thing I've really come to appreciate from working on type checkers:
There's a crucial difference between the type system and checks you can do on type-inferred code.
E.g. using a bottom type is totally well-typed, but users expect warnings:
x = exit(0);
Digital Ocean still growing at 20% YoY and targeting profitability in 2 years: https://techcrunch.com/2020/02/20/digitalocean-raises-100m-in-debt-as-it-scales-towards-revenue-of-300m-profitability/
I'm a happy DO user but I like to know about the profitability of the services I use.
Wonderful, empathetic discussion of open source dynamics, emotional associations and mindset: https://blog.burntsushi.net/foss/
The dhall survey has a ton of interesting feedback from users about why they use the language, what they use it for, and areas that need work. https://www.haskellforall.com/2020/02/dhall-survey-results-2019-2020.html
It's a really great way of learning what needs polish on the official website too!
Nifty, you can run Coq in a web browser with a notebook-style interface! https://x80.org/rhino-coq/
Showing 1,521-1,540 of 7,508 posts