frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Mizar: The first usable proof assistant for mathematics

https://lawrencecpaulson.github.io//2026/05/07/Mizar.html
3•chmaynard•1h ago

A job board for remote AI training jobs

https://aitrainerjobs.cv
1•calebro•43s ago•0 comments

For Every Patient Their Own Drug

https://nautil.us/for-every-patient-their-own-drug-1280433
1•lschueller•1m ago•0 comments

Apple to Pay $250M to Settle Claims It Overpromised on iPhone AI Features

https://www.law.com/corpcounsel/2026/05/07/apple-to-pay-250m-to-settle-claims-it-overpromised-on-...
1•1vuio0pswjnm7•2m ago•0 comments

I built a tool to let you export and organize your X bookmarks

https://x-archive.netlify.app/
1•xarchive•2m ago•1 comments

Deletion of government data is hurting Americans – from infant deaths to hunger

https://www.theguardian.com/us-news/ng-interactive/2026/may/07/trump-administration-deleting-data
1•robaato•5m ago•0 comments

TOML: A config file format for humans

https://toml.io/en/
2•thunderbong•5m ago•0 comments

Wraplet: TypeScript, OOP, and the DOM – in one working model

https://wraplet.dev/
1•enador•7m ago•0 comments

A Screen Addict on the Couch

https://manualdousuario.net/en/screen-addiction/
1•rpgbr•7m ago•0 comments

Show HN: CLI for Testing Raw Data Against Google Data Studio Dashboards

https://github.com/spookyuser/datastudio-cli
1•spookyuser•9m ago•0 comments

SpaceX to rent data centre capacity to Anthropic

https://www.ft.com/content/aa0239b8-0d57-4dc8-8c1a-ed7ac4d689fb
1•1vuio0pswjnm7•10m ago•0 comments

I built a WP plugin to solve the "AI Search" problem (YouTube-to-Blog and RAG)

https://www.indiehackers.com/post/i-built-a-wp-plugin-to-solve-the-ai-search-problem-youtube-to-b...
1•shahisoft•10m ago•0 comments

Big Ass Data Broker Opt-Out List

https://github.com/yaelwrites/Big-Ass-Data-Broker-Opt-Out-List
1•l1am0•10m ago•0 comments

For a Certain Kind of Guy, Even a Diaper Bag Needs to Be 'Tactical'

https://www.nytimes.com/2026/05/07/magazine/tactical-gear-marketing-boys-trend.html
1•bookofjoe•11m ago•1 comments

Show HN: Monocurl – Interactive STEM animation language and IDE

https://www.monocurl.com
1•enigmurl•12m ago•0 comments

Show HN: I made a vertical-pedalling bike with a novel drivetrain [video]

https://www.youtube.com/watch?v=4HLOsi2gWXQ
1•tonyonodi•13m ago•0 comments

Anxiety

https://www.alessiocavallo.it/articles/anxiety
1•jxad•14m ago•0 comments

Tensor Network Attention

https://mainlymatmul.com/blog/tensor-network-attention/
1•mezark•15m ago•0 comments

Span Announces XFRA, a Mini Household Data Center

https://www.span.io/blog/span-announces-xfra-a-distributed-data-center-solution-to-close-the-spee...
1•fastest963•16m ago•0 comments

An Agent Run Is Not Done When the Model Stops Talking

https://jeremyblankenship.dev/writing/agent-run-not-done
1•aliasocracy•16m ago•0 comments

Casio S100X Japanese Lacquer Edition (JP Page Only)

https://www.casio.com/jp/basic-calculators/premium/en-s100x-jc1-u/
2•dr_kiszonka•19m ago•0 comments

What an AI productivity surge would mean for the fiscal outlook

https://www.axios.com/2026/05/06/ai-productivity-yale-fiscal-outlook
1•simonpure•20m ago•0 comments

I took a 250k-mile minivan through Germany's rigorous car inspection

https://www.jalopnik.com/i-took-a-250-000-mile-minivan-through-germanys-rigorous-1845197100/
1•probably_wrong•20m ago•0 comments

EV-QA-Framework–Open-source battery QA anomaly detection and SOH prediction

https://github.com/remontsuri/EV-QA-Framework
1•remontsuri•20m ago•0 comments

An HTTP header caused time.gov to skew from UTC

https://alexsci.com/blog/how-time-gov-works/
2•birdculture•21m ago•0 comments

No One Reads Your Upwork Proposals Anymore

https://www.vincentschmalbach.com/why-no-one-reads-your-upwork-proposals-anymore/
1•vincent_s•21m ago•0 comments

Your ERP Has a New Coworker. Here's What You Need to Know

https://cloudsquid.substack.com/p/your-erp-has-a-new-coworker-heres
2•universesquid•22m ago•0 comments

All the popular transport thinkers are convening in Bangkok in October

https://www.informalandsharedmobility.net
1•TrufiAssoc•22m ago•0 comments

OWASP Foundation's Strategic Plan [pdf]

https://owasp.org/assets/files/OWASP_Foundation_Strategic_Plan.pdf
2•runningmike•23m ago•1 comments

Show HN: Agentkey – save days of founder research with 1 "Master key"

https://github.com/chainbase-labs/Agentkey/blob/main/README.md
1•Luki82•24m ago•0 comments

Adobe's 'Modern' User Interface Is Just Webpages

https://pxlnv.com/linklog/adobe-modern-user-interface/
1•frizlab•25m ago•0 comments