Corporation for Public Broadcasting ceasing operations

600 coloneltcb 2025-08-01 16:56:40 UTC cpb.org Llama Share 577

The Corporation for Public Broadcasting will wind down operations after federal funding was excluded in the FY 2026 appropriations bill. CPB will close most staff positions by September 30, 2025, with a small team remaining to ensure a responsible closeout.

Live coding interviews measure stress, not coding skills

491 mustaphah 2025-08-01 12:51:38 UTC hadid.dev Llama Share 491

A senior engineer may struggle with live coding due to stress, which impairs working memory and fluid intelligence. Live coding tests are unfair as they measure cortisol levels under stress rather than actual coding skills.

Gemini 2.5 Deep Think

453 meetpateltech 2025-08-01 11:10:38 UTC blog.google Llama Share 243

Google released Deep Think in the Gemini app for Google AI Ultra subscribers, a significant improvement over previous versions. It uses parallel thinking techniques to generate creative solutions to complex problems, enhancing capabilities in areas like iterative development, scientific discovery, and algorithmic development.

At 17, Hannah Cairo solved a major math mystery

448 baruchel 2025-08-01 16:35:40 UTC quantamagazine.org Llama Share 171

Hannah Cairo, a 17-year-old homeschooler, solved a 40-year-old math mystery, the Mizohata-Takeuchi conjecture, by showing it's false. Her proof defies mathematicians' intuitions and has energized the math community.

Cerebras Code

431 d3vr 2025-08-01 22:04:38 UTC cerebras.ai Llama Share 167

Cerebras Code Pro ($50/month) and Code Max ($200/month) offer instant code generation with Qwen3-Coder, a 480B model. Both plans support up to 1,000 daily messages and no proprietary IDE lock-in.

The untold impact of cancellation

373 cbeach 2025-08-01 12:12:04 UTC pretty.direct GoogleT5 Share 445

Warning: this is not about whether i deserved to be condemned or not. sam taylor says the scalea lockdown affected his professional life, social life and personal life a great deal, and he was not mentally fit to do so, despite the accusations - if you sign the letter, think about the potential consequences, she says. she was unable to travel, work, or even eat for four months because of the

Our Farewell from Google Play

331 shakna 2025-08-01 09:08:59 UTC secuso.aifb.kit.edu Llama Share 124

Our project started in 2016 offering privacy-friendly alternatives to apps demanding unnecessary permissions. Due to increased maintenance costs, we're shifting our apps to F-Droid Store for continued updates and support.

I couldn't submit a PR, so I got hired and fixed it myself

315 skeptrune 2025-08-01 16:59:51 UTC skeptrune.com Llama Share 209

User experienced a search quirk on Mintlify for over a year, which they later fixed as a team member by adding an AbortController. This fix improved search results relevance and user experience.

Replacing tmux in my dev workflow

303 elashri 2025-08-01 09:04:16 UTC bower.sh Llama Share 340

User had issues with tmux, including complexity, color rendering, and mouse select problems. They found an alternative in shpool, a tool that provides session persistence and window management.

Anthropic revokes OpenAI's access to Claude

283 minimaxir 2025-08-01 21:50:28 UTC wired.com Llama Share 116

Anthropic revoked OpenAI's API access to its models due to violating terms of service. OpenAI used Anthropic's Claude to test its own AI model GPT-5, which is reportedly better at coding.

Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU

272 dougdude3339 2025-08-01 21:53:13 UTC dougmacdowell.com Llama Share 84

The user built a retro gaming computer called Coffeematic PC by repurposing a 1970s General Electric coffee maker and combining it with mid-2000s computer hardware and a unique hot Java cooling system. Coffeematic PC is part of a lineage of coffee maker computers that spans 22 years, with a 15-year gap in the middle, and inspired an art exhibition called Sparklines that explores the history ...

NSF has suspended Terry Tao's grant

265 xqcgrek2 2025-08-01 11:39:09 UTC bsky.app Full Share 332

For the math folks on here: NSF has suspended Terry Tao's grant. https://www.nsf.gov/awardsearch/showAward?AWD_ID=2347850&HistoricalAwards=false

Every satellite orbiting earth and who owns them (2023)

262 jonbaer 2025-08-01 05:31:20 UTC dewesoft.com Llama Share 109

There are thousands of satellites in space, with over 4,550 currently orbiting Earth, serving various purposes such as communication, navigation, and Earth observation. SpaceX owns the most satellites, with 36% of the total, aiming to deliver high-speed broadband Internet access worldwide through its Starlink program.

Google shifts goo.gl policy: Inactive links deactivated, active links preserved

248 shuuji3 2025-08-01 17:43:02 UTC blog.google Llama Share 176

Google will preserve actively used goo.gl URLs, but those inactive since late 2024 will be deactivated after August 25. Check your link today to see if it will be retained or deactivated.

Atlassian terminates 150 staff

217 speckx 2025-08-01 19:21:36 UTC cyberdaily.au Llama Share 161

Atlassian terminated 150 staff via a pre-recorded video, citing a need for restructuring due to AI-embedded customer contact solutions. Affected staff will receive six months' pay and the company claims the jobs are not being replaced by AI.

FBI seized $40k from Linda Martin without charging her with a crime

216 fortran77 2025-08-01 15:32:37 UTC reason.com Llama Share 107

Linda Martin's life savings were seized by the FBI without explanation, violating her due process rights. A court dismissed her lawsuit, allowing the federal government to continue seizing assets without justification.

Ask HN: Who is hiring? (August 2025)

215 whoishiring 2025-08-01 15:00:05 UTC news.ycombinator.com GoogleT5 Share 265

We're a deep tech startup at the intersection of ai, robotics and hmi. our ideal software developer has an incredible curiosity, experience across full development stack. we aim to rekindle the dream of personal computing and make software creation accessible to all, so every person can have the power to shape their computational future. ideally you're fullstack on the web, and ...

OpenAI raises $8.3B at $300B valuation

208 mfiguiere 2025-08-01 14:22:39 UTC nytimes.com Full Share 271

Please enable JS and disable any ad blocker

Tesla must pay portion of $329M damages after fatal Autopilot crash, jury says

205 koolba 2025-08-01 18:28:53 UTC cnbc.com Llama Share 248

A Florida jury held Tesla partly liable for a 2019 Autopilot crash, ordering the company to pay $329 million in damages. The verdict includes $129 million in compensatory and $200 million in punitive damages against Tesla.

IRS head says free Direct File tax service is 'gone'

201 microsoftedging 2025-08-01 14:24:04 UTC theverge.com Llama Share 191

The IRS Direct File program may be eliminated due to the Trump administration's Big Beautiful Bill, which aims to replace it with a task force. Lawmakers are frustrated by the potential elimination, citing benefits for taxpayers and criticism of tax prep companies.

Belgium bans Internet Archive's ‘Open Library’

188 gslin 2025-08-01 11:41:05 UTC torrentfreak.com Llama Share 87

A Belgian court issued a provisional order to block access to several pirate sites, including the Internet Archive's Open Library, citing copyright infringement. The order targets a broad range of intermediaries, including ISPs, DNS providers, and search engines, to restrict access to the sites.

Does the Bitter Lesson Have Limits?

175 dbreunig 2025-08-01 20:21:29 UTC dbreunig.com Llama Share 84

The bitter lesson states that general methods leveraging computation are most effective, but this lesson is bitter because it often requires abandoning human-centric approaches. The lesson is being rediscovered in business, but its application is complicated by the difficulty of defining clear objectives and measuring complex processes.

U.S. fires statistics chief after soft jobs report

169 JumpCrisscross 2025-08-01 22:02:24 UTC politico.com Llama Share 91

President Donald Trump fired Labor Department's statistical arm head Erika McEntarfer after a jobs report came in under expectations. Trump claims the report was "RIGGED" and McEntarfer will be replaced with someone more competent.

Long Term Support

159 rishikeshs 2025-08-01 14:28:11 UTC sqlite.org Llama Share 55

SQLite developers plan to support the database until 2050, ensuring long-term viability and accessibility. They achieve this through extensive testing, detailed documentation, and a commitment to backwards compatibility.

Native Sparse Attention

136 CalmStorm 2025-08-01 19:48:06 UTC aclanthology.org Llama Share 30

Researchers propose Native Sparse Attention (NSA) to improve efficiency in long-context modeling. NSA achieves substantial speedups and maintains or exceeds Full Attention models in various tasks.

OpenAI Leaks 120B Open Model on Hugging Face

136 skadamat 2025-08-01 15:44:27 UTC twitter.com/main_horse Full Share 75

Something went wrong, but don’t fret — let’s give it another shot. Some privacy related extensions may cause issues on x.com. Please disable them and try again.

How did Facebook intercept competitor's encrypted mobile app traffic? (2024)

131 taubek 2025-08-01 11:54:06 UTC haxrob.net Llama Share 53

Facebook's Onavo Protect app intercepted user traffic using a MITM attack called "ssl bump" to gather competitor intelligence, but it's unclear if all users were affected. The app used a self-signed certificate to decrypt TLS traffic, which was installed on devices with older Android versions, but was blocked by newer Android releases.

Deep Agents

127 saikatsg 2025-08-01 19:28:45 UTC blog.langchain.com Llama Share 40

Creating a general-purpose agent requires more than just a loop of tool calls, it needs a combination of planning tools, sub-agents, file system access, and detailed prompts to achieve deeper tasks. A new open-source package called deepagents attempts to create a customizable general-purpose deep agent that can be tailored to specific verticals with a simple installation and configuration process.

GPT-5 is already (ostensibly) available via API

122 consumer451 2025-08-01 13:13:33 UTC old.reddit.com Llama Share 38

User needs to register or sign in with developer credentials and ensure a unique User-Agent string to access the application. Alternatively, try resetting to default User-Agent or file a ticket for assistance.

Self-Signed JWTs

116 danscan 2025-08-01 18:27:59 UTC selfref.com Llama Share 82

The user criticizes a complex API setup and proposes a simpler alternative using JSON Web Keys (JWKs) and JWTs. This allows for unified client and server SDKs and eliminates the need for separate keys and accounts.

Ergonomic keyboarding with the Svalboard: a half-year retrospective

116 Twey 2025-08-01 16:36:51 UTC twey.io GoogleT5 Share 60

The svalboard is based on the same principles as the charachorder. each finger gets a key ‘cluster’ and rather than moving the finger off the key to reach other keys as in traditional keyboards, it stays in its cluster - even down if you press it down, like charachorders do. shift lives in the middle of the cluster, where it can be easily hit with either side, while for specific

Researchers map where solar energy delivers the biggest climate payoff

111 rbanffy 2025-08-01 20:21:42 UTC rutgers.edu Llama Share 72

Researchers found that increasing US solar power by 15% could reduce 8.54 million metric tons of CO2 emissions annually. The study highlights regional climate benefits and spillover effects of solar power adoption in the US.

Bad UX

110 liquid99 2025-08-01 18:48:42 UTC google.com Llama Share 55

Google detected unusual traffic from your network possibly due to malicious software or a script. Solving the CAPTCHA will let you continue using Google services.

Ask HN: Who wants to be hired? (August 2025)

110 whoishiring 2025-08-01 15:00:05 UTC news.ycombinator.com Llama Share 247

I am a software engineer with 10 years of experience in writing complex logics beneath a simple UI/UX, proficient in various programming languages and technologies, and seeking a full-time role as a senior frontend developer. I have a strong passion for design-oriented mindset and keen eye for detail, with successful delivery of products like Zillow, Airbnb, and Walmart+.

Hyrum's Law

109 andsoitis 2025-08-01 14:58:06 UTC hyrumslaw.com Llama Share 65

A system's interface is not as abstract as it seems, as users rely on implementation details exposed through it, creating an implicit interface that constrains changes to the system. This phenomenon, known as "Hyrum's Law," results in "bug-for-bug compatibility" and makes the implementation the actual interface.

Launch HN: Societies.io (YC W25) – AI simulations of your target audience

107 p-sharpe 2025-08-01 12:13:12 UTC news.ycombinator.com Llama Share 56

Patrick and James from Artificial Societies created a platform to simulate target audiences for marketing and messaging testing. Their tool uses AI personas and social network graphs to run rapid and cheap experiments, with promising accuracy and a free trial available.

Design patterns you should unlearn in Python

102 zeitlupe 2025-08-01 16:29:20 UTC lihil.cc Llama Share 103

The Singleton and Builder design patterns are often misused in Python due to their origins in languages like Java and C++, where they were necessary to work around language limitations. In Python, these patterns can be replaced with simpler solutions like using modules for singletons and default arguments or keyword arguments for builders.

Rollercoaster Tycoon (Or, MicroProse's Last Hurrah)

101 cybersoyuz 2025-08-01 16:10:33 UTC filfre.net GoogleT5 Share 45

Hasbro and mattel ruled the u.s. market for toys and family-oriented board games. the most profitable single game of 1996 was not quake or warcraft ii - barbie fashion designer dripped with laddish cynicism, writes sam taylor-mcgraw jr. "the core spirit of the game is pleasant and winsome," he says, but the campaign is about

Supporting the BEAM community with free CI/CD security audits

90 todsacerdoti 2025-08-01 16:20:07 UTC erlang-solutions.com Llama Share 20

Erlang Solutions offers free CI/CD security audits for open-source Erlang and Elixir projects using SAFE. These audits help maintainers identify and fix vulnerabilities early in their development pipeline.

Navy demonstrates multi-day solar UAS flight

90 bookofjoe 2025-08-01 11:57:23 UTC navair.navy.mil Llama Share 43

The website is temporarily blocked due to security reasons after a suspicious action was detected. Please email the site owner with the Cloudflare Ray ID and details of the action that triggered the block.

Fast (2019)

89 samuel246 2025-08-01 15:19:43 UTC patrickcollison.com Llama Share 22

Many projects were completed quickly in the past, such as the Eiffel Tower in 2 years and 2 months, and the Alaska Highway in 234 days. However, recent projects have taken much longer, such as the Van Ness bus lane project in San Francisco, which took around 7,600 days.

Tim Cook rallying Apple employees around AI efforts

83 andrew_lastmile 2025-08-01 21:50:44 UTC bloomberg.com Llama Share 125

Apple CEO Tim Cook rallied employees around AI prospects and a product pipeline, calling it as big as the internet and smartphones. He emphasized Apple's investment in AI, saying it's "ours to grab."

Palantir gets $10B contract from U.S. Army

74 aspenmayer 2025-08-01 08:56:17 UTC washingtonpost.com Full Share 116

Gemini 2.5 Deep Think

67 tosh 2025-08-01 11:22:52 UTC twitter.com/googledeepmind Full Share 5

Something went wrong, but don’t fret — let’s give it another shot. Some privacy related extensions may cause issues on x.com. Please disable them and try again.

LLM leaderboard – Comparing models from OpenAI, Google, DeepSeek and others

64 bookofjoe 2025-08-01 02:45:52 UTC artificialanalysis.ai Llama Share 39

The top AI models ranked by intelligence are Grok 4 and o3-pro, while the fastest output speed is held by Gemini 2.5 Flash-Lite (Reasoning) at 637 tokens per second.

Show HN: KubeForge – A GUI for Kubernetes YAMLs

62 rakeda 2025-08-01 02:30:59 UTC github.com/kubenote Llama Share 22

KubeForge is a visual toolkit for building and managing Kubernetes deployment configurations with an intuitive interface. It keeps definitions up to date and enables direct YAML hosting for stable URL references.

Philz Coffee close to closing deal to sell to private equity firm for $145M

59 danso 2025-08-01 18:54:59 UTC missionlocal.org Llama Share 77

Freeman Spogli & Co is buying Philz Coffee for $145 million, canceling common stock and making employee investments worthless. Current stockholders have until Aug 5 to request an appraisal of their shares.

The Rule of Law Is Dead in the US

57 mrtesthah 2025-08-01 13:05:13 UTC thenation.com Llama Share 35

The US Supreme Court has allowed Donald Trump to operate outside the rule of law, making it impossible to predict what actions are legal or not. This has led to a lawless society where Trump's whims dictate what is allowed, and the rule of law no longer functions.

Online Safety Act: What went wrong?

54 olyellybelly 2025-08-01 14:00:55 UTC therectangle.substack.com Llama Share 104

The UK's Online Safety Act is a poorly considered law that's easily bypassed and raises privacy concerns. It's a technical solution to a societal problem, failing to address the root causes of online harm.

Clarifying recent headlines on gaming content

53 mosura 2025-08-01 18:49:50 UTC mastercard.com Llama Share 22

Mastercard denies evaluating games or restricting activities on creator sites, following lawful purchase standards. It requires merchants to have controls to prevent Mastercard cards from being used for unlawful purchases.

Vibe coding is the fast fashion industry of software engineering

53 pdelboca 2025-08-01 09:27:46 UTC pdelboca.me Llama Share 69

The author fears AI-generated code will flood the market with low-quality products, causing ecological and noise pollution. They argue for formal definitions of code quality and professional standards to combat this issue.

Pride Versioning 0.3.0

51 laacz 2025-08-01 09:46:08 UTC pridever.org Full Share 13

Additional labels for pre-release and build metadata are available as extensions to the PROUD.DEFAULT.SHAME format. Increasing the Proud Version on 1.2.3 by 1 would yield 2.0.0, so you can fully show the proudness of your new version.

How to Secure a Linux Server

49 redbell 2025-08-01 11:14:37 UTC github.com/imthenachoman GoogleT5 Share 43

This guide is an evolving how-to guide for securing a linux server. there are countless articles online that tell you how to secure linux, but the information is spread across different articles, that cover different things, and in different ways. do not blindly copy-and-paste without understanding what you're pasting. if you want to use ansible, check out the playbooks at how to secure a ...

Unemployment rising in remote-friendly occupations (2024)

46 mooreds 2025-08-01 18:38:38 UTC jedkolko.com Llama Share 65

Amazon's return to office policy may signal a shift away from remote work as unemployment rises in high-remote occupations. The unemployment rate in these occupations could be a key indicator of remote work's future.

Fair Access to Banking

45 boastful_inaba 2025-08-01 01:34:26 UTC usips.org Llama Share 24

The Fair Access to Banking Act (S.401) aims to prevent financial institutions from denying services based on political or reputational risk. However, it lacks teeth for payment networks and processors, allowing them to continue censoring businesses with impunity.

Show HN: Pontoon – Open-source customer data syncs

44 alexdriedger 2025-08-01 15:28:53 UTC github.com/pontoon-data Llama Share 10

Pontoon is an open source data export platform for shipping data products to enterprise customers. It simplifies data syncing to customers' data warehouses like Snowflake and BigQuery.

Twentyseven 1.0

43 082349872349872 2025-08-01 22:10:07 UTC blog.poisson.chat Llama Share 4

Twentyseven is a Rubik's cube solver written in Haskell, first released in 2016, and updated to version 1.0.0 to compile with GHC 9.12. It uses an iterative deepening A* search algorithm with precomputed tables for faster solving.

Show HN: TraceRoot – Open-source agentic debugging for distributed services

40 xinweihe 2025-08-01 16:58:51 UTC github.com/traceroot-ai Llama Share 12

TraceRoot is an open-source debugging platform combining structured traces, logs, and AI analysis for faster issue resolution. It provides a community-driven framework for debugging, tracing, and root cause analysis with AI agents.

JSON is not a YAML subset (2022)

39 AndrewDucker 2025-08-01 21:06:09 UTC john-millikin.com Llama Share 30

JSON is not a subset of YAML, and parsing JSON with a YAML parser can lead to incorrect results due to differences in syntax handling. YAML parsers may treat JSON numbers or strings as strings, causing semantic differences.

NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.)

36 dargscisyhp 2025-08-01 17:56:14 UTC grant-witness.us Llama Share 1

Users can explore data using "Group", "Filter", and "Sort" options, and view pre-filtered groups by clicking tabs at the top. They can also customize views by selecting "List" or "Grid" to see detailed information and totals.

When Flatpak's Sandbox Cracks

27 dxs 2025-08-01 20:01:53 UTC linuxjournal.com Llama Share 38

Flatpak's sandbox model is robust but imperfect, with vulnerabilities like CVE-2024-32462 and symlink exploits allowing apps to escape. Users must stay alert, apply patches, and minimize granted permissions to ensure secure app isolation.

Onshape – Product Development Platform

24 kehiy 2025-08-01 10:45:59 UTC onshape.com Llama Share 12

Onshape auto-saves designs, eliminates PDM hassles, and empowers teams to work together instantly. It provides version control, peace of mind, and cost savings through its cloud-based CAD and PDM software.

Introduction to Unikernel: Building, deploying lightweight, secure applications

21 eyberg 2025-08-01 14:22:45 UTC tallysolutions.com Llama Share 8

Unikernels are compact, single-application virtual machines that provide a lightweight and secure environment for applications to run without the overhead of traditional operating systems. They are well-suited for modern environments that require fast boot times, low resource consumption, and efficient data processing, but come with challenges such as complexity in development and ...

Rate, price drops won't substantially improve affordability

19 littlexsparkee 2025-08-01 15:41:08 UTC zillow.com Llama Share 72

Mortgage rates need to drop to 4.43% for a typical home to be affordable to a buyer, but this decline is unrealistic. Home prices and mortgage rates must significantly drop for a median-income family to afford a typical home.

A memory safe C framework, RAII, I/O, coroutine and other concurrency primitives

18 thetechstech 2025-08-01 00:02:56 UTC zelang-dev.github.io GoogleT5 Share 2

This library provides ease of use convenience wrappers for libuv combined with the power of c-raii, a high level memory management library similar to other languages. it uses stdio_stream() or sync_fd() functions to create files and returns an array of result ids - these can be used to access the result of an event loop if the callback is canceled or an