furcyd

34 ms·

271.
Guidelines on Minimum Standards for Developer Verification of Software [pdf](arxiv.org)
1 points by furcyd 5y ago|0 comments
272.
Steven Weinberg (1933-2021): a personal view(scottaaronson.com)
25 points by furcyd 5y ago|5 comments
273.
Astronomers See Moons Forming in Disk Around Distant Exoplanet(nytimes.com)
1 points by furcyd 5y ago|0 comments
274.
by furcyd 5y ago
e.g., Leonard Adleman, Whitfield Diffie, Martin Hellman, Richard Karp, Ron Rivest, Terence Tao, Bob Tarjan, and many more
275.
HLF portraits – Interviews of many prominent computer scientists/mathematicians(av.tib.eu)
4 points by furcyd 5y ago|2 comments
276.
A.I. Predicts the Shapes of Molecules to Come(nytimes.com)
3 points by furcyd 5y ago|0 comments
277.
Lifting Weights? Your Fat Cells Would Like to Have a Word(nytimes.com)
31 points by furcyd 5y ago|3 comments
278.
White House Dispute Exposes Facebook Blind Spot on Misinformation(nytimes.com)
2 points by furcyd 5y ago|0 comments
279.
An Introduction to Transfinite Mathematics (1964) [pdf](thatmarcusfamily.org)
1 points by furcyd 5y ago|0 comments
280.
Google tries out error correction on its quantum processor(arstechnica.com)
7 points by furcyd 5y ago|0 comments
281.
A Tiny Computer on a Snail Helps Solve an Extinction Mystery(nytimes.com)
1 points by furcyd 5y ago|0 comments
282.
Richard C. Lewontin, Eminent Geneticist with a Sharp Pen, Dies at 92(nytimes.com)
4 points by furcyd 5y ago|0 comments
283.
A Physics Prof Bet Me $10k I'm Wrong(youtube.com)
18 points by furcyd 5y ago|5 comments
284.
We have another highly effective Covid vaccine, based on different tech(arstechnica.com)
2 points by furcyd 5y ago|0 comments
285.
Searching for RH Counterexamples(jeremykun.com)
2 points by furcyd 5y ago|1 comments
286.
Bitcoin and Encryption: A Race Between Criminals and the FBI(nytimes.com)
2 points by furcyd 5y ago|0 comments
287.
Physicists find “definitive evidence” of mechanism behind brightest auroras(arstechnica.com)
1 points by furcyd 5y ago|0 comments
288.
Bitcoin Is Traceable, Pipeline Investigation Shows(nytimes.com)
52 points by furcyd 5y ago|31 comments
289.
In Quantum Physics, Everything Is Relative(nytimes.com)
1 points by furcyd 5y ago|0 comments
290.
Stack Overflow sold to tech investor Prosus for $1.8B(arstechnica.com)
1 points by furcyd 5y ago|0 comments
291.
K. Gödel Whose Brilliant Life Intersected with the Upheavals of the 20th Century(nytimes.com)
7 points by furcyd 5y ago|0 comments
292.
What the physics of skipping stones can tell us about aircraft water landings(arstechnica.com)
2 points by furcyd 5y ago|0 comments
293.
Archaeologists vs. Computer: New Study Fuels Sorting Competition(nytimes.com)
2 points by furcyd 5y ago|0 comments
294.
Hilbert Tenth on Rationals(rjlipton.wpcomstaging.com)
1 points by furcyd 5y ago|0 comments
295.
Why do countries and companies invest their own (?) money in Quantum Computing?(blog.computationalcomplexity.org)
1 points by furcyd 5y ago|0 comments
296.
Pioneer of Microwave and Millimeter-Wave Electronics Dies at 80(spectrum.ieee.org)
2 points by furcyd 5y ago|0 comments
297.
Spencer Silver, an Inventor of Post-It Notes, Is Dead at 80(nytimes.com)
2 points by furcyd 5y ago|0 comments
298.
Why a Shortage Has Made Computer Chips the New Toilet Paper(nytimes.com)
2 points by furcyd 5y ago|0 comments
299.
The Mythical Man-Month, Hen-Day, and Cat-Minute (Fred Brooks Turned 90)(blog.computationalcomplexity.org)
4 points by furcyd 5y ago|0 comments
300.
Feferman's Virtual Book: Logic, Mathematics, and Conceptual Structuralism(logicmatters.net)
1 points by furcyd 5y ago|0 comments

More ›