news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem

https://mmaaz-git.github.io/agentic-pbt-site/

1•mmaaz•1h ago

Comments

mmaaz•1h ago

This website showcases our agent, based on Claude, that autonomously infers properties of code and tests them using Hypothesis. Our agent found hundreds of bugs across popular Python libraries, some of which we have since reported and patched! On this website, you can browse all of the bugs it found. You can read the linked paper and code for more information.

Marjorie Taylor Greene Seeking to End H-1B Visa Program [video]

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

1•thelastgallon•2m ago•0 comments

Install Nothing

https://github.com/buyukakyuz/install-nothing

1•sbt567•2m ago•0 comments

Workplace Surveillance Is Here, Counting Your Mouse Clicks and Bathroom Breaks

https://thewalrus.ca/workplace-surveillance/

1•thm•2m ago•0 comments

Replacing Markowitz: A Quantum Approach to Portfolio Optimization

https://soma.biz/

3•Hellene•5m ago•1 comments

A Revised Three-Dimensional Visualization of the Local Group of Galaxies

https://iopscience.iop.org/article/10.3847/2515-5172/ae1efc

1•bryanrasmussen•5m ago•0 comments

Agent-Based Systems for Modeling Wealth Distribution

https://philippdubach.com/2025/08/30/agent-based-systems-for-modeling-wealth-distribution/

1•7777777phil•7m ago•0 comments

Leaked documents shed light into how much OpenAI pays Microsoft

https://techcrunch.com/2025/11/14/leaked-documents-shed-light-into-how-much-openai-pays-microsoft/

1•zerosizedweasle•8m ago•1 comments

Crawl4AI: Open-Source LLM Friendly Web Crawler and Scraper

https://github.com/unclecode/crawl4ai

1•zoooey•10m ago•0 comments

Elevated error rates to Sonnet 4.5 on Claude Code

https://status.claude.com/incidents/4bvvh93qjl25

1•croemer•10m ago•0 comments

Playing a hardware synth through Claude Code

https://vaclav.synacek.com/blog/2025/11/18/claude-sonnet-plays-hw-synth-roland-t8/

1•ngcazz•11m ago•0 comments

It's Getting Crowded in Here

https://medium.com/luminasticity/its-getting-crowded-in-here-80b934027239

1•bryanrasmussen•12m ago•0 comments

Yahoo Finance's breakdown of free PDF editors and alternatives

https://finance.yahoo.com/news/best-free-pdf-editor-alternative-214500590.html

1•pdftips•14m ago•1 comments

Cyberlib – Endpoint Hardening Made Easy

https://cyberlib.io/

1•romainfaye•14m ago•0 comments

Trump, 79, Has Dementia Just Like His Father: Niece

https://vechron.com/2025/11/trump-has-dementia-just-like-his-father-says-niece/

7•GeorgeWoff25•15m ago•0 comments

Google Jobs API

https://apify.com/johnvc/google-jobs-scraper

1•johncole•17m ago•0 comments

Google boss warns 'no company is going to be immune' if AI bubble bursts

https://www.bbc.com/news/articles/cwyegl8q80do

3•choult•18m ago•1 comments

OpenTelemetry Incremental Adoption Strategies

https://blog.fornasa.it/posts/opentelemetry-incremental-adoption-strategies/

3•mfornasa•19m ago•0 comments

Show HN: RAG-chunk 0.2.0 – Now on PyPI with tiktoken support

https://github.com/messkan/rag-chunk

1•messkan•19m ago•0 comments

Idiot Plot

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

1•efilife•19m ago•0 comments

Take a Look the First Musical Robot

https://egodai.com/

1•Klwy•21m ago•0 comments

Google Scholar Labs

https://scholar.google.com/scholar_labs/search?hl=en

1•jgen•23m ago•1 comments

Show HN: Fluxion – Rust async stream composition supporting error propagation

https://github.com/umbgtt10/fluxion

1•umbgtt•23m ago•0 comments

Forget the 80-20 Rule. Follow the 1-50 Rule Instead (2019)

https://web.archive.org/web/20210311153802/https://www.inc.com/david-finkel/forget-80/20-rule-fol...

2•fittingopposite•24m ago•1 comments

Xyz-HR Camp

https://center.com

1•pueblo73•27m ago•1 comments

I built an iOS app that generates personalized Santa voice messages for kids

https://apps.apple.com/us/app/santa-voice-ai/id6754908623

1•dennydog•28m ago•1 comments

Research and Pedagogies for Early Math

https://www.mdpi.com/2227-7102/13/8/839

1•sebg•31m ago•0 comments

DBAnvil – AI-Powered Data Modelling • Looking for Early Adopters

https://app.dbanvil.com

1•sambullbyte•32m ago•1 comments

Age-verification laws don't keep minors away from adult sites, study suggests

https://mashable.com/article/age-verification-may-impede-on-adults-rights-study-suggests

1•robtherobber•33m ago•0 comments

The Future Is Ours to Build – Together

https://blog.joinmastodon.org/2025/11/the-future-is-ours-to-build-together/

3•edent•35m ago•0 comments

What AI doesn't know: we could be creating a global 'knowledge collapse'

https://www.theguardian.com/news/2025/nov/18/what-ai-doesnt-know-global-knowledge-collapse

3•n1b0m•36m ago•1 comments