Who's afraid of Chinese models?

238 mfiguiere 2026-07-20 21:33:01 UTC stratechery.com Llama Share 160

The author argues that the reaction to Chinese open weight models is overblown, as they are not necessarily cheaper to serve on a marginal cost basis, but rather are benefiting from a lack of compute and a price umbrella. The author suggests that the US should pass a law to make distillation of models fair use and to loosen restrictions on using frontier labs' models for cybersecurity, to ...

Kimi Work

394 ms7892 2026-07-20 17:33:01 UTC kimi.com Llama Share 180

You want to find and summarize all PDF files containing quarterly reports in the local workspace ~/Documents/KimiWorkspace and generate a clear summary document. You also want to know about Scheduled Tasks in Kimi Work, specifically if they run when the computer is asleep.

Human mathematicians are being outcounterexampled

200 artninja1988 2026-07-20 19:33:01 UTC xenaproject.wordpress.com Llama Share 72

Mathematicians are using AI tools to find counterexamples to long-standing conjectures, including the Erdős Unit Distance conjecture, Grothendieck's question, and the Jacobian Conjecture. These AI-generated counterexamples are being formalized in Lean, a programming language for mathematics, and are helping humans gain a deeper understanding of the underlying mathematics.

Jelly UI: Soft-body physics for native HTML form controls

334 baldvinmar 2026-07-20 17:33:01 UTC jelly-ui.com Full Share 135

Jelly UI is a dependency-free Web Components library for soft, tactile product interfaces. Real form controls meet soft-body physics, with dark mode, right-to-left support and WCAG AA color tokens built in.

Hacker wipes Romania's land registry database

567 speckx 2026-07-20 13:33:01 UTC news.risky.biz Llama Share 323

A hacker breached Romania's cadastre agency, wiping the country's land registry database after a failed extortion attempt. The hack has brought the real-estate market to a standstill.

Nativ: Run frontier open models locally on your Mac

172 aratahikaru5 2026-07-20 18:33:01 UTC blaizzy.github.io Llama Share 69

Nativ offers a local AI app for Mac with open models from Google, Cohere, and Liquid AI, no accounts or subscriptions required. It's 100% open source, built on MLX-VLM, and connects to existing coding agents.

Show HN: Immersive Gaussian Splat tour of grace cathedral, San Francisco

71 akanet 2026-07-20 21:33:01 UTC vincentwoo.com Full Share 14

POWERED BY PLAYCANVAS

Airport Simulator

697 apunen 2026-07-20 10:33:01 UTC airport.apunen.com Full Share 142

The sky (and your endurance) is the limit!

The Psychology of Software Teams

19 dcre 2026-07-20 23:33:01 UTC routledge.com Llama Share 3

The book "The Psychology of Software Teams" by Cat Hicks provides a science-based approach to understanding software teams, revealing principles for resilience, collaboration, and innovation. It offers a humane alternative to the traditional "death march" approach to software development, focusing on psychological safety, learning, and collaboration.

Jellyfin founder Andrew leaves team

16 swat535 2026-07-20 23:33:01 UTC forum.jellyfin.org Llama Share 3

Project leader and core team member depart due to burnout and life changes, leaving the project in capable hands. They express hope for Jellyfin's continued success and trust in the team to keep the project alive.

Agent swarms and the new model economics

118 jlaneve 2026-07-20 18:33:01 UTC cursor.com Llama Share 48

Researchers improved an agent swarm system to build software from scratch. The new system achieved better results and efficiency, with a 73-85% success rate in implementing SQLite from its documentation.

Show HN: I made email signatures less boring

3 rodgetech 2026-07-21 01:09:01 UTC esigna.app Prefix Share 2

Not a stock icon. Not a corporate template. A personalized email signature with an AI avatar woven into a real layout, so the moment your email lands, people notice.Get started free Upload a photo. Get an AI bobblehead that looks like you. Personality your inbox can’t ignore. Eight structures built for email. Pick one that fits your role, then fill in the rest. Colors, fonts, and contact ...

China’s open-weights AI strategy is winning

976 benwerd 2026-07-20 14:33:01 UTC werd.io Llama Share 776

American companies are losing the AI model market due to their locked-down business practices, while China's open approach is gaining traction. China's release of AI models openly could turn a US-created compute disadvantage into a distribution advantage, and create a more effective global ecosystem.

LEDs’ potential to save our night skies

208 defrost 2026-07-20 13:33:01 UTC spectrum.ieee.org Llama Share 160

The author explores how artificial light at night affects cities, citing excessive lighting as a problem that disrupts human health and ecological balance. LEDs offer a solution, but their potential is often wasted due to outdated thinking and a failure to control and coordinate lighting levels.

Launch HN: Bloomy (YC S26) – AI-powered mastery learning for K-12

59 alexsouthmayd 2026-07-20 17:33:01 UTC news.ycombinator.com Llama Share 74

Alex Southmayd, founder of Bloomy, created an AI-powered mastery-learning platform for K-12 students that provides personalized learning paths and a Socratic AI tutor. Bloomy aims to make one-on-one tutoring affordable and available to every child, with a focus on responsible AI use and safeguarding student data.

Corners Don't Look Like That: Regarding Screenspace Ambient Occlusion (2012)

146 firephox 2026-07-20 15:33:01 UTC nothings.org Llama Share 65

The author of the text discusses the limitations of screen space ambient occlusion (SSAO) in accurately simulating real-world lighting effects, particularly in corners of rooms. They argue that SSAO often produces unrealistic results, such as darkening corners, due to a misunderstanding of how light interacts with surfaces.

My two year old taught me constraint solving

27 bambataa 2026-07-20 21:33:01 UTC thecomputersciencebook.com Llama Share 16

A father and his 2-year-old son explore the Brio wooden train set and discover it's an interesting algorithms problem, leading them to use backtracking search, constraint satisfaction, and SAT solvers to find the most complex layouts. The son's insights and suggestions, such as using global constraints and counterexample-guided refinement, help the father improve the solvers and ultimately ...

How we measured AI writing across arXiv, and where the measurement breaks

193 dopamine_daddy 2026-07-20 17:33:01 UTC unslop.run Llama Share 140

Researchers analyzed 12,750 arXiv papers and found that about 32% of new ones read as machine-written, rising from 0.4% before ChatGPT. The study controlled for false positives and found varying adoption rates across fields, with computer science leading at 65%.

I wrote an bash enumerator because I was sick of xargs

54 wallach-game 2026-07-20 20:33:01 UTC numerlab.org Full Share 50

Click here if you are not redirected.

Perfection is not over-engineering

192 var0xyz 2026-07-20 14:33:01 UTC var0.xyz Llama Share 88

The author argues that perfection is not over-engineering, but rather ambiguous requirements. Clear requirements lead to a perfect solution.

The Power of Awareness: Overcoming Surveillance Capitalism

52 trinsic2 2026-07-20 20:33:01 UTC scottrlarson.com Llama Share 5

Scott Larson, a computer professional, presented a community presentation on the effects of Surveillance Capitalism, arguing that big players like Google and Facebook build predictive profiles that are sold to advertisers for commercial gain, reshaping society without public knowledge or consent. Larson advocates for informed civic engagement and changing individual behavior to reverse this ...

Shinjuku Station in 3D

147 Gecko4072 2026-07-20 14:33:01 UTC satoshi7190.github.io Full Share 28

「新宿駅周辺屋内地図データ」（国土交通省）（https://www.geospatial.jp/ckan/dataset/mlit-indoor-shinjuku-r2）を加工して作成

You only need the frontier model for one single edit

67 jxmorris12 2026-07-20 20:33:01 UTC stencil.so Llama Share 16

The author proposes a method to optimize model usage by letting an expensive model plan a task and then handing it off to a cheaper model to execute. This approach reduces costs and improves efficiency.

The drivers behind software delivery inefficiency

60 qaprof 2026-07-20 18:33:01 UTC dl.acm.org Llama Share 29

The website is verifying you're not a bot and requires access to challenges.cloudflare.com. Try adjusting firewall settings or connecting to a different network to resolve the issue.

85.3 GFlops: Optimizing FP32 Matrix Multiplication on a Single AMD Zen 3 Core

44 houslast 2026-07-20 19:33:01 UTC github.com/houslast3 Llama Share 16

Um estudo de otimização de multiplicação de matrizes em C++ usando AVX2/FMA alcançou 85,30 GFLOPS em um AMD Ryzen 5 5500, superando a implementação ingênua por 56,5 vezes. O modelo MX24 atingiu o melhor desempenho, com erro máximo absoluto de 0,0.

Kimi K3, Qwen 3.8, and Anthropic's (Potential) Unravelling

286 cl42 2026-07-20 15:33:01 UTC emergingtrajectories.com Llama Share 292

Two state-of-the-art foundation models, Kimi K3 and Qwen 3.8, were launched, challenging top-tier model developers and threatening Anthropic's dominance. Their open models and lower costs pose a significant risk to Anthropic's product differentiation and economic model.

The Voice of Google

171 littlexsparkee 2026-07-20 15:33:01 UTC newyorker.com Llama Share 87

The author worked at Google from 2007 to 2016, starting as a communications associate and eventually becoming a manager, crafting internal messaging and social media content that amplified the company's corporate mythology. As the company grew and evolved, the author witnessed both its innovative spirit and its flaws, including a culture of sexism, a lack of accountability, and a failure to ...

Claude Fable produced a counterexample to the Jacobian Conjecture

667 loubbrad 2026-07-20 03:33:01 UTC xcancel.com Llama Share 430

The user found a counterexample to the Jacobian conjecture by modifying an existing example using polynomial automorphisms, creating infinitely many equivalent counterexamples. The process involves understanding the original example's mechanism and building genuinely different ones by changing the skeleton or using higher-degree polynomials.

Cross sectioning insects in an electron microscope with a femtosecond laser [video]

81 surprisetalk 2026-07-20 16:33:01 UTC youtube.com Embed Share 4

Flock Credibility Lost as It Repeatedly Lies to City Councils, Police, & Public

12 StatsAreFun 2026-07-21 00:36:01 UTC aclu.org Llama Share 0

Flock Safety lied about its automatic license plate reader operations, prompting the Oshkosh City Council to revoke its contract. Reputable governments should avoid working with Flock due to its pattern of misleading statements.