Autoformalization of mathematical theorems? No shit

https://freedommathdance.blogspot.com/2025/07/autoformalization-of-mathematical.html

1•surprisetalk•30s ago•0 comments

Semi-spoileriffic first thoughts on Jurassic World Rebirth

https://svpow.com/2025/07/03/semi-spoileriffic-first-thoughts-on-jurassic-world-rebirth/

1•surprisetalk•1m ago•0 comments

I rewrote my Rust keyboard firmware in Zig: consistency, mastery, and fun (2021)

https://kevinlynagh.com/rust-zig/

1•sdht0•2m ago•0 comments

It's official! An interstellar object is visiting our solar system

https://earthsky.org/space/new-interstellar-object-candidate-heading-toward-the-sun-a11pl3z/

1•mudil•2m ago•0 comments

We built the perfect SaaS. Nobody wants it

https://10xdevelopers.ai/blog/is-saas-dead

1•octember•3m ago•1 comments

Opening up 'Zero-Knowledge Proof' technology to promote privacy in age assurance

https://blog.google/technology/safety-security/opening-up-zero-knowledge-proof-technology-to-promote-privacy-in-age-assurance/

1•MatteoFrigo•3m ago•0 comments

Keep the Change: How Pavilion Became a Laundromat for Martech Influence

https://www.burnitdown.marketing/how-pavilion-became-a-laundromat-for-martech-influence/

1•SignalDr•3m ago•0 comments

How Fiber Optic Sensing Works

https://texas811.org/how-fiber-optic-sensing-works

1•bob1029•4m ago•0 comments

Show HN: An interactive kids' book written in Emacs Org Mode

1•dskhatri•5m ago•0 comments

Astronomers track object that may have originated outside the solar system

https://apnews.com/article/interstellar-object-a11pl3z-asteroid-comet-24319a5369840d4e200ffca7a998f876

1•mudil•6m ago•0 comments

Timewave Zero – Software Made by Terence McKenna

https://www.youtube.com/watch?v=9fFKAk68C5Q

1•artur_makly•6m ago•1 comments

500× faster: Four different ways to speed up your code

https://pythonspeed.com/articles/different-ways-speed/

1•nateb2022•8m ago•0 comments

Comprehensive ML/AI questions and answers for interview prep

https://sebastianraschka.com/books/ml-q-and-ai/

2•yaiml•8m ago•0 comments

Rewriting a scientific law to unlock the potential of energy, sensing and more

https://www.psu.edu/news/engineering/story/rewriting-scientific-law-unlock-potential-energy-sensing-and-more

1•dylan604•11m ago•0 comments

First complete ancient Egyptian DNA genome reveals his occupation

https://www.popsci.com/science/ancient-egypt-dna/

1•gmays•11m ago•0 comments

Cutting US Military spending could save as much energy as used by a small nation

https://www.scimex.org/newsfeed/cutting-us-military-spending-could-save-as-much-energy-as-used-by-a-small-nation

1•botanical•13m ago•0 comments

Head in the Clouds

https://www.commonwealmagazine.org/head-clouds

3•bryanrasmussen•14m ago•0 comments

DOJ Seizes $225M in Cryptocurrency Assets Tied to Online Fraud and Global Money

https://cyble.com/blog/doj-seizes-225m-crypto-fraud-and-money-laundering/

1•cybleinc•16m ago•1 comments

A couple tried for 18 years to get pregnant. AI made it happen

https://www.cnn.com/2025/07/03/health/ai-male-infertility-sperm-wellness

1•harscoat•17m ago•0 comments

Places claiming to be centenarian hotspots may just have bad data (2023)

https://www.economist.com/graphic-detail/2023/09/28/places-claiming-to-be-centenarian-hotspots-may-just-have-bad-data

1•cwwc•19m ago•1 comments

Mechanism Shrinks When Pulled

https://www.youtube.com/watch?v=-QTkPfq7w1A

1•doener•19m ago•0 comments

AI Identity Might Be a Fixed Point of Its Own Self-Convergence

https://lightcapai.medium.com/emergent-ai-identity-and-the-hidden-law-of-self-convergence-c125bfa7ba34

2•WASDAai•20m ago•1 comments

Economy adds 147K jobs, unemployment down to 4.1%

https://www.usatoday.com/story/money/2025/07/03/june-jobs-report-data/84454834007/

4•glimshe•20m ago•1 comments

Jordium-gantt-vue3 NPM v1.0.8

https://github.com/nelson820125/jordium-gantt-vue3

1•nelson820125•20m ago•0 comments

sonder

https://www.dictionary.com/browse/sonder

2•baxtr•21m ago•0 comments

Innovation Sandbox on AWS

https://aws.amazon.com/solutions/implementations/innovation-sandbox-on-aws/

1•cebert•22m ago•0 comments

AI-Enabled Parkinson's Disease Screening Using Smile Videos

https://ai.nejm.org/doi/full/10.1056/AIoa2400950

1•mhb•23m ago•0 comments

Ask HN: How is mobile network bandwidth sharing Optus – Vodafone Australia set?

1•anenefan•25m ago•0 comments

Google Wipes 350 Android Apps Tied to Ad Fraud Driving 1.5B Daily Bid Requests

https://www.adweek.com/programmatic/google-wipes-350-android-apps-ad-fraud-driving-1-5b-daily-bid-requests/

1•beejiu•26m ago•0 comments

D4T4 – An SQL client with GPT – Natural language to SQL (waitlist open)

https://d4t4.app/

2•omerimzali•27m ago•0 comments

Autoformalization of mathematical theorems? No shit

Semi-spoileriffic first thoughts on Jurassic World Rebirth

I rewrote my Rust keyboard firmware in Zig: consistency, mastery, and fun (2021)

It's official! An interstellar object is visiting our solar system

We built the perfect SaaS. Nobody wants it

Opening up 'Zero-Knowledge Proof' technology to promote privacy in age assurance

Keep the Change: How Pavilion Became a Laundromat for Martech Influence

How Fiber Optic Sensing Works

Show HN: An interactive kids' book written in Emacs Org Mode

Astronomers track object that may have originated outside the solar system

Timewave Zero – Software Made by Terence McKenna

500× faster: Four different ways to speed up your code

Comprehensive ML/AI questions and answers for interview prep

Rewriting a scientific law to unlock the potential of energy, sensing and more

First complete ancient Egyptian DNA genome reveals his occupation

Cutting US Military spending could save as much energy as used by a small nation

Head in the Clouds

DOJ Seizes $225M in Cryptocurrency Assets Tied to Online Fraud and Global Money

A couple tried for 18 years to get pregnant. AI made it happen

Places claiming to be centenarian hotspots may just have bad data (2023)

Mechanism Shrinks When Pulled

AI Identity Might Be a Fixed Point of Its Own Self-Convergence

Economy adds 147K jobs, unemployment down to 4.1%

Jordium-gantt-vue3 NPM v1.0.8

sonder

Innovation Sandbox on AWS

AI-Enabled Parkinson's Disease Screening Using Smile Videos

Ask HN: How is mobile network bandwidth sharing Optus – Vodafone Australia set?

Google Wipes 350 Android Apps Tied to Ad Fraud Driving 1.5B Daily Bid Requests

D4T4 – An SQL client with GPT – Natural language to SQL (waitlist open)

A data center company uses stranded renewable energy

Autoformalization of mathematical theorems? No shit

Semi-spoileriffic first thoughts on Jurassic World Rebirth

I rewrote my Rust keyboard firmware in Zig: consistency, mastery, and fun (2021)

It's official! An interstellar object is visiting our solar system

We built the perfect SaaS. Nobody wants it

Opening up 'Zero-Knowledge Proof' technology to promote privacy in age assurance

Keep the Change: How Pavilion Became a Laundromat for Martech Influence

How Fiber Optic Sensing Works

Show HN: An interactive kids' book written in Emacs Org Mode

Astronomers track object that may have originated outside the solar system

Timewave Zero – Software Made by Terence McKenna

500× faster: Four different ways to speed up your code

Comprehensive ML/AI questions and answers for interview prep

Rewriting a scientific law to unlock the potential of energy, sensing and more

First complete ancient Egyptian DNA genome reveals his occupation

Cutting US Military spending could save as much energy as used by a small nation

Head in the Clouds

DOJ Seizes $225M in Cryptocurrency Assets Tied to Online Fraud and Global Money

A couple tried for 18 years to get pregnant. AI made it happen

Places claiming to be centenarian hotspots may just have bad data (2023)

Mechanism Shrinks When Pulled

AI Identity Might Be a Fixed Point of Its Own Self-Convergence

Economy adds 147K jobs, unemployment down to 4.1%

Jordium-gantt-vue3 NPM v1.0.8

sonder

Innovation Sandbox on AWS

AI-Enabled Parkinson's Disease Screening Using Smile Videos

Ask HN: How is mobile network bandwidth sharing Optus – Vodafone Australia set?

Google Wipes 350 Android Apps Tied to Ad Fraud Driving 1.5B Daily Bid Requests

D4T4 – An SQL client with GPT – Natural language to SQL (waitlist open)