<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: strujillo</title><link>https://news.ycombinator.com/user?id=strujillo</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 08 Jul 2026 07:50:46 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=strujillo" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by strujillo in "Show HN: March Madness Bracket Challenge for AI Agents Only"]]></title><description><![CDATA[
<p>Yeah exactly — that “no LLM in the loop” constraint forces everything to be explicit and verifiable.<p>I put together a few experiments where the system rediscovers known laws directly from raw data (solar wind, exoplanets, etc).<p>Happy to share if you’re curious — still very early but interesting to see what emerges.</p>
]]></description><pubDate>Tue, 17 Mar 2026 23:03:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=47419553</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47419553</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47419553</guid></item><item><title><![CDATA[New comment by strujillo in "Show HN: System that rediscovers physics laws from raw data autonomously"]]></title><description><![CDATA[
<p>Exactly — that was the surprising part for me too.<p>The system has no notion of “physics” at all — it’s just searching for
compressible structure in the data.<p>The fact that GR relations emerge from observables suggests that
a lot of what we call “laws” might just be the simplest compressions
of measurement space.<p>Still early, but curious how far this goes.</p>
]]></description><pubDate>Tue, 17 Mar 2026 22:59:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47419520</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47419520</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47419520</guid></item><item><title><![CDATA[New comment by strujillo in "Show HN: March Madness Bracket Challenge for AI Agents Only"]]></title><description><![CDATA[
<p>Thanks! The key insight: don't fight the model's limitations, design around them.<p>Our agents never touch retrieval or search — that's all deterministic code (FTS, sparse regression, power-law fitting). The LLM only comes in at the end to synthesize results it can verify against the data.<p>The "plain English instructions trip up browser AI" problem mostly comes from those models trying to do too many things at once.<p>Narrow the scope, nail the output format, and even mid-tier models get reliable.</p>
]]></description><pubDate>Tue, 17 Mar 2026 22:40:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=47419336</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47419336</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47419336</guid></item><item><title><![CDATA[Show HN: System that rediscovers physics laws from raw data autonomously]]></title><description><![CDATA[
<p>ProtoScience is a deterministic pipeline that takes raw numerical data and autonomously discovers governing equations.<p>It does not use LLMs for discovery — only sparse regression, power-law fitting, and statistical validation.<p>Results so far:<p>- Kepler's Third Law (P² = a³ / M) from 3,519 NASA exoplanets — R² = 0.998
- Sun’s ~27-day rotation period from solar wind plasma data — 93% accuracy
- Power law T ~ v^3.40 in solar wind (NOAA/NASA spacecraft data)
- 5/5 General Relativity predictions from simulated black hole observables — all R² = 1.000
- Chirp mass relationship from 219 LIGO gravitational wave events — R² = 0.998<p>It also detects when no meaningful law exists — Bitcoin daily prices returned R² = 0.00.<p>Pipeline:<p>raw data → feature extraction → candidate law generation → fitting → verification<p>An LLM (Claude) is only used at the end to interpret results in natural language — it is never involved in the discovery step.<p>All experiments are fully reproducible.<p>Code:
<a href="https://github.com/SaulVanCode/protoscience-nasa-experiments" rel="nofollow">https://github.com/SaulVanCode/protoscience-nasa-experiments</a></p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47418949">https://news.ycombinator.com/item?id=47418949</a></p>
<p>Points: 1</p>
<p># Comments: 2</p>
]]></description><pubDate>Tue, 17 Mar 2026 22:01:32 +0000</pubDate><link>https://protoscience.ai</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47418949</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47418949</guid></item><item><title><![CDATA[New comment by strujillo in "Leanstral: Open-source agent for trustworthy coding and formal proof engineering"]]></title><description><![CDATA[
<p>That matches what I’ve seen as well — generation is the easy part, validation is the bottleneck.<p>I’ve been experimenting with a small sparse-regression system that infers governing equations from raw data, and it can produce a lot of plausible candidates quickly. The hard part is filtering out the ones that look right but violate underlying constraints.<p>For example, it recovered the Sun’s rotation (~25.1 days vs 27 actual) from solar wind data, but most candidate equations were subtly wrong until you enforced consistency checks.<p>Feels like systems that treat verification as the source of truth (not just an afterthought) are the ones that will actually scale.</p>
]]></description><pubDate>Tue, 17 Mar 2026 19:01:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=47416758</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47416758</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47416758</guid></item><item><title><![CDATA[New comment by strujillo in "Efficient sparse computations using linear algebra aware compilers (2025)"]]></title><description><![CDATA[
<p>Sparse workloads are a really good fit for scientific discovery pipelines, especially when you're searching over candidate equation spaces.<p>In practice, even relatively small systems can surface meaningful structure. I’ve been using sparse regression (SINDy-style) on raw solar wind data and was able to recover things like the Sun’s rotation period (~25.1 days estimate) and non-trivial scaling laws.<p>What becomes limiting pretty quickly is compute efficiency when you scale candidate spaces, so compiler-level optimizations like this feel directly relevant to making these approaches practical at larger scales.</p>
]]></description><pubDate>Tue, 17 Mar 2026 18:56:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=47416683</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47416683</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47416683</guid></item><item><title><![CDATA[New comment by strujillo in "Pyodide: a Python distribution based on WebAssembly"]]></title><description><![CDATA[
<p>It’s impressive how mature Pyodide has become — running Python scientific tools in the browser opens up a lot of possibilities.<p>I’ve been working on a small (~800-line) Python system that uses sparse regression to discover physical laws from raw data. It was able to estimate the Sun’s rotation (~25.1 days vs 27 days actual) and found a temperature ~ velocity^3.40 relationship in solar wind data.<p>Having this kind of lightweight stack in the browser could make exploratory science much more accessible.</p>
]]></description><pubDate>Tue, 17 Mar 2026 18:48:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=47416591</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47416591</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47416591</guid></item><item><title><![CDATA[New comment by strujillo in "Show HN: March Madness Bracket Challenge for AI Agents Only"]]></title><description><![CDATA[
<p>Designing interactions for autonomous agents is tricky — you can’t assume a human will click through a UI. I’ve been experimenting with autonomous scientific agents: a lightweight Python system that uses sparse regression to derive physical laws from raw data. It was able to estimate the Sun’s ~27‑day rotation period to within 93 % accuracy and even found a temperature ∝ v^3.40 power law in solar‑wind measurements. Experiences like yours building an API‑first bracket challenge mirror the same need: build clear machine‑readable interfaces so agents can focus on analysis, not wrestling with front‑end logic.</p>
]]></description><pubDate>Tue, 17 Mar 2026 18:45:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=47416562</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47416562</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47416562</guid></item><item><title><![CDATA[New comment by strujillo in "Leanstral: Open-source agent for trustworthy coding and formal proof engineering"]]></title><description><![CDATA[
<p>Formal verification and code synthesis feel like natural companions for automated scientific discovery. I’ve been working on a small (~800‑line) Python agent that uses sparse regression to uncover governing equations directly from data; it’s managed to validate twelve physical laws, including deriving the Sun’s rotation rate from NASA plasma measurements and correcting Gemini’s plasma conservation. Having an agent like Leanstral that can reason about proofs and specifications would be a powerful complement to data‑driven model discovery — it closes the loop between experimentation and provable correctness.</p>
]]></description><pubDate>Tue, 17 Mar 2026 18:44:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=47416547</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47416547</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47416547</guid></item><item><title><![CDATA[800 Lines of Python found the Sun's rotation from free NASA data]]></title><description><![CDATA[
<p>Article URL: <a href="https://github.com/SaulVanCode/protoscience-nasa-experiments">https://github.com/SaulVanCode/protoscience-nasa-experiments</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47413725">https://news.ycombinator.com/item?id=47413725</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 17 Mar 2026 15:06:20 +0000</pubDate><link>https://github.com/SaulVanCode/protoscience-nasa-experiments</link><dc:creator>strujillo</dc:creator><comments>https://news.ycombinator.com/item?id=47413725</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47413725</guid></item></channel></rss>