fp.

Pragmatic Approaches to Improving Compiler Correctness

https://2026.ecoop.org/details/ICOOOLPS-2026-icooolps-2026/1/Pragmatic-Approaches-to-Improving-Co...

1•matt_d•2m ago•0 comments

Japan defense forces used USB drives with China-linked virus: Nikkei

https://asia.nikkei.com/spotlight/cybersecurity/japan-defense-forces-used-usb-drives-with-china-l...

1•NewCzech•5m ago•1 comments

The young Chinese choosing life in 'ghost cities'

https://www.ft.com/content/510b7c6c-04b4-4ba0-a6bb-5208de76572e

1•NewCzech•8m ago•1 comments

Trump made $1B from crypto, financial disclosure shows

https://abcnews.com/Politics/trump-made-1-billion-crypto-financial-disclosure-shows/story?id=1343...

2•doener•10m ago•0 comments

Changing AI math could reduce the hardware burden

https://www.theregister.com/ai-and-ml/2026/06/30/changing-ai-math-could-reduce-the-hardware-burde...

2•galaxyLogic•11m ago•0 comments

Berlin's Legendary XLt Subkultur Tours

https://xlterrestrials.substack.com/p/re-launch-the-xlterrestrials-subkultur

1•telesilla•12m ago•0 comments

Zhuque-3, Long March 10B Aiming for Booster Recovery in July

https://www.china-in-space.com/p/zhuque-3-long-march-10b-aiming-for

1•JPLeRouzic•15m ago•0 comments

Fox News Apologizes for Kevin O'Leary's 'Chinese Communist' Comments

https://www.sltrib.com/news/2026/06/25/kevin-oleary-retracts-chinese/

1•gnabgib•18m ago•0 comments

Claude Code uses prompt caching

https://code.claude.com/docs/en/prompt-caching

1•ankitg12•21m ago•0 comments

Show HN: ParaMetal: 3D Realtime Thermal Analysis SIM

https://parametal.com/

1•tsun_doku•21m ago•0 comments

Many Australians can get three free hours of power from today

https://www.theguardian.com/environment/2026/jun/30/solar-sharer-offer-sso-three-free-hours-elect...

4•thunderbong•22m ago•0 comments

Prompt Caching – Claude Platform Docs

https://platform.claude.com/docs/en/build-with-claude/prompt-caching

1•ankitg12•22m ago•0 comments

What is the current data language?

1•caoxhua•28m ago•1 comments

Know your work personality (test)

https://www.didon.app/work-personality-types

1•babakzy•29m ago•0 comments

GitHub: The uphill climb of making diff lines performant

https://github.blog/engineering/architecture-optimization/the-uphill-climb-of-making-diff-lines-p...

1•theanonymousone•30m ago•0 comments

I've been running a local business company for 5 yers, looking for a cofounder

1•ClaudioCronin•31m ago•0 comments

The Expensive Fictions of Low-Level Programming Languages

https://stng.substack.com/p/the-expensive-fictions-of-low-level

1•matt_d•31m ago•0 comments

Show HN: Aegize (trying to mitigate the risk of AI)

https://www.aegize.com/playground/

1•ggaswint•31m ago•0 comments

SF licenses more new dogs than babies

https://thedogsofsf.com/dogs-vs-babies

2•sanketsaurav•34m ago•0 comments

Microsoft to cut under 2.5% of workforce in latest layoffs

https://www.reuters.com/business/microsoft-cut-under-25-workforce-latest-layoffs-business-insider...

5•72f988bf•36m ago•0 comments

Cona

https://cona.design

1•Losenok•36m ago•0 comments

Microsoft plans job cuts, impacting less than 2.5% of workforce

https://www.businessinsider.com/microsoft-job-cuts-layoffs-sales-consulting-2026-6

2•phantomathkg•36m ago•0 comments

Meta is adding rate limits and soft paywall to smart glasses

https://www.theverge.com/gadgets/959899/meta-ai-glasses-paywall-rate-limit

7•Exoristos•40m ago•0 comments

IEEE Rolls Out Large Language Models Training Course

https://spectrum.ieee.org/large-language-models-ieee-course

1•JeanKage•42m ago•0 comments

China unveils software platform to boost use of homegrown supercomputing chips

https://www.chinadaily.com.cn/a/202606/30/WS6a436d54a310986e2b462b3a.html

3•TechTechTech•45m ago•0 comments

Reinforcement Learning with Metacognitive Feedback

https://arxiv.org/abs/2606.32032

1•guard0g•49m ago•1 comments

The lawyer who beat Elon Musk, twice

https://www.theverge.com/column/959270/elon-musk-open-ai-bill-savitt-twitter

4•1vuio0pswjnm7•51m ago•0 comments

Looking into the Past with Nano Banana Pro

https://jacob.gold/posts/looking-into-the-past-with-nano-banana-pro/

1•oweiler•52m ago•0 comments

Mag 7 value shrinks by $2.3T amid AI spending jitters

https://www.cnbc.com/2026/06/30/magnificent-7-stocks-sell-off-investors-grow-jittery-on-ai-spendi...

4•1vuio0pswjnm7•53m ago•0 comments

Reply to: On the robustness of topological gap detection via transport

https://www.nature.com/articles/s41586-026-10568-7

1•doener•57m ago•0 comments

Pragmatic Approaches to Improving Compiler Correctness

Japan defense forces used USB drives with China-linked virus: Nikkei

The young Chinese choosing life in 'ghost cities'

Trump made $1B from crypto, financial disclosure shows

Changing AI math could reduce the hardware burden

Berlin's Legendary XLt Subkultur Tours

Zhuque-3, Long March 10B Aiming for Booster Recovery in July

Fox News Apologizes for Kevin O'Leary's 'Chinese Communist' Comments

Claude Code uses prompt caching

Show HN: ParaMetal: 3D Realtime Thermal Analysis SIM

Many Australians can get three free hours of power from today

Prompt Caching – Claude Platform Docs

What is the current data language?

Know your work personality (test)

GitHub: The uphill climb of making diff lines performant

I've been running a local business company for 5 yers, looking for a cofounder

The Expensive Fictions of Low-Level Programming Languages

Show HN: Aegize (trying to mitigate the risk of AI)

SF licenses more new dogs than babies

Microsoft to cut under 2.5% of workforce in latest layoffs

Cona

Microsoft plans job cuts, impacting less than 2.5% of workforce

Meta is adding rate limits and soft paywall to smart glasses

IEEE Rolls Out Large Language Models Training Course

China unveils software platform to boost use of homegrown supercomputing chips

Reinforcement Learning with Metacognitive Feedback

The lawyer who beat Elon Musk, twice

Looking into the Past with Nano Banana Pro

Mag 7 value shrinks by $2.3T amid AI spending jitters

Reply to: On the robustness of topological gap detection via transport

What's new in Claude Sonnet 5

Pragmatic Approaches to Improving Compiler Correctness

Japan defense forces used USB drives with China-linked virus: Nikkei

The young Chinese choosing life in 'ghost cities'

Trump made $1B from crypto, financial disclosure shows

Changing AI math could reduce the hardware burden

Berlin's Legendary XLt Subkultur Tours

Zhuque-3, Long March 10B Aiming for Booster Recovery in July

Fox News Apologizes for Kevin O'Leary's 'Chinese Communist' Comments

Claude Code uses prompt caching

Show HN: ParaMetal: 3D Realtime Thermal Analysis SIM

Many Australians can get three free hours of power from today

Prompt Caching – Claude Platform Docs

What is the current data language?

Know your work personality (test)

GitHub: The uphill climb of making diff lines performant

I've been running a local business company for 5 yers, looking for a cofounder

The Expensive Fictions of Low-Level Programming Languages

Show HN: Aegize (trying to mitigate the risk of AI)

SF licenses more new dogs than babies

Microsoft to cut under 2.5% of workforce in latest layoffs

Cona

Microsoft plans job cuts, impacting less than 2.5% of workforce

Meta is adding rate limits and soft paywall to smart glasses

IEEE Rolls Out Large Language Models Training Course

China unveils software platform to boost use of homegrown supercomputing chips

Reinforcement Learning with Metacognitive Feedback

The lawyer who beat Elon Musk, twice

Looking into the Past with Nano Banana Pro

Mag 7 value shrinks by $2.3T amid AI spending jitters

Reply to: On the robustness of topological gap detection via transport