frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Sound Static Data Race Verification for C: Is the Race Lost?

https://pldi25.sigplan.org/details/pldi-2025-papers/95/-TOPLAS-Sound-Static-Data-Race-Verification-for-C-Is-the-Race-Lost-
1•matt_d•3h ago

Matrix Is Cooked

https://paper.wf/alexia/matrix-is-cooked
2•LaSombra•5m ago•0 comments

Show HN: Can you spot the better chart?

https://www.matplotlib-journey.com/bonus/design-principles
1•holtzy•8m ago•0 comments

Army Cyber Corps – A Prehistory

https://www.army.mil/article/286292/army_cyber_corps_a_prehistory
1•campuscodi•11m ago•0 comments

A deep-dive explainer on Ink and Switch's BeeKEM protocol

https://meri.garden/a-deep-dive-explainer-on-beekem-protocol/
1•erlend_sh•13m ago•0 comments

Show HN: Last Week on HN (Quiz)

https://lastweekonhn.xyz/
2•gametorch•15m ago•0 comments

Cfd trading educational resources portal

https://www.mt5tutorial.com/
1•nonplayercaesar•19m ago•0 comments

Google to scale up AI-powered fraud detection and security operations in India

https://techcrunch.com/2025/06/17/google-to-scale-up-ai-powered-fraud-detection-and-security-operations-in-india/
2•codexy•23m ago•0 comments

Taiwan bans exports to Huawei, who tricked TSMC into making 2M AI processors

https://www.tomshardware.com/tech-industry/semiconductors/taiwan-bans-chip-exports-to-huawei-smic-ban-comes-after-huawei-tricked-tsmc-into-making-one-million-ai-processors-despite-us-restrictions
1•Bluestein•28m ago•0 comments

The magic of through running

https://www.worksinprogress.news/p/the-magic-of-through-running
4•ortegaygasset•29m ago•1 comments

What tools support AI context-based image editing and generation?

https://www.fluxx.ai/
2•fluxx-ai•30m ago•0 comments

Photo Albums for Proton Drive

https://proton.me/blog/proton-drive-photo-albums
1•jibcage•31m ago•0 comments

Archaeologists Locate Deepest Shipwreck Recorded in French Waters

https://archaeology.org/news/2025/06/16/marine-archaeologists-locate-deepest-shipwreck-recorded-in-french-waters/
1•Bluestein•35m ago•0 comments

Show HN: I wrapped Apple's new on-device models in an OpenAI-compatible API

https://github.com/gety-ai/apple-on-device-openai
1•channingdai•35m ago•0 comments

A Naive Implementation of "Nightbeat"

https://github.com/franzkruhm/nightbeat-naive
1•zanfr•35m ago•1 comments

Framing business problems for machine learning

https://codebynight.dev/posts/primer-to-framing-business-problems-for-machine-learning/
1•shivc•35m ago•0 comments

Git 2.50

https://github.blog/open-source/git/highlights-from-git-2-50/
3•sh_tomer•38m ago•1 comments

Show HN: I built an AI tool to analyze and reply to reviews

https://www.sentimreview.com/en
1•thayerquinlan•39m ago•0 comments

My Formatter Will Never Be as Fast as Ruff

https://sam.elborai.me/articles/my-formatter-will-never-be-as-fast-as-ruff/
2•dgellow•39m ago•0 comments

Is there a half-life for the success rates of AI agents?

https://arxiv.org/abs/2505.05115
2•YeGoblynQueenne•41m ago•0 comments

Show HN: FaynoSync Self-Hosted API for Automatic App Updates

https://github.com/ku9nov/faynoSync
2•ku9n•42m ago•0 comments

Invert Image and Invert Colors

https://invertimage.org
1•mrguo•42m ago•0 comments

Static interpretation of higher-order modules in Futhark: functional GPU program

https://dl.acm.org/doi/10.1145/3236792
2•fanf2•44m ago•0 comments

Show HN: FrameNet – Free AI Subtitle Generator for Creators (No Watermark)

https://www.framenet.ai/
2•ajith_pinninti•44m ago•0 comments

The most liveable cities in 2025

https://www.economist.com/graphic-detail/2025/06/16/the-worlds-most-liveable-cities-in-2025
3•tosh•48m ago•0 comments

Breaking Down Datadome Captcha WAF

https://medium.com/@glizzykingdreko/breaking-down-datadome-captcha-waf-d7b68cef3e21
1•robtherobber•49m ago•0 comments

Halfway YC's AI Event – After LessWrong, Arbor, Manifold

2•devken•50m ago•2 comments

Serialization Framework Announcement – Apache Fury Is Now Apache Fory

https://fory.apache.org/blog/fury_renamed_to_fory/
1•chaokunyang•50m ago•1 comments

GOP hawks vs. Maga isolationists: Internal war could decide Trump Iran response

https://www.theguardian.com/us-news/2025/jun/17/republican-hawks-vs-maga-isolationists-the-internal-war-that-could-decide-trumps-iran-response
3•prmph•51m ago•0 comments

Midway YC's AI Event – After LessWrong, Arbor, Manifest

2•devonkennedy•54m ago•2 comments

NexusMods Changes Hands

https://www.nexusmods.com/news/15301
2•gmemstr•1h ago•0 comments