Formally verifying Advent of Code using Dijkstra's program construction
(news.ycombinator.com)
61.
62.
Understanding ECDSA
(news.ycombinator.com)
63.
64.
'Crime Rings Enlist Hackers To Hijack Trucks'
(slashdot.org)
66.
Record-low deals: These Star Wars and Jack Skellington Echo Dot bundles are too cool!
(androidauthority.com)
67.
If the AI bubble bursts, what will it mean for research?
(feeds.nature.com)
68.
AI note-taking startup Fireflies was really two guys typing notes by hand
(news.ycombinator.com)
69.
What happened to Transmeta, the last big dotcom IPO
(news.ycombinator.com)
70.
Deal: The Nightmare Before Christmas Echo Dot bundle is still around!
(androidauthority.com)
71.
Runaway black hole mergers may have built supermassive black holes
(arstechnica.com)
72.
73.
74.
A turn lane in Rhododendron
(news.ycombinator.com)
75.
An Illustrated Introduction to Linear Algebra, Chapter 2: The Dot Product
(news.ycombinator.com)
76.
Deal: You might still get the Nightmare Before Christmas Echo Dots by Halloween!
(androidauthority.com)
78.
The Echo Dot Max is Amazon’s biggest little speaker yet
(theverge.com)
79.
New Herodotus Android malware fakes human typing to avoid detection
(bleepingcomputer.com)
81.
82.
83.
Discrete Fourier Transform
(news.ycombinator.com)
84.
Google pulls ICE alert app Red Dot from Play Store, citing policy violations
(androidauthority.com)
85.
86.
87.
In C++ modules globally unique module names seem to be unavoidable
(news.ycombinator.com)
88.
89.
Are you a Nightmare Before Christmas fan? You need to check out these deals!
(androidauthority.com)