Can Large Language Models Help Students Prove Software Correctness?

https://arxiv.org/abs/2506.22370

1•elashri•36s ago•0 comments

Developing with GitHub Copilot Agent Mode and MCP

https://austen.info/blog/github-copilot-agent-mcp/

1•miltonlaxer•54s ago•1 comments

I got removed from GitHub for making open source stuff

1•Hasturdev•2m ago•0 comments

NASA plans to stream rocket launches on Netflix starting this summer

https://www.cnbc.com/2025/06/30/nasa-rocket-launches-netflix.html

1•rustoo•3m ago•0 comments

Large Language Model-Powered Agent for C to Rust Code Translation

https://arxiv.org/abs/2505.15858

1•elashri•5m ago•0 comments

Let's create a Tree-sitter grammar

https://www.jonashietala.se/blog/2024/03/19/lets_create_a_tree-sitter_grammar/

1•fanf2•6m ago•0 comments

Musk said to bet on Tesla delivering Robotaxi in June, those who did lost big

https://electrek.co/2025/06/30/elon-musk-bet-tesla-delivering-robotaxi-june-lost-big/

1•reaperducer•6m ago•0 comments

The story how I acquired the domain name Onions.com

https://twitter.com/searchbound/status/1939658564420641064

1•eightturn•7m ago•1 comments

Offline-First AI Platform for Resilient Edge and IoT Applications

https://github.com/GlobalSushrut/mcp-zero

1•Global_Sushrut•9m ago•0 comments

Three-Dimensional Time: A Mathematical Framework for Fundamental Physics

https://www.worldscientific.com/doi/10.1142/S2424942425500045

1•haunter•10m ago•0 comments

Young job applicants fight fire (ATS systems) with fire (AI) – Global trends

https://www.coversentry.com/ai-job-search-statistics

2•coversentry•11m ago•0 comments

Google to buy fusion startup Commonwealth's power- if they can ever make it work

https://www.theregister.com/2025/06/30/google_fusion_commonwealth/

1•rntn•12m ago•0 comments

A hoax ended up on the HN front page

https://twitter.com/AdamRFisher/status/1938959933803728997

3•nailer•12m ago•2 comments

Apple Execs on what went wrong with Siri, iOS 26 and more [video]

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

1•amai•12m ago•0 comments

Adding Text-to-Speech to Your Blog with OpenAI's TTS API

https://econoben.dev/posts/adding-text-to-speech-to-your-blog-openai-tts-pipeline

1•EconoBen•18m ago•1 comments

Do Car Buyers Care Which Engine Is Under the Hood? A Ford Exec Doesn't Think So

https://www.thedrive.com/news/do-car-buyers-care-which-engine-is-under-the-hood-a-ford-exec-doesnt-think-so

3•PaulHoule•21m ago•1 comments

CertMate – SSL Certificate Management System

https://github.com/fabriziosalmi/certmate

2•indigodaddy•23m ago•0 comments

Ask HN: How to build a LifeOS using vibe coding?

1•agcat•24m ago•0 comments

Show HN: On-chain Fund Administration Protocol

https://www.fume.finance/

1•fume_protocol•24m ago•0 comments

Portal, for the C64

https://www.jamiefuller.com/portal/

4•rbanffy•26m ago•0 comments

Defending Savannah from DDoS Attacks

https://www.fsf.org/bulletin/2025/spring/defending-savannah-from-ddos-attacks

3•HieronymusBosch•31m ago•0 comments

Beltabol: An eager functional esolang based on the Expanse

https://github.com/demaere-oiie/beltabol

2•akkartik•33m ago•0 comments

Show HN: Transform handwritten chess notation to Lichess or chess.com instantly

https://chess-notation.com

1•coolwulf•35m ago•0 comments

Dias on the Web – Pandas Rewriter

https://www.pandas-rewriter.com/

1•baziotis•36m ago•0 comments

Bulk Lots of DB-19s for Sale

https://www.bigmessowires.com/2025/06/30/bulk-lots-of-db-19s-for-sale/

2•zdw•36m ago•0 comments

The Impact of Early Galaxy Formation on the Cosmic Microwave Background

https://arxiv.org/abs/2505.04687

1•sb057•37m ago•0 comments

My Database Is My Application: Rethinking Webhook Logic with DuckDB and SQL

https://www.hey.earth/posts/duckdb-webhook-gateway

3•chw9e•42m ago•0 comments

Jony Ive's AI gadget might be a pen

https://www.bloomberg.com/opinion/articles/2025-06-30/jony-ive-s-first-ai-gadget-clues-point-to-a-pen

3•theyinwhy•42m ago•1 comments

"Fuck the algorithm"?: What to learn from the UK's A-level grading fiasco (2020)

https://blogs.lse.ac.uk/impactofsocialsciences/2020/08/26/fk-the-algorithm-what-the-world-can-learn-from-the-uks-a-level-grading-fiasco/

1•djoldman•43m ago•0 comments

Senate GOP budget bill has little-noticed provision that could hurt your Wi-Fi

https://arstechnica.com/tech-policy/2025/06/senate-gop-budget-bill-has-little-noticed-provision-that-could-hurt-your-wi-fi/

17•spenvo•43m ago•5 comments

Can Large Language Models Help Students Prove Software Correctness?

Developing with GitHub Copilot Agent Mode and MCP

I got removed from GitHub for making open source stuff

NASA plans to stream rocket launches on Netflix starting this summer

Large Language Model-Powered Agent for C to Rust Code Translation

Let's create a Tree-sitter grammar

Musk said to bet on Tesla delivering Robotaxi in June, those who did lost big

The story how I acquired the domain name Onions.com

Offline-First AI Platform for Resilient Edge and IoT Applications

Three-Dimensional Time: A Mathematical Framework for Fundamental Physics

Young job applicants fight fire (ATS systems) with fire (AI) – Global trends

Google to buy fusion startup Commonwealth's power- if they can ever make it work

A hoax ended up on the HN front page

Apple Execs on what went wrong with Siri, iOS 26 and more [video]

Adding Text-to-Speech to Your Blog with OpenAI's TTS API

Do Car Buyers Care Which Engine Is Under the Hood? A Ford Exec Doesn't Think So

CertMate – SSL Certificate Management System

Ask HN: How to build a LifeOS using vibe coding?

Show HN: On-chain Fund Administration Protocol

Portal, for the C64

Defending Savannah from DDoS Attacks

Beltabol: An eager functional esolang based on the Expanse

Show HN: Transform handwritten chess notation to Lichess or chess.com instantly

Dias on the Web – Pandas Rewriter

Bulk Lots of DB-19s for Sale

The Impact of Early Galaxy Formation on the Cosmic Microwave Background

My Database Is My Application: Rethinking Webhook Logic with DuckDB and SQL

Jony Ive's AI gadget might be a pen

"Fuck the algorithm"?: What to learn from the UK's A-level grading fiasco (2020)

Senate GOP budget bill has little-noticed provision that could hurt your Wi-Fi

Scientists Launch Wild New Project to Build a Human Genome from Scratch

Can Large Language Models Help Students Prove Software Correctness?

Developing with GitHub Copilot Agent Mode and MCP

I got removed from GitHub for making open source stuff

NASA plans to stream rocket launches on Netflix starting this summer

Large Language Model-Powered Agent for C to Rust Code Translation

Let's create a Tree-sitter grammar

Musk said to bet on Tesla delivering Robotaxi in June, those who did lost big

The story how I acquired the domain name Onions.com

Offline-First AI Platform for Resilient Edge and IoT Applications

Three-Dimensional Time: A Mathematical Framework for Fundamental Physics

Young job applicants fight fire (ATS systems) with fire (AI) – Global trends

Google to buy fusion startup Commonwealth's power- if they can ever make it work

A hoax ended up on the HN front page

Apple Execs on what went wrong with Siri, iOS 26 and more [video]

Adding Text-to-Speech to Your Blog with OpenAI's TTS API

Do Car Buyers Care Which Engine Is Under the Hood? A Ford Exec Doesn't Think So

CertMate – SSL Certificate Management System

Ask HN: How to build a LifeOS using vibe coding?

Show HN: On-chain Fund Administration Protocol

Portal, for the C64

Defending Savannah from DDoS Attacks

Beltabol: An eager functional esolang based on the Expanse

Show HN: Transform handwritten chess notation to Lichess or chess.com instantly

Dias on the Web – Pandas Rewriter

Bulk Lots of DB-19s for Sale

The Impact of Early Galaxy Formation on the Cosmic Microwave Background

My Database Is My Application: Rethinking Webhook Logic with DuckDB and SQL

Jony Ive's AI gadget might be a pen

"Fuck the algorithm"?: What to learn from the UK's A-level grading fiasco (2020)

Senate GOP budget bill has little-noticed provision that could hurt your Wi-Fi