1
Effectively compiling machine learning models by building a source level differentiation analysis on standard Julia syntax:
miniblog.
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
I've been thinking more about this viewpoint, and I think both simple kernels and simple browsers are possible for an enthusiastic hobbyist.
https://twitter.com/patio11/status/1064394542776934400
1
Idle thought: you can view a type system as just an abstract interpretation of code. `x = 1` can be abstracted as assuming that x is a number, then checking that numbers are appropriate wherever x is used.
2
Overhauling the Rust homepage, and a superb discussion of effective writing to sell your ideas amd enable your users:
The existence of a null value isn't a billion dollar mistake. The issue is when static type systems allow null anywhere.
Even some dynamic languages don't have a null value. For example, some lisps only have the empty list, which they use as a null-like value by convention.
Using open source projects has tangible benefits for both companies and their staff:
1
Building a unikernel based on standard Linux, no init process, and link time optimisation: https://next.redhat.com/2018/11/14/ukl-a-unikernel-based-on-linux/
5
Awesome talk on IDE culture, live programming, and ideas that we can take from Smalltalk: https://youtu.be/baxtyeFVn3w
Awesome talk on IDE culture, live programming, and ideas that we can take from Smalltalk: https://youtu.be/baxtyeFVn3w
Showing 46-60 of 657 posts