31–40 of 700 posts
Essentially let’s you verify computation is accurate without doing the computation yourself, and even treating the computation as a black box so you don’t know what is computed. Many applications in privacy, but also for outsourced computation.
1. Cloudflare Workers, I don't have the bandwidth to experiment with it right now but it interests me greatly. https://workers.cloudflare.com/ 2. Rust - definitely will be the next language I learn. Sadly the coronavirus cancelled a series of meetings in Michigan promising to give a gentle introduction to Rust. https://www.rust-lang.org/learn
Only started to become available last year in AWS' more expensive instance types. But hoping it will become more widespread.
Benchmarks with Spark result in real world performance improvements of 2-3x and SSDs will be much faster with PCIe4.0.
Self hosting - https://cloudron.io
They'd be so much more successful, if "Install" button did not have this: wget https://cloudron.io/cloudron-setup chmod +x ./cloudron-setup ./cloudron-setup --provider [digitalocean,ec2,generic,ovh,...]
Redpanda https://vectorized.io/
Going to be interesting to see if they survive as the pace of JVM improvements has been rapidly increasing in the last year or so.
A tool for networked thought that has been an effective "Second Brain" for me.
I'm writing way more than ever through daily notes and the bi-directly linking of notes enables me to build smarter connections between notes and structure my thoughts in a way that helps me take more action and build stronger ideas over time.
The MiSTer FPGA-based hardware platform.
RISC-V is gonna change everything. Yeah, RISC-V is good.