korrents

On the map

Tap a claim on the ring to put it at the centre.

← A fulfilling 'do nothing' meditation practice requires equally…

17 connected korrents · 14 moments on record from 4 Feb 2009 to 1 Sept 2026.

Everything filed under mathematics mathematics Everything filed under AI and science AI and science Everything filed under formal proof formal proof Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: A fulfilling 'do nothing' meditation practice requires equally embracing all present sensation rather than avoiding difficult ones. A fulfilling 'do nothing' meditationpractice requires equally embracing allpresent sensation rather than avoidingdifficult ones. Last stated 5 months ago 25 Apr 2026 SC Sasha Chapin — holds since 2026-04-25 — tap for who they are Same subject: A sustained 'do nothing' meditation practice surfaces unresolved psychological material in an order the practitioner cannot control. — tap to centre the map on it A sustained 'do nothing' meditationpractice surfaces unresolvedpsychological material in an orderthe practitioner cannot control. Last stated 5 months ago 25 Apr 2026 SC Sasha Chapin — holds since 2026-04-25 — tap for who they are Same subject: There are more profound states of transformation available to a person beyond the ordinary benefits of everyday meditative practice. — tap to centre the map on it There are more profound states oftransformation available to a personbeyond the ordinary benefits ofeveryday meditative practice. Last stated 3 weeks ago 1 Sept 2026 SC Sasha Chapin — holds since 2026-09-01 — tap for who they are Same subject: A well-functioning contemplative practice should feel like an engaging encounter with mystery rather than a chore. — tap to centre the map on it A well-functioning contemplativepractice should feel like anengaging encounter with mysteryrather than a chore. Last stated 5 months ago 25 Apr 2026 SC Sasha Chapin — holds since 2026-04-25 — tap for who they are Same subject: Living according to a genuine purpose brings sacrifice, stress and pain rather than constant enjoyment. — tap to centre the map on it Living according to a genuinepurpose brings sacrifice, stress andpain rather than constant enjoyment. Last stated 10 months ago 5 Dec 2025 MM Mark Manson — holds since 2025-12-05 — tap for who they are Same subject: Damaging experiences from meditation usually happen because practitioners chase results instead of following the method. — tap to centre the map on it Damaging experiences from meditationusually happen because practitionerschase results instead of followingthe method. Last stated 4 months ago 11 May 2026 SC Sasha Chapin — holds since 2026-05-11 — tap for who they are Same subject: Work that matters requires tolerating discomfort and boredom rather than escaping into distraction. — tap to centre the map on it Work that matters requirestolerating discomfort and boredomrather than escaping intodistraction. Last stated 5 years ago by 18 Aug 2021 OB Oliver Burkeman — holds since 2021-08-18 — tap for who they are CN Cal Newport — holds since 2009-02-04 — tap for who they are Same subject: Practicing meditation for methods rather than for results is one of the most important principles in contemplative practice. — tap to centre the map on it Practicing meditation for methodsrather than for results is one ofthe most important principles incontemplative practice. Last stated 4 months ago 11 May 2026 SC Sasha Chapin — holds since 2026-05-11 — tap for who they are Same subject: Total freedom does not make you happy; constraints do. — tap to centre the map on it Total freedom does not make youhappy; constraints do. Last stated 2 years ago 20 Aug 2024 PL Pieter Levels — holds since 2024-08-20 — tap for who they are Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it A proof and an explanation aredifferent things, and a theorem canstay an unsolved expository problemlong after it is proved. Last stated 3 months ago 30 Jun 2026 GS Grant Sanderson — holds since 2026-06-30 — tap for who they are Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers withany error rate at all becomesinsufferable, because finding theerror costs more than the paper isworth even at ninety-nine percent. Last stated 3 months ago 30 Jun 2026 GS Grant Sanderson — holds since 2026-06-30 — tap for who they are Same subject: Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. — tap to centre the map on it Academic credentials — grades,major, the prestige of the degree —barely matter to industry hiring. Last stated 15 years ago 28 Oct 2011 PM Patrick McKenzie — holds since 2011-10-28 — tap for who they are Same subject: A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. — tap to centre the map on it A compound's AI origin story is notby itself a reason to expect it todo better in the clinic. Last stated 2 years ago 13 May 2024 DL Derek Lowe — holds since 2024-05-13 — tap for who they are Same subject: A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. — tap to centre the map on it A computational discovery platformdoes not make a biotech fast,because the thousand other steps ofdrug development are still thebottleneck. Last stated 2 years ago 17 Sept 2024 AT Alex Telford — holds since 2024-09-17 — tap for who they are Same subject: A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. — tap to centre the map on it A computational method can regularlypredict protein structures withatomic accuracy even when no similarstructure is known. Last stated 5 years ago 15 Jul 2021 DH Demis Hassabis — holds since 2021-07-15 — tap for who they are Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples;a proof settles an infinite statespace, which is why formal methodscan say things testing never can. Last stated 5 months ago 22 Apr 2026 MK Martin Kleppmann — holds since 2026-04-22 — tap for who they are Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods morepopular without making themmainstream, moving them from about atenth of a per cent of engineers tothree tenths. Last stated 2 months ago 29 Jul 2026 HW Hillel Wayne — holds since 2026-07-29 — tap for who they are Same subject: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formal proofnecessary, because human review ofall that generated code becomes thebottleneck. Last stated 5 months ago 22 Apr 2026 MK Martin Kleppmann — holds since 2026-04-22 — tap for who they are
same subject or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2009 to today (stretched back to the oldest claim here) — full is todaya face: someone on record holding the claim — tap it for who they are

At the centre A fulfilling 'do nothing' meditation practice requires equally embracing all present sensation rather than avoiding difficult ones. Last stated 25 Apr 2026 · 5 months ago Holds Sasha Chapin Read this korrent →