Concolic Testing

https://languagelog.ldc.upenn.edu/nll/?p=56814

1•nateb2022•1m ago•0 comments

Ccusage: CLI tool for analyzing Claude Code usage

https://github.com/ryoppippi/ccusage

1•handfuloflight•2m ago•0 comments

Europe's Climate Urgency: Driven by Green Ideals or Fear of an African Refugees?

https://masatoshinishimura.com/europes-climate-urgency-driven-by-green-ideals-or-fear-of-an-african-refugees/

1•massanishi•4m ago•0 comments

Homemade GPS Receiver (1992)

https://lea.hamradio.si/~s53mv/navsats/theory.html

1•picture•4m ago•0 comments

Nathan Fielder calls FAA 'dumb' after agency rejects 'The Rehearsal' findings

https://www.msn.com/en-us/news/us/nathan-fielder-calls-faa-dumb-after-agency-rejects-the-rehearsal-findings/ar-AA1FJp3N

1•90s_dev•5m ago•0 comments

Lists of Lists of Lists

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

2•FergusArgyll•6m ago•1 comments

'Nobody wants a robot to read them a story '

https://www.theguardian.com/technology/2025/jun/03/creatives-academics-rejecting-ai-at-home-work

2•laurex•7m ago•0 comments

The great poaching: America's brain drain begins

https://www.axios.com/2025/06/07/us-science-brain-drain

1•doener•8m ago•0 comments

Hollywood Is Already Using AI (and Hiding It)

https://www.vulture.com/article/generative-ai-hollywood-movies-tv.html

4•1sembiyan•11m ago•0 comments

Ask HN: Gaming PM with impact, poor at interviews. How to reach top companies?

1•gogo61•12m ago•0 comments

The Case Against Planetary Governance

https://www.combinationsmag.com/the-case-against-planetary-governance/

1•laurex•12m ago•0 comments

First-ever airborne toxic chemical detected in Western Hemisphere

https://phys.org/news/2025-06-airborne-toxin-western-hemisphere.html

1•Jimmc414•15m ago•0 comments

The Unreasonable Effectiveness of Fundamentals of Computer Science

https://osada.blog/posts/the-unreasonable-effectiveness-of-fundamentals-of-computer-science/

1•osadalakmal•16m ago•0 comments

EU, age-checking app on social media coming in July

https://en.ilsole24ore.com/art/eu-arrival-july-app-age-control-social-AHHpj92

2•__natty__•16m ago•0 comments

Astrology for Sigmas–DNA Whole Genome Sequencing

https://substack.com/inbox/post/148554845

1•ZeljkoS•17m ago•0 comments

Prompting Techniques for Secure Code Generation

https://arxiv.org/abs/2407.07064

1•saikatsg•19m ago•0 comments

Why is AI hard and Physics simple?

https://arxiv.org/abs/2104.00008

1•jxmorris12•19m ago•0 comments

Burgers, Bartending and Benchwork: My Journey to Graduate School

https://brain.harvard.edu/hbi_news/burgers-bartending-and-benchwork-my-journey-to-graduate-school/

1•skadamat•20m ago•0 comments

Strategic Overclaiming of LLM Reasoning Capabilities Through Evaluation Design

https://huggingface.co/papers/2506.04734

1•heyitsguay•21m ago•0 comments

Hack of SEC's Edgar System Exposed Flaws in US Financial Security

https://www.bloomberg.com/news/features/2025-06-06/how-hack-of-sec-s-edgar-system-exposed-flaws-in-us-financial-security

1•petethomas•22m ago•0 comments

UK ministers delay AI regulation amid plans for more 'comprehensive' bill

https://www.theguardian.com/technology/2025/jun/07/uk-ministers-delay-ai-regulation-amid-plans-for-more-comprehensive-bill

1•chrisjj•24m ago•0 comments

Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray

https://aoli.al/blogs/jdk-bug/

2•aoli-al•24m ago•0 comments

Fit to Rule

https://jasmi.news/p/fit-to-rule

1•Michelangelo11•26m ago•0 comments

Four sources of Open Source compliance risk

https://www.thomas-huehn.com/four-sources-of-open-source-compliance-risk/

1•Tomte•27m ago•0 comments

Professor testing ChatGPT's, DeepSeek's andGrok's stock-picking skills impressed

https://www.marketwatch.com/story/a-professor-testing-chatgpts-deepseeks-and-groks-stock-picking-skills-suggests-stockbrokers-should-worry-f54d583a?mod=hp_minor_pos27&_gl=1*dqqffh*_ga*OTA1MTQ3MTUyLjE3MzIyMTgyMjk.*_ga_K2H7B9JRSS*czE3NDkzMDU5OTEkbzExJGcxJHQxNzQ5MzA3ODgwJGo2MCRsMCRoMA..

1•bookofjoe•28m ago•1 comments

A Broken Promise: The Sad Story of the Long-Promised 3 GHz Power Mac G5

https://512pixels.net/2025/06/3ghz-power-mac-g5-broken-promise/

1•tosh•31m ago•0 comments

Show HN: Kontext Art – I added some practical features to Flux.1 Kontext

https://kontextart.com

1•akseli_ukkonen•35m ago•0 comments

If Musk Did Strand Astronauts in Space the US May Have to Ask Russia to Get Them

https://www.jalopnik.com/1879557/musk-trump-feud-might-strand-astronauts-space-russia/

2•rntn•36m ago•1 comments

Who Needs a Belt 3D Printer When You Have a Treadmill?

https://www.hackster.io/news/who-needs-a-belt-3d-printer-when-you-have-a-treadmill-7bbad6a164b8

2•gnabgib•37m ago•0 comments

Indonesian pangolin trafficking prosecution reveals police involvement

https://news.mongabay.com/2025/05/indonesian-pangolin-trafficking-prosecution-reveals-police-involvement-and-impunity/

1•PaulHoule•38m ago•0 comments

Concolic Testing

Ccusage: CLI tool for analyzing Claude Code usage

Europe's Climate Urgency: Driven by Green Ideals or Fear of an African Refugees?

Homemade GPS Receiver (1992)

Nathan Fielder calls FAA 'dumb' after agency rejects 'The Rehearsal' findings

Lists of Lists of Lists

'Nobody wants a robot to read them a story '

The great poaching: America's brain drain begins

Hollywood Is Already Using AI (and Hiding It)

Ask HN: Gaming PM with impact, poor at interviews. How to reach top companies?

The Case Against Planetary Governance

First-ever airborne toxic chemical detected in Western Hemisphere

The Unreasonable Effectiveness of Fundamentals of Computer Science

EU, age-checking app on social media coming in July

Astrology for Sigmas–DNA Whole Genome Sequencing

Prompting Techniques for Secure Code Generation

Why is AI hard and Physics simple?

Burgers, Bartending and Benchwork: My Journey to Graduate School

Strategic Overclaiming of LLM Reasoning Capabilities Through Evaluation Design

Hack of SEC's Edgar System Exposed Flaws in US Financial Security

UK ministers delay AI regulation amid plans for more 'comprehensive' bill

Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray

Fit to Rule

Four sources of Open Source compliance risk

Professor testing ChatGPT's, DeepSeek's andGrok's stock-picking skills impressed

A Broken Promise: The Sad Story of the Long-Promised 3 GHz Power Mac G5

Show HN: Kontext Art – I added some practical features to Flux.1 Kontext

If Musk Did Strand Astronauts in Space the US May Have to Ask Russia to Get Them

Who Needs a Belt 3D Printer When You Have a Treadmill?

Indonesian pangolin trafficking prosecution reveals police involvement

The Enforceability of AI Training Opt-Outs

Concolic Testing

Ccusage: CLI tool for analyzing Claude Code usage

Europe's Climate Urgency: Driven by Green Ideals or Fear of an African Refugees?

Homemade GPS Receiver (1992)

Nathan Fielder calls FAA 'dumb' after agency rejects 'The Rehearsal' findings

Lists of Lists of Lists

'Nobody wants a robot to read them a story '

The great poaching: America's brain drain begins

Hollywood Is Already Using AI (and Hiding It)

Ask HN: Gaming PM with impact, poor at interviews. How to reach top companies?

The Case Against Planetary Governance

First-ever airborne toxic chemical detected in Western Hemisphere

The Unreasonable Effectiveness of Fundamentals of Computer Science

EU, age-checking app on social media coming in July

Astrology for Sigmas–DNA Whole Genome Sequencing

Prompting Techniques for Secure Code Generation

Why is AI hard and Physics simple?

Burgers, Bartending and Benchwork: My Journey to Graduate School

Strategic Overclaiming of LLM Reasoning Capabilities Through Evaluation Design

Hack of SEC's Edgar System Exposed Flaws in US Financial Security

UK ministers delay AI regulation amid plans for more 'comprehensive' bill

Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray

Fit to Rule

Four sources of Open Source compliance risk

Professor testing ChatGPT's, DeepSeek's andGrok's stock-picking skills impressed

A Broken Promise: The Sad Story of the Long-Promised 3 GHz Power Mac G5

Show HN: Kontext Art – I added some practical features to Flux.1 Kontext

If Musk Did Strand Astronauts in Space the US May Have to Ask Russia to Get Them

Who Needs a Belt 3D Printer When You Have a Treadmill?

Indonesian pangolin trafficking prosecution reveals police involvement