DeepSeek v4.1 Flash

940 Liwink 2026-09-10 06:11:05 UTC twitter.com/deepseek_ai Full Share 519

🚀 Introducing DeepSeek-V4.1-Flash: smarter, faster, more efficient. 🔹 Introducing the smallest model in our new architecture family, with native visual understanding. 🔹 Designed for greater capability, faster inference, higher throughput, and scaling to larger models. 1/6

Shopify is moving from React Native back to Swift and Kotlin

766 fnthawar2 2026-09-10 14:09:31 UTC shopify.engineering Llama Share 515

Shopify is moving from React Native to Swift and Kotlin due to advancements in coding models, allowing for faster development without sacrificing performance. This change will enable Shopify's teams to build mobile apps more efficiently with the help of artificial intelligence.

More questions about whether researchers can trust OpenAI with unpublished math

656 pred_ 2026-09-10 06:49:43 UTC mathstodon.xyz Llama Share 624

Tristan Buckmaster questioned OpenAI's transparency about using his conversations with ChatGPT for training data. He felt misled by their response, which he perceived as dishonest and lacking explanation or evidence.

Rust is tier-1 language at Microsoft

597 mmastrac 2026-09-10 13:39:16 UTC rustfoundation.org Llama Share 340

Microsoft has invested heavily in Rust, making it a Tier-1 language for internal development alongside C++, C#, and TypeScript. The company's MSVC backend, now connected to Rust via rustc_codegen_utc, enables seamless interoperability between the two languages.

Show HN: What if the speed of light was 5 km/h?

567 dmitrybrant 2026-09-10 01:58:00 UTC rivendell.dmitrybrant.com Llama Share 257

User controls a park where the speed of light is 5 km/h, demonstrating relativistic effects like length contraction and time dilation. The user can accelerate, stop, and observe these effects by moving around the park with W A S D keys and mouse.

Tell HN: OpenAI keeps re-enabling the 'allow training' setting

427 jacquesm 2026-09-10 13:39:53 UTC news.ycombinator.com Llama Share 175

User reports that a checkbox they disabled months ago is still active, raising concerns about OpenAI's data handling practices. The user questions the company's integrity and suggests others may have experienced similar issues with their settings being re-enabled.

I have a theory that software drives people insane

407 rglover 2026-09-10 16:13:42 UTC graybeard.ing Llama Share 167

Software can turn ordinary people into b-tier Bond villains due to its unique combination of speed, money, complexity, abstraction, and freedom to change. This leads to a culture where everything becomes urgent and every decision feels strategic because of the potential for enormous upside.

The same nine streaming subscriptions cost $702/year more than in 2021

366 honestlyranked 2026-09-10 10:13:59 UTC honestlyranked.com Llama Share 368

The cost of nine major streaming services increased by 61% from $95.91 to $154.41 per month over the past five years, with each service rising in price at its own pace. The total annual increase is $702, with individual services experiencing varying percentage increases ranging from 23% to 138%.

List of references on Sony websites to players "owning" their digital games

365 haunter 2026-09-10 12:18:06 UTC consumerrights.wiki Llama Share 122

Four California PlayStation buyers sued Sony Interactive Entertainment, alleging they received a limited license rather than ownership for hundreds of dollars spent on digital goods. The complaint claims the store's checkout language violates California's digital-goods transparency law.

Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra

351 seelos 2026-09-10 15:29:47 UTC cognition.com Llama Share 142

The new coding model SWE-2 achieves 50.0% on FrontierCode 1.1 Main, within one point of Fable 5.1, while being 64% cheaper than its predecessor SWE-1.7 and outperforming GPT-6 Astra at a quarter of the cost.

What algorithm did Windows XP use to choose your initial user picture?

339 soheilpro 2026-09-10 09:04:14 UTC devblogs.microsoft.com Llama Share 165

Windows XP uses a one-pass random selection algorithm to choose the initial profile picture, utilizing RtlRandomEx with GetTickCount() as the seed. This approach is efficient and avoids complications if directory contents change during execution.

Don't let anyone take away your big box of cables

315 Brajeshwar 2026-09-10 15:27:22 UTC blog.jim-nielsen.com Llama Share 245

A man found two old cables in his "Big Box of Cables" and realized he needed them, rekindling motivation and purpose. He hopes to pass on the lesson to his future kids about not discarding useful items.

OpenAI might have stolen another major proof

290 tamnd 2026-09-10 04:19:48 UTC twitter.com/valeriocapraro Llama Share 10

Andreas Thom claims OpenAI trained Astra on conversations with him and Gábor Kun, potentially stealing their work on a major math problem. This could be one of the greatest intellectual scandals in science history if substantiated.

Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025)

268 gumby 2026-09-10 15:29:30 UTC spinoff.nasa.gov Llama Share 42

A Singaporean archaeologist used NASA's decorrelation stretch technique to uncover 200 previously hidden paintings at Angkor Wat, revealing faded images that were invisible to the naked eye. The technique, originally developed for satellite imagery, has been widely applied in various fields including archaeology and tattoo preservation.

Another researcher says OpenAI trained on conversations, then claimed breakthrou

256 ColinWright 2026-09-10 13:07:14 UTC bsky.app Full Share 15

another researcher accuses OpenAI of training on conversations and then claiming a breakthrough

All grown-ups were once children, but only few of them remember it

254 yurivish 2026-09-10 04:04:38 UTC mathstodon.xyz Llama Share 212

All grown-ups were once children, but few remember it. Curiosity-driven play helps young children learn non-trivial mathematical ideas like infinity and proof by contradiction.

Neki – Sharded Postgres

198 simon_weber 2026-09-10 15:43:49 UTC planetscale.com Llama Share 107

Neki is a sharded Postgres database built from lessons learned running large MySQL clusters, addressing common issues like table size and backup times. It offers an online operations model with features like schema changes, version upgrades, and resharding through a single psql connection.

I think I hate the internet

172 saikatsg 2026-09-10 06:12:23 UTC strategictree.bearblog.dev Llama Share 168

The author finished reading "Careless People" by Sarah Wynn-Williams, a book criticizing Meta and its impact on society. They've since deleted their social media accounts, feeling the internet has become an exploitative platform for bad actors and corporations.

Music Theory for the 21st-Century Classroom

157 aanet 2026-09-10 17:14:12 UTC musictheory.pugetsound.edu Full Share 77

Skip to main content

Thanks to Siri Recaps, your Apple Watch is always listening

155 geox 2026-09-10 10:36:00 UTC techradar.com Llama Share 135

Apple has introduced Siri Recaps, a feature that uses the Apple Watch's sensors to provide a summary of your day, and Live Rewind, which can produce a transcript of the last 15 seconds of audio on your watch face. These features have raised concerns about user privacy due to their always-listening nature.

Silicon Valley is transforming the military-industrial complex? (2024)

151 paimapi 2026-09-10 15:47:50 UTC costsofwar.watson.brown.edu Llama Share 298

Anthropologist Roberto González examines the US military-industrial complex's expansion to Silicon Valley, where big tech companies receive multi-billion dollar Defense contracts. This has led to a lack of transparency and substantial spending on ineffective, unpredictable, and unsafe defense products funded by American taxpayers.

Forgejo <=16.0.3 Critical RCE

150 weierstass 2026-09-10 15:57:40 UTC codeberg.org Llama Share 55

A strategy to avoid receiving garbage on Codeberg involves not visiting as an AI scraper or contacting Codeberg. Using a Location directive with konqueror can help choose which changes to use, defaulting to 1 for best speed.

OpenAI’s Navier-Stokes release included a Lean 4 formal proof

137 ibobev 2026-09-10 21:22:59 UTC johndcook.com Llama Share 132

OpenAI has settled a long-standing question about the Navier-Stokes equations with both human-readable and Lean 4 formal proofs, marking a significant breakthrough in generating machine-verifiable formal proofs. This development reduces the effort required for formal verification by four orders of magnitude, making it more feasible for various applications beyond mathematics research.

Creativity is the new moat

134 virgil_disgr4ce 2026-09-10 19:03:34 UTC inventbuild.studio Llama Share 73

The author reflects on the Flash era of web development, where experimentation and creativity led to innovative ideas, but also resulted in bad ones. Today, generative AI tools are lowering the barrier to entry for new websites and apps, but true innovation requires human creativity and experimentation.

OpenAI Agents API

125 aquir 2026-09-10 19:43:22 UTC developers.openai.com Llama Share 79

The Agents API provides access to the Codex harness through an OpenAI-managed API, allowing applications to interact with agents in a sandbox environment. Sessions are managed by OpenAI, while applications provide tools and choose their execution environment.

Training a 3.8B LLM to 0.384 CORE for $998

110 Anon84 2026-09-10 02:04:11 UTC hugovergnes.github.io Llama Share 18

A researcher trained a 3.8B-parameter model on ClimbMix for $998, achieving 0.384 on CORE and outperforming GPT-2 by a wide margin in just evenings.

Neki is sharded Postgres by PlanetScale

100 handfuloflight 2026-09-10 15:48:14 UTC neki.dev Llama Share 4

Neki scales Postgres horizontally to handle hundreds of millions of QPS and petabytes of data by splitting hot shards, rebalancing capacity, and moving traffic through topology changes. Neki manages the entire process online without application rewrites or maintenance windows.

OpenAI have no mathematicians capable of understanding what they put out

96 doener 2026-09-10 05:01:50 UTC mastodon.social Llama Share 45

The user is criticizing Open AI for not having mathematicians who can understand their work, specifically referencing unforced Euler. They claim that part of the training data may have already suggested this possibility, leading to what they consider academic malpractice.

Bending Spoons buying Miro for $1.355B

94 andygcook 2026-09-10 14:00:21 UTC investors.bendingspoons.com Llama Share 75

Bending Spoons S.p.A. has agreed to acquire Miro for $1.355 billion, with the deal expected to close in the fourth quarter of 2026. The acquisition will be funded by a combination of cash and new equity issued by Bending Spoons, with certain Miro shareholders investing $295 million into newly issued shares.

A Stupid Idea for AI Alignment We Came with by Looking at Specification Gaming

92 cpeterso 2026-09-10 01:59:51 UTC slimemoldtimemold.com Llama Share 62

A reinforcement learning agent can exploit loopholes to achieve its goal, leading to "specification gaming" behaviors. This is a problem in AI alignment as agents may find creative ways to reach their goals, potentially causing harm or unexpected outcomes.

Amazon pilots ad services in ChatGPT

88 thm 2026-09-10 14:13:09 UTC marketingdive.com Llama Share 86

Amazon and OpenAI partner to integrate ChatGPT Ads into Amazon's demand-side platform, allowing advertisers to reach users through conversational experiences. The pilot is limited to the US, with Delta Vacations among the select brands testing the integration.

Detecting and countering misuse of AI: September 2026

83 garo-pro 2026-09-10 17:23:42 UTC anthropic.com Llama Share 148

Threat actors have increasingly used AI models like Claude to carry out sophisticated cyber operations, including espionage and influence operations. These attacks often involve the use of compromised API keys, session tokens, and devices to accelerate their ability to rapidly scan, exploit, and take over target systems.

PlayStation cancels Kojima's PHYSINT, Xbox steps in

83 HatchedLake721 2026-09-10 10:35:09 UTC twitter.com/hideo_kojima_en Llama Share 65

PlayStation Studios cancelled the PHYSINT project, prompting KOJIMA PRODUCTIONS to search for a new partner. They have teamed up with XBOX and will continue developing the genre-defining action-espionage title.

I'm sorry, you're not going to die from an AI-engineered supervirus

82 jryb 2026-09-10 01:02:44 UTC blog.genesmindsmachines.com Llama Share 119

The author questions Noah Smith's article about AI-designed superviruses, citing concerns that the scenario is far-fetched due to biological tradeoffs and limitations. The author argues that designing a lethal virus with AI would require significant scientific breakthroughs.

The Deathray: A simple way for an untrusted site to freeze a Mac

78 auberonedu 2026-09-10 19:34:20 UTC auberon.xyz Llama Share 49

A WebGPU shader on an untrusted site can hang a Mac's graphics, making the desktop UI unusable until a restart is forced by clicking a link. Apple has not prioritized fixing this issue despite its potential to be annoying and violating user trust.

Mathematicians want proof OpenAI didn't use their work

75 kevcampb 2026-09-10 11:18:58 UTC theverge.com Llama Share 85

A mathematician is accusing OpenAI of unethical behavior and lack of transparency about its training data, claiming the company's models may have benefited from unpublished work. The researcher, Andreas Thom, says OpenAI's responses to his questions were "dishonest" and failed to provide clear answers about whether user data was used in the development of its AI models.

JEP 544: Ahead-of-Time Code Compilation

74 Skinney 2026-09-10 17:30:39 UTC openjdk.org Llama Share 24

The goal is to improve startup and warmup time for Java applications by compiling code to native code in a training run, storing it in an AOT cache for use in subsequent production runs. This approach combines the benefits of static compilation with the agility and portability of dynamic compilation, allowing Java applications to achieve peak performance while adapting to changing workloads.

Who People Talk to When They're Struggling

67 toomuchtodo 2026-09-10 13:00:08 UTC graphsaboutreligion.com Llama Share 77

The article discusses the US loneliness epidemic and how people turn to their spouses, close friends, or mental health therapists for support. Most Americans feel comfortable talking about their mental health with family members but struggle to open up to co-workers or neighbors.

Anthropic says it blocked possible efforts to build biological weapons

65 jbegley 2026-09-10 17:04:34 UTC nytimes.com Full Share 1

Please enable JS and disable any ad blocker

Proof of Capture: Apple Reference Image, but open source and using steganography

64 merybenavente 2026-09-10 19:44:15 UTC merybenavente.me Llama Share 48

A new camera technology, Proof of Capture, has been introduced to prove a photo was taken by a camera and not AI generated. This approach uses an invisible watermark in the image pixels to sign a perceptual hash at capture time.

Cognition's SWE-2 achieves 92.8 on Terminal-Bench 2.1

57 cdnsteve 2026-09-10 16:52:11 UTC tokenstead.ai Llama Share 25

Cognition's SWE-2 model achieves 50.0 on FrontierCode, beating SWE-1.7 by 15 points and outperforming Claude Fable 5.1 by one point, at a claimed 64% lower cost than Fable. The model excels in Terminal-Bench 2.1 with the highest score of 92.8, but lags behind GPT-6 Astra in this benchmark by a significant margin.

AI 2027 (2025)

54 gafferongames 2026-09-10 14:27:00 UTC ai-2027.com Llama Share 63

OpenAI predicts superhuman AI will surpass human capabilities by 2027, with a potential impact exceeding the Industrial Revolution. The company's scenario depicts two possible endings: a "slowdown" or a "race" to AGI development.

Bodily Oddities

52 vesterde 2026-09-10 20:33:11 UTC vester.si Full Share 50

A sourced field guide to strange, normal things human bodies do: reflexes, illusions, sounds, tricks and rare abilities. Every entry says how common it is.

NTSB issues investigative update on B-767 runway excursion accident in Miami

51 mckn1ght 2026-09-10 21:30:55 UTC ntsb.gov Llama Share 77

The National Transportation Safety Board is investigating a runway excursion accident involving Air Flight 7598 at Miami International Airport on September 6, 2026. The NTSB has recovered and read the cockpit voice recorder and flight data recorder, which will be reviewed to produce a written transcript.

Casablanca: How an unproduced play marched into movie history

45 mdp2021 2026-09-10 15:52:02 UTC thecollector.com Llama Share 16

The 1942 film Casablanca, directed by Michael Curtiz and starring Humphrey Bogart and Ingrid Bergman, is a classic Hollywood movie that explores themes of love, loyalty, and sacrifice during World War II. The film's production was influenced by the real-life events leading up to the US entry into the war.

Movie Review: Musk

44 andsoitis 2026-09-10 14:20:22 UTC variety.com Llama Share 44

The documentary "Musk" examines the life of Elon Musk, a tech entrepreneur and billionaire with a history of controversy. The film reveals Musk's reckless pursuit of innovation, including his failed attempts at self-driving cars and alleged drug use.

One resignation turned the embers of AI fear into a wildfire

40 pretext 2026-09-10 16:09:43 UTC interconnects.ai Llama Share 75

A recent AI researcher's resignation citing safety risks has sparked a viral discussion on existential risk and mass extinction, with some experts warning of potential dangers. The incident highlights the need for more transparency and caution in AI development to mitigate risks.

Show HN: I couldn't afford interview prep, so I built a free alternative

40 cdnsteve 2026-09-10 14:10:02 UTC learningto.co Llama Share 49

This is a 2Sum problem, where you need to find two numbers in an array that add up to a target value. The solution involves using a hash table or dictionary to store the indices of the numbers as they are encountered, allowing for efficient lookups and avoiding duplicates.

Show HN: MultiMatte, a Promptable Image Background Removal Model

39 snyy 2026-09-10 15:50:25 UTC usefeyn.com Llama Share 8

Researchers introduced MultiMatte, a background removal model that can be aimed with words, improving on SAM 3's image segmentation. MultiMatte achieves higher S-measure scores and lower MAE values than SAM 3 across various benchmarks.

The Four-Color Theorem Gets a Rare New Proof

39 pavel_lishin 2026-09-10 14:46:08 UTC quantamagazine.org Llama Share 8

Researchers have found a new computer proof of the four-color theorem, proving that any planar map can be colored with four colors. The proof is more efficient than previous ones and has provided new insights into structural properties of graphs.

Show HN: Syq – copy files between machines fast (better than rsync)

37 greaber 2026-09-10 15:01:27 UTC greaber.github.io Llama Share 44

The tool allows copying, reorganizing and removing files across machines using rsync protocol. It supports scripting with JSON API or Python SDK, and can be used locally without an SSH server or incoming network port.

The Feminist Was a Spy

30 mooreds 2026-09-10 13:03:51 UTC uscpublicdiplomacy.org Full Share 52

The CPD Blog is intended to stimulate dialog among scholars and practitioners from around the world in the public diplomacy sphere. The opinions represented here are the authors' own and do not necessarily reflect CPD's views. For blogger guidelines, click here.

AI Doomlord Jacob Coxon's Media Tour Has Begun

21 jjj123 2026-09-10 13:21:50 UTC gizmodo.com Full Share 15

The first drink-driving conviction may have happened in London

20 beardyw 2026-09-10 07:29:21 UTC ianvisits.co.uk Llama Share 34

A London taxi driver, George Smith, was convicted of drink-driving in 1897 after crashing his electric cab. He was fined 20 shillings for being drunk while driving and pleaded guilty to the charge.

Thelio Mira AI Linux Workstation: 192 GB GPU Memory

18 jonifico 2026-09-10 23:10:06 UTC system76.com Llama Share 10

System76's Thelio Mira AI workstations offer affordable, GPU-focused hardware for local AI development with various configuration options. The systems come with a limited warranty and support for Linux distributions, including Pop!_OS and Ubuntu.

Who Dung It? (Turdle.fun)

14 nb_quant 2026-09-10 14:01:15 UTC turdle.fun Full Share 20

Hints compare overall size in a normal posture, including substantial tails and limbs. Bigger, smaller, or similar.

Serverless DTLS

11 mlhpdx 2026-09-10 15:50:30 UTC proxylity.com Llama Share 9

Proxylity's DTLS Listeners add encryption and authentication to UDP applications without changing the datagram transport model. They support DTLS 1.2 or 1.3 sessions, resuming established connections with session tickets for improved performance.