Smollm3: Smol, multilingual, long-context reasoner LLM https://huggingface.co/blog/smollm3
huggingface.co
SmolLM3: smol, multilingual, long-context reasoner
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
Breaking Git with a carriage return and cloning RCE https://dgl.cx/2025/07/git-clone-submodule-cve-2025-48384
Bootstrapping a side project into a profitable seven-figure business https://projectionlab.com/blog/we-reached-1m-arr-with-zero-funding
ProjectionLab
We reached $1M ARR with zero funding - ProjectionLab
Bootstrapping a side project into a profitable seven-figure business in four years.
Xenharmlib: A music theory library that supports non-western harmonic systems https://xenharmlib.readthedocs.io/en/latest/
xenharmlib
Welcome to xenharmlib’s documentation!
Xenharmonic (adj.): Pertaining to music which sounds unlike that composed in the familiar 12 tone equal-tempered scale. Ivor Darreg, Xenharmlib is a generalized music theory library that supports t...
Ruby 3.4 frozen string literals: What Rails developers need to know https://www.prateekcodes.dev/ruby-34-frozen-string-literals-rails-upgrade-guide/
Prateek Codes - Learn Building Scalable Backend Systems
Ruby 3.4 Frozen String Literals: What Rails Developers Actually Need to Know
Ruby 3.4 starts the transition to frozen string literals by default. Here's what changes, why you should care, and how to prepare your Rails app.
Linda Yaccarino is leaving X https://www.nytimes.com/2025/07/09/technology/linda-yaccarino-x-steps-down.html
NY Times
X CEO Linda Yaccarino Says She Is Leaving Elon Musk’s Platform
Linda Yaccarino, whom Elon Musk hired to run X in 2023, grappled with the challenges the company faced after Mr. Musk took over.
Matt Trout has died https://www.shadowcat.co.uk/2025/07/09/ripples-they-cause-in-the-world/
How to prove false statements: Practical attacks on Fiat-Shamir https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
Quanta Magazine
Computer Scientists Figure Out How To Prove Lies
An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes.
Optimizing a Math Expression Parser in Rust https://rpallas.xyz/math-parser/
Ricardo Pallás
Optimizing a Math Expression Parser in Rust
Optimizing a math expression parser for speed and memory.
Show HN: Typeform was too expensive so I built my own forms https://www.ikiform.com/
Ikiform
Create beautiful, interactive forms with Ikiform - An open-source alternative to Typeform and Google Forms.
Underwater turbine spinning for 6 years off Scotland's coast is a breakthrough https://apnews.com/article/tidal-energy-turbine-marine-meygen-scotland-ffff3a7082205b33b612a1417e1ec6d6
AP News
Underwater turbine spinning for 6 years off Scotland's coast is a breakthrough for tidal energy
Submerged in about 40 meters of water off Scotland’s coast, a turbine has been spinning for more than six years to harness the power of ocean tides and generate electricity.
Flix – A powerful effect-oriented programming language https://flix.dev/
Measuring the impact of AI on experienced open-source developer productivity https://metr.org/blog/2025-07-10-early-2025-ai-experienced-os-dev-study/
metr.org
Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
We conduct a randomized controlled trial to understand how early-2025 AI tools affect the productivity of experienced open-source developers working on their own repositories. Surprisingly, we find that when developers use AI tools, they take 19% longer than…
Analyzing database trends through 1.8M Hacker News headlines https://camelai.com/blog/hn-database-hype/
Camelai
Analyzing Database Trends Through 1.8 Million Hacker News Headlines
Which databases are rising and falling in developer mind-share? Our 18-year Hacker News analysis shows PostgreSQL’s dominance, DuckDB and ClickHouse’s explosive growth, and cloud SaaS engines’ sharp decline heading into 2025.
❤1