Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 2025

https://consequently.org/presentation/2025/type-theory-and-phil-logic-types/

1•matt_d•1m ago•0 comments

Show HN: Sick of emailing yourself stuff? me too

https://github.com/sirbread/sink

1•sirbread•2m ago•0 comments

AI's Cognitive Implications: The Decline of Our Thinking Skills?

https://www.ie.edu/center-for-health-and-well-being/blog/ais-cognitive-implications-the-decline-of-our-thinking-skills/

1•jruohonen•3m ago•0 comments

Elon Musk's A.I. Company Faces Lawsuit over Gas-Burning Turbines

https://www.nytimes.com/2025/06/17/climate/naacp-musk-xai-supercomputer-lawsuit.html

1•1vuio0pswjnm7•7m ago•0 comments

How much energy does your AI prompt useuse

https://www.wsj.com/tech/ai/ai-prompt-video-energy-electricity-use-046766d6

3•1vuio0pswjnm7•14m ago•0 comments

Rick Perry's Fermi to Build Giant AI Nuclear, NatGas, Solar Center

https://www.hartenergy.com/exclusives/rick-perrys-fermi-build-giant-ai-nuclear-natgas-solar-center-213392

1•mpweiher•15m ago•0 comments

Protecting Science: TIB Builds Dark Archive for ArXiv

https://blog.tib.eu/2025/05/14/protecting-science-tib-builds-dark-archive-for-arxiv/

1•lentoutcry•15m ago•0 comments

Modelling API rate limits as diophantine inequalities

https://vivekn.dev/blog/rate-limit-diophantine

2•viveknathani_•16m ago•1 comments

Airtable Has Pivoted to Vibe Coding

https://www.airtable.com/

3•sh_tomer•16m ago•0 comments

Kaito – Kubernetes AI toolchain operator

https://github.com/kaito-project/kaito

1•eh8•17m ago•0 comments

Big accounting firms fail to track AI impact on audit quality, says regulator

https://www.ft.com/content/ee5be0d2-6d7b-432b-b778-1f7e471d8145

2•bishopsmother•17m ago•0 comments

AI Voice Agent Blog

https://www.vidnova.ai/

1•plussmart2018•18m ago•0 comments

A case for courage, when speaking of AI danger

https://www.lesswrong.com/posts/CYTwRZtrhHuYf7QYu/a-case-for-courage-when-speaking-of-ai-danger

1•ibobev•19m ago•0 comments

Scientists invent photosynthetic material that sucks CO2 out of the atmosphere

https://www.livescience.com/technology/engineering/scientists-invent-photosynthetic-living-material-that-sucks-co2-out-of-the-atmosphere

2•bdev12345•20m ago•0 comments

The Secret Rules of the Terminal

https://jvns.ca/blog/2025/06/24/new-zine--the-secret-rules-of-the-terminal/

2•ibobev•20m ago•0 comments

Sprout: CLI tool to automate Git worktree and Docker Compose workflows

https://github.com/SecDev-Lab/sprout

1•handfuloflight•22m ago•0 comments

Bitsets match regular expressions, compactly (2013)

https://pvk.ca/Blog/2013/06/23/bitsets-match-regular-expressions/

2•Bogdanp•23m ago•0 comments

Windows 11 PCs performance details

https://learn.microsoft.com/en-us/legal/windows/windows11-performance-claims

1•XzetaU8•27m ago•0 comments

Show HN: Free decision calculator to avoid spreadsheet hell

https://www.kleardecision.com/

2•kathysledge•27m ago•0 comments

Show HN: Free tool to resize ChatGPT images to perfect 16:9

https://www.aithumbnail.so/tools/chatgpt-image-resizer

3•sachou•28m ago•0 comments

Show HN: Checkpoint K8s pods transparently (plain CPU or GPU accelerated) [video]

https://www.youtube.com/watch?v=K9yY6_2255Y

1•qnib•30m ago•0 comments

ASML launches science project in China to discover new talent in lithography

https://www.scmp.com/tech/tech-war/article/3315938/asml-launches-science-project-china-discover-new-talent-lithography

1•Ozarkian•31m ago•0 comments

Bettina Heim

https://en.wikipedia.org/wiki/Bettina_Heim

1•jayhoon•31m ago•0 comments

Parameterized types in C using the new tag compatibility rule

https://nullprogram.com/blog/2025/06/26/

2•ingve•32m ago•0 comments

China offers an alternative to Western 'technofeudalism'

https://www.scmp.com/opinion/china-opinion/article/3314964/china-offers-alternative-western-technofeudalism

3•thunderbong•34m ago•0 comments

Brad Woods Digital Garden

https://garden.bradwoods.io

1•samuel246•36m ago•0 comments

Software Heritage

https://www.softwareheritage.org/

2•jruohonen•41m ago•0 comments

Don't Get Fooled: The Rise of AI-Generated Plant Scams

https://www.bobsmarket.com/blog/dont-get-fooled-the-rise-of-ai-generated-plant-scams

Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 2025

Show HN: Sick of emailing yourself stuff? me too

AI's Cognitive Implications: The Decline of Our Thinking Skills?

Elon Musk's A.I. Company Faces Lawsuit over Gas-Burning Turbines

How much energy does your AI prompt useuse

Rick Perry's Fermi to Build Giant AI Nuclear, NatGas, Solar Center

Protecting Science: TIB Builds Dark Archive for ArXiv

Modelling API rate limits as diophantine inequalities

Airtable Has Pivoted to Vibe Coding

Kaito – Kubernetes AI toolchain operator

Big accounting firms fail to track AI impact on audit quality, says regulator

AI Voice Agent Blog

A case for courage, when speaking of AI danger

Scientists invent photosynthetic material that sucks CO2 out of the atmosphere

The Secret Rules of the Terminal

Sprout: CLI tool to automate Git worktree and Docker Compose workflows

Bitsets match regular expressions, compactly (2013)

Windows 11 PCs performance details

Show HN: Free decision calculator to avoid spreadsheet hell

Show HN: Free tool to resize ChatGPT images to perfect 16:9

Show HN: Checkpoint K8s pods transparently (plain CPU or GPU accelerated) [video]

ASML launches science project in China to discover new talent in lithography

Bettina Heim

Parameterized types in C using the new tag compatibility rule

China offers an alternative to Western 'technofeudalism'

Brad Woods Digital Garden

Software Heritage

Don't Get Fooled: The Rise of AI-Generated Plant Scams

Evaluating Long-Context Question and Answer Systems

CopyTrack – A clipboard tracker that logs everything you copy

50cent.com

Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 2025

Show HN: Sick of emailing yourself stuff? me too

AI's Cognitive Implications: The Decline of Our Thinking Skills?

Elon Musk's A.I. Company Faces Lawsuit over Gas-Burning Turbines

How much energy does your AI prompt useuse

Rick Perry's Fermi to Build Giant AI Nuclear, NatGas, Solar Center

Protecting Science: TIB Builds Dark Archive for ArXiv

Modelling API rate limits as diophantine inequalities

Airtable Has Pivoted to Vibe Coding

Kaito – Kubernetes AI toolchain operator

Big accounting firms fail to track AI impact on audit quality, says regulator

AI Voice Agent Blog

A case for courage, when speaking of AI danger

Scientists invent photosynthetic material that sucks CO2 out of the atmosphere

The Secret Rules of the Terminal

Sprout: CLI tool to automate Git worktree and Docker Compose workflows

Bitsets match regular expressions, compactly (2013)

Windows 11 PCs performance details

Show HN: Free decision calculator to avoid spreadsheet hell

Show HN: Free tool to resize ChatGPT images to perfect 16:9

Show HN: Checkpoint K8s pods transparently (plain CPU or GPU accelerated) [video]

ASML launches science project in China to discover new talent in lithography

Bettina Heim

Parameterized types in C using the new tag compatibility rule

China offers an alternative to Western 'technofeudalism'

Brad Woods Digital Garden

Software Heritage

Don't Get Fooled: The Rise of AI-Generated Plant Scams

Evaluating Long-Context Question and Answer Systems

CopyTrack – A clipboard tracker that logs everything you copy