Trending tags: ai  github.com  rust  health  apple  show  google  trump  theverge.com  go  neuroscience  linux  security  china  psypost.org  arstechnica.com  nature.com  java  brain  psychology 

Proof by storytelling

8 years ago chalkdustmagazine.com

Related Stories

Small Propositional Logic Proof Assistant

2 days ago reddit.com python

A proof of concept tool to verify estimates

14 days ago terrytao.wordpress.com

New 'Superdiffusion' Proof Probes the Mysterious Math of Turbulence

15 hours ago quantamagazine.org math

A tool to verify estimates, II: a flexible proof assistant

6 days ago terrytao.wordpress.com formalmethods math

Linguists Find Proof of Sweeping Language Pattern Once Deemed a 'Hoax'

7 days ago scientificamerican.com

Security Researchers Create Proof-of-Concept Program that Evades Linux Syscall-Watching Antivirus

12 days ago theregister.com linux

A Rust API Inspired by Python, Powered by Serde

9 days ago ohadravid.github.io api python rust

Stability by Design

8 days ago potetm.com clojure

Process state by &mut, or, by move in and out

8 days ago reddit.com rust

Time saved by AI offset by new work created, study suggests

14 days ago arstechnica.com ai

The Cybertruck was supposed to be apocalypse-proof. Can it even survive a trip to the grocery store?

2 days ago theguardian.com

"Vibe Coding" by Emergent Garden

10 days ago youtube.com vibecoding video

Filtering GitHub actions by changed files

12 days ago nedbatchelder.com devops github vcs

Stop Solving Problems by Adding Processes

4 days ago medium.com

UK could require solar panels on most new homes by 2027 | Country aims to decarbonize by 2030

12 days ago techspot.com

Contributions to ruby/spec by Ruby implementation

13 days ago eregon.me ruby

Reducing SVGs by 90% with Javascript tricks

9 days ago lostpixels.io javascript

Ports that are blocked by browsers (2023)

3 days ago keenformatics.com

Mac app launches slowed by malware scan (2024)

15 days ago lapcatsoftware.com mac malware

AfD classified as extreme-right by German intelligence

14 days ago bbc.com

Pinterest Users Left Confused By Mass Account Suspensions

14 days ago theverge.com

16-bit Intel 8088 Chip by Charles Bukowski

7 days ago kottke.org culture intel

I ruined my vacation by reverse engineering WSC

5 days ago blog.es3n1n.eu reversing security windows

Nvidia Reportedly Raises GPU Prices by 10-15%

4 days ago tomshardware.com gpu nvidia

Malicious compliance by booking an available meeting room

43 hours ago clientserver.dev

Giant Bomb has been sold by Fandom, will continue independently | The site has been purchased by long-time staff members

5 days ago videogameschronicle.com

ADHD could contribute to obesity by reducing physical activity, and this relationship could also be influenced by where you live

24 hours ago scimex.org health

US Manufacturing Activity Shrinks by the Most Since November

15 days ago bloomberg.com

claude-code: Anthropic's CVE 9.x "by design"

14 days ago substack.evancarroll.com

Website for US deportation airline GlobalX defaced by hackers

10 days ago reuters.com airline flight