Beginner resources for formalizing lambda calculi

https://chrishenson.net/posts/2025-05-10-formalized_lambda_calculus.html

1•jwdunne•33s ago•0 comments

The Flying Canon

https://asadk.com/p/flying-canon

1•asadk•7m ago•1 comments

AI hallucinations are getting worse – and they're here to stay

https://www.newscientist.com/article/2479545-ai-hallucinations-are-getting-worse-and-theyre-here-to-stay/

2•Brajeshwar•9m ago•1 comments

The future of AI interaction: Beyond just text

https://www.epicai.pro/the-future-of-ai-interaction-beyond-just-text-w22ps

1•vortex_ape•12m ago•0 comments

Booting the RP2350 from UART

https://pfister.dev/blog/2025/rp2350-uart-bl.html

2•hugolundin•15m ago•0 comments

A lithium deposit valued at $1.5T discovered in the US state of Oregon

https://www.earth.com/news/volcanic-white-gold-a-lithium-deposit-valued-at-1-5-trillion-has-been-discovered-in-the-u-s/

2•benwilber0•17m ago•0 comments

The IoT device "I'm in a meeting."

https://nullonerror.org/2025/05/11/i-have-built-an-iot-device-to-let-my-family-know-when-i-am-in-a-meeting/

1•delduca•19m ago•3 comments

To Educate Students about AI, Make Them Use It – Scientific American

https://www.scientificamerican.com/article/to-educate-students-about-ai-make-them-use-it/

1•cratermoon•19m ago•1 comments

Clean-names – Deduplicate and parse list of `dirty names'

https://github.com/appeler/clean-names

1•goji_berries•20m ago•0 comments

Consumerism: The First Universal Religion Humans Practice

https://simone.org/consumerism/

4•smnrg•20m ago•0 comments

FBI opens inquiry into 764, an online group that sexually exploits minors

https://www.theguardian.com/us-news/2025/may/11/fbi-investigation-764-online-group

1•rntn•20m ago•0 comments

Olivia Farnsworth. The "Bionic Teen" Who Feels No Pain

https://medium.com/@Sibouze/meet-olivia-farnsworth-689caade73b5

2•thunderbong•23m ago•0 comments

Spark, Your Personal Assistant

https://github.com/jovandeginste/spark-personal-assistant

1•jovdg•26m ago•1 comments

Quick Thoughts on Evaluating Agents

https://rnikhil.com/2025/02/27/short-note-evaluating-agents

1•whoami_nr•30m ago•0 comments

Is Padel Playground the Best Padel Tournament Management App?

1•alfredalex•30m ago•0 comments

How much does a man need?

https://rnikhil.com/2025/02/18/tolstoy-man-need

2•whoami_nr•32m ago•0 comments

Help PLEASE – Can Google track RCS messages for a missing person?

3•Karsteski•33m ago•6 comments

Show HN: Developer First Observability with Prism

https://www.parseable.com/blog/prism-unified-observability-on-parseable

2•Debanitrkl•34m ago•0 comments

Speed cameras coming to MTA bridges and tunnels in NYC

https://gothamist.com/news/mta-bridge-tunnel-speed-cameras-nyc

1•geox•34m ago•0 comments

My, Earth really is full of things (2005)

https://web.archive.org/web/20050311214728/http://www.dessgeega.com/2005/01/my-earth-really-is-full-of-things.html

1•OgsyedIE•35m ago•1 comments

The effect of ChatGPT on students learning performance

https://www.nature.com/articles/s41599-025-04787-y

1•softwaredoug•36m ago•0 comments

Regulatory Capture

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

1•theyinwhy•36m ago•0 comments

Teaching CS50 with AI [pdf]

https://cs.harvard.edu/malan/publications/V1fp0567-liu.pdf

3•sysoleg•37m ago•0 comments

Mutually Beneficial Group Lies

https://stanislavkozlovski.com/website/Politics/Mutually-Beneficial+Group+Lies

2•enether•38m ago•0 comments

SWIG is a software development tool that connects programs written in C and C++

https://www.swig.org/

2•Bluestein•39m ago•0 comments

US President Donald Trump Seeks to Cancel NASA's Mars Sample Return

https://www.scientificamerican.com/article/trump-budget-calls-for-stranding-nasas-mars-samples-on-the-red-planet/

5•namanyayg•39m ago•0 comments

In 2025, venture capital can't pretend everything is fine any more

https://pivot-to-ai.com/2025/05/03/in-2025-venture-capital-cant-pretend-everything-is-fine-any-more/

33•namanyayg•39m ago•7 comments

Title of work deciphered in sealed Herculaneum scroll via digital unwrapping

https://www.finebooksmagazine.com/fine-books-news/title-work-deciphered-sealed-herculaneum-scroll-digital-unwrapping

Beginner resources for formalizing lambda calculi

The Flying Canon

AI hallucinations are getting worse – and they're here to stay

The future of AI interaction: Beyond just text

Booting the RP2350 from UART

A lithium deposit valued at $1.5T discovered in the US state of Oregon

The IoT device "I'm in a meeting."

To Educate Students about AI, Make Them Use It – Scientific American

Clean-names – Deduplicate and parse list of `dirty names'

Consumerism: The First Universal Religion Humans Practice

FBI opens inquiry into 764, an online group that sexually exploits minors

Olivia Farnsworth. The "Bionic Teen" Who Feels No Pain

Spark, Your Personal Assistant

Quick Thoughts on Evaluating Agents

Is Padel Playground the Best Padel Tournament Management App?

How much does a man need?

Help PLEASE – Can Google track RCS messages for a missing person?

Show HN: Developer First Observability with Prism

Speed cameras coming to MTA bridges and tunnels in NYC

My, Earth really is full of things (2005)

The effect of ChatGPT on students learning performance

Regulatory Capture

Teaching CS50 with AI [pdf]

Mutually Beneficial Group Lies

SWIG is a software development tool that connects programs written in C and C++

US President Donald Trump Seeks to Cancel NASA's Mars Sample Return

In 2025, venture capital can't pretend everything is fine any more

Title of work deciphered in sealed Herculaneum scroll via digital unwrapping

Designing Cities for Families

How to Think Like Rich Rubin

A Recipe for Success: Cooking Up Repeatable Agentic Workflows

Beginner resources for formalizing lambda calculi

The Flying Canon

AI hallucinations are getting worse – and they're here to stay

The future of AI interaction: Beyond just text

Booting the RP2350 from UART

A lithium deposit valued at $1.5T discovered in the US state of Oregon

The IoT device "I'm in a meeting."

To Educate Students about AI, Make Them Use It – Scientific American

Clean-names – Deduplicate and parse list of `dirty names'

Consumerism: The First Universal Religion Humans Practice

FBI opens inquiry into 764, an online group that sexually exploits minors

Olivia Farnsworth. The "Bionic Teen" Who Feels No Pain

Spark, Your Personal Assistant

Quick Thoughts on Evaluating Agents

Is Padel Playground the Best Padel Tournament Management App?

How much does a man need?

Help PLEASE – Can Google track RCS messages for a missing person?

Show HN: Developer First Observability with Prism

Speed cameras coming to MTA bridges and tunnels in NYC

My, Earth really is full of things (2005)

The effect of ChatGPT on students learning performance

Regulatory Capture

Teaching CS50 with AI [pdf]

Mutually Beneficial Group Lies

SWIG is a software development tool that connects programs written in C and C++

US President Donald Trump Seeks to Cancel NASA's Mars Sample Return

In 2025, venture capital can't pretend everything is fine any more

Title of work deciphered in sealed Herculaneum scroll via digital unwrapping

Designing Cities for Families

How to Think Like Rich Rubin