Some Junk Theorems in Lean
https://github.com/James-Hanson/junk-theorems-in-lean
#HackerNews #Some #Junk #Theorems #in #Lean #programming #Lean #Theorems #Junk #Theorems #Math #Community
AI Police Reports: Year in Review
https://www.eff.org/deeplinks/2025/12/ai-police-reports-year-review
#HackerNews #AI #Police #Reports #Year #in #Review #AI #Ethics #Tech #News #Law #Enforcement
AI Police Reports: Year in Review
https://www.eff.org/deeplinks/2025/12/ai-police-reports-year-review
#HackerNews #AI #Police #Reports #Year #in #Review #AI #Ethics #Tech #News #Law #Enforcement
More than half of researchers now use AI for peer review, often against guidance
https://www.nature.com/articles/d41586-025-04066-5
#HackerNews #AI #in #Research #AI #Peer #Review #Research #Trends #Academic #Integrity #Technology #in #Academia
US TikTok investors in limbo as deal set to be delayed again
https://www.bbc.com/news/articles/cp34442z25ko
#HackerNews #US #TikTok #investors #in #limbo #as #deal #set #to #be #delayed #again #media #news #TikTok #investors #delay #business
In the Beginning Was the Command Line (1999)
https://web.stanford.edu/class/cs81n/command.txt
#HackerNews #In #the #Beginning #Was #the #Command #Line #1999 #commandline #techhistory #programming #linux
Icons in Menus Everywhere – Send Help
https://blog.jim-nielsen.com/2025/icons-in-menus/
#HackerNews #Icons #in #Menus #Everywhere #– #Send #Help #techdesign #userexperience #iconography #menuinterface
Impacts of working from home on mental health tracked in study of Australians
#HackerNews #Impacts #of #working #from #home #on #mental #health #tracked #in #study #of #Australians #mentalhealth #workfromhome #Australia #study #wellbeing
RCE Vulnerability in React and Next.js
https://github.com/vercel/next.js/security/advisories/GHSA-9qr9-h5gf-34mp
#HackerNews #RCE #Vulnerability #in #React #and #Next.js #ReactJS #NextJS #Vulnerability #Cybersecurity #SoftwareSecurity
Rootless Pings in Rust
https://bou.ke/blog/rust-ping/
#HackerNews #Rootless #Pings #in #Rust #Rust #Programming #Network #Security #System #Design
Datacenters in space aren't going to work
https://taranis.ie/datacenters-in-space-are-a-terrible-horrible-no-good-idea/
#HackerNews #Datacenters #in #space #going #to #work #space #tech #datacenter #challenges #future #technology #space #exploration
Abuse of the nullish coalescing operator in JS/TS
https://fredrikmalmo.com/blog/js-ts-nullish-empty-string-coalescing
#HackerNews #Abuse #of #the #nullish #coalescing #operator #in #JS/TS #JavaScript #TypeScript #NullishCoalescing #ProgrammingTips
Ray Marching Soft Shadows in 2D
https://www.rykap.com/2020/09/23/distance-fields/
#HackerNews #Ray #Marching #Soft #Shadows #in #2D #distancefields #graphics #rendering #technology #innovation
A million ways to die from a data race in Go
https://gaultier.github.io/blog/a_million_ways_to_data_race_in_go.html
#HackerNews #A #million #ways #to #die #from #a #data #race #in #Go #data #race #Go #programming #concurrency #software #development
I built an faster Notion in Rust
#HackerNews #I #built #an #faster #Notion #in #Rust #Notion #Rust #Productivity #TechInnovation #HackerNews
Things I don't like in configuration languages
https://medv.io/blog/things-i-dont-like-in-configuration-languages
#HackerNews #Things #I #like #in #configuration #languages #configuration #languages #programming #software #development #tech #critique
Run Nix Based Environments in Kubernetes
#HackerNews #Run #Nix #Based #Environments #in #Kubernetes #Nix #Kubernetes #DevOps #CloudComputing