Linkstream – Telegram
Linkstream
173 subscribers
32 photos
3 videos
2 files
898 links
Various links I find interesting. Mostly hardcore tech :) // by @oleksandr_now. See @notatky for the personal stuff
Download Telegram
Am I the only one puzzled when they say "autonomous driving will require faster connectivity" with a straight face?
https://wz.ax/zerohedge/autonomous-f1-race-indy
Technology Empowerment: Security Challenges (Sandia NL'17)
“innovation is increasingly accessible to ordinary people of limited means”
is a... “national security challenge”.

so sweet.
https://wz.ax/sandia-technology-empowerment-2017
Hans-J. Boehm: Towards an API for real numbers
Adrian Colyer's excellent review, as always %)
(also: applied number theory! in a calculator near you!)
TLDR: Thermal noise => graphene as a low-pass filter => rectifier diodes => heat-to-electricity converter. Still looks like a perpetual motion machine. 10 mW is A LOT o_O
https://wz.ax/energy-harvester
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
TLDR: strong typing is not only about data, it's even more important to be able to model and verify communication protocols and their implementation. keywords: STScript, RouST
https://wz.ax/doi/10.1145/3446804.3446854
upd: found the code!
https://wz.ax/doi/10.5281/zenodo.4399899
February 2021: Marc Lackenby announces a new unknot recognition algorithm that runs in quasi-polynomial time
"No systematic method is yet known by which one can tell whether two knots are the same." - 'Solvable and Unsolvable Problems', Science News 31, pp 7-23 (1954)
https://wz.ax/the-unknot