HN user

anotherpaulg

1,950 karma
Posts69
Comments304
View on HN
conjectureinstitute.org 29d ago

The (Quantum) Revolution That Should Have Been – and Still Could Be

anotherpaulg
1pts0
www.mdpi.com 1mo ago

Parallel Lives: A Local-Realistic Interpretation of "Nonlocal" Boxes

anotherpaulg
2pts1
simonwillison.net 1y ago

Aider: Using Uv as an Installer

anotherpaulg
39pts14
aider.chat 1y ago

Using Uv as an Installer

anotherpaulg
6pts0
aider.chat 1y ago

OpenAI o1-preview is SOTA on the aider leaderboard

anotherpaulg
5pts1
aider.chat 1y ago

Sonnet Seems as Good As Ever

anotherpaulg
4pts0
aider.chat 1y ago

LLMs are bad at returning code in JSON

anotherpaulg
8pts2
aider.chat 1y ago

Coding with Llama 3.1, New DeepSeek Coder and Mistral Large

anotherpaulg
32pts7
aider.chat 2y ago

Sonnet Is the Opposite of Lazy

anotherpaulg
4pts1
aider.chat 2y ago

Deepseek Coder V2 Beats GPT-4o, Opus

anotherpaulg
28pts6
aider.chat 2y ago

Aider Is SOTA for Both SWE Bench and SWE Bench Lite

anotherpaulg
2pts1
aider.chat 2y ago

How Aider Scored SOTA 26.3% on SWE Bench Lite

anotherpaulg
4pts1
www.unsw.edu.au 2y ago

Diabetes drug found to reduce risk of kidney disease and death

anotherpaulg
3pts0
aider.chat 2y ago

Linting code for LLMs with Tree-sitter

anotherpaulg
14pts2
aider.chat 2y ago

GPT-4o takes #1 and #2 on the Aider LLM leaderboards

anotherpaulg
2pts1
aider.chat 2y ago

Aider LLM Leaderboards

anotherpaulg
5pts1
news.ycombinator.com 2y ago

Wrong link

anotherpaulg
1pts3
aider.chat 2y ago

Building a better repository map with tree sitter

anotherpaulg
2pts0
tmate.io 2y ago

Tmate: Instant Terminal Sharing

anotherpaulg
2pts0
aider.chat 2y ago

GPT-4 Turbo with Vision is a step backwards for coding

anotherpaulg
164pts122
www.youtube.com 2y ago

My first total eclipse: What I am looking forward to

anotherpaulg
2pts0
aider.chat 2y ago

Claude 3 beats GPT-4 on Aider's code editing benchmark

anotherpaulg
3pts3
krebsonsecurity.com 2y ago

FBI's LockBit Takedown Postponed a Ticking Time Bomb in Fulton County, Ga

anotherpaulg
2pts1
arxiv.org 2y ago

More Agents Is All You Need

anotherpaulg
2pts0
github.com 2y ago

Text Generation with Ted – Trainable Exponential Decay(s)

anotherpaulg
2pts0
aider.chat 2y ago

Lazy coding benchmark for GPT-4-0125-preview

anotherpaulg
4pts3
aider.chat 2y ago

Reducing GPT-4 Turbo laziness with unified diffs

anotherpaulg
2pts0
aider.chat 2y ago

Speed benchmarks of GPT-4 Turbo and gpt-3.5-turbo-1106

anotherpaulg
3pts1
aider.chat 2y ago

Code editing benchmarks for OpenAI's "1106" models

anotherpaulg
11pts7
aider.chat 2y ago

Building a better repository map with tree sitter

anotherpaulg
3pts0

Parallel Lives: A Local-Realistic Interpretation of “Nonlocal” Boxes by Gilles Brassard and Paul Raymond-Robic.

Abstract: We carry out a thought experiment in an imaginary world. Our world is both local and realistic, yet it violates a Bell inequality more than does quantum theory. This serves to debunk the myth that equates local realism with local hidden variables in the simplest possible manner. Along the way, we reinterpret the celebrated 1935 argument of Einstein, Podolsky and Rosen, and come to the conclusion that they were right in their questioning the completeness of the Copenhagen version of quantum theory, provided one believes in a local-realistic universe. Throughout our journey, we strive to explain our views from first principles, without expecting mathematical sophistication nor specialized prior knowledge from the reader.

I’ve been building quantum photonics experiments. Repeating the Bell inequality tests that won the 2022 Nobel, quantum erasers, etc.

I just published a fun interactive 3D demo of SPDC, one of the most common and accessible ways to create entangled pairs of photons. I'm hoping to publish a series of articles on other cool learnings about doing quantum photonics in the lab.

https://paulg.info/2026/04/10/spdc/

I’ve been building quantum photonics experiments. Repeating the Bell inequality tests that won the 2022 Nobel, quantum erasers, etc.

Probably the coolest part has been automating the optomechanical equipment and optimizing physical experiments with Bayesian optimization. Similar to hyperparameter tuning in ML, but with lasers.

Also, Thorlabs sells some really fun toys.

I appreciate the ability to rapidly capture a note/thought/todo without friction and context switching.

I solved this problem with a twilio sms number. When I send a text to it, the content gets prepended to my obsidian todo.md file. This was easy to arrange with a few lines of Python glue.

iOS makes it easy to text or share to sms from almost any context.

Aider actually prompts the model to say if it needs to see additional files. Whenever the model mentions file names, aider asks the user if they should be added to context.

As well, any files or symbols mentioned by the model are noted. They influence the repomap ranking algorithm, so subsequent requests have even more relevant repository context.

This is designed as a sort of implicit search and ranking flow. The blog article doesn’t get into any of this detail, but much of this has been around and working well since 2023.

I’m building a quantum photonics experiment that is a variation of the quantum eraser.

One aspect that HN may find interesting is my use of Bayesian optimization to control and perfect key experimental settings. About a dozen of the wave plates and other optical components are motorized and under computer control.

Given a goal metric like "maximally entangle the photon pairs" the optimizer will run the experiment 50-100 times, tweaking the angles of various optics and collecting data. Ultimately it will learn to maximize the given cost function.

This sort of thing is commonly done with tools like Optuna during NN/LLM training to optimize hyper-parameters, but seems less common in physics especially quantum photonics. I'm using a great tool called M-loop to drive the optimization, which was originally developed for creating Bose-Einstein condensates.

https://github.com/michaelhush/M-LOOP

I like the unconventional approach. A few minutes with GPT raises two issues:

1. We've raised CO2 from 280ppm to 420ppm, about a 50% increase. To dilute it back down would require 50% more total atmosphere. This would also raise the surface air pressure 1.5x.

2. How much heat is trapped is related to the absolute amount of CO2 in the atmosphere, not the fraction. So the diluted atmosphere would retain just as much heat.

It would be interesting to see how hard it would be to walk these models towards general relativity and quantum mechanics.

Einstein’s paper “On the Electrodynamics of Moving Bodies” with special relativity was published in 1905. His work on general relativity was published 10 years later in 1915. The earliest knowledge cuttoff of these models is 1913, in between the relativity papers.

The knowledge cutoffs are also right in the middle of the early days of quantum mechanics, as various idiosyncratic experimental results were being rolled up into a coherent theory.

I’ve relied heavily on seamless capture for a couple of decades, ala Getting Things Done.

My solution is a twilio text number that automatically inserts any texts it receives into the top of my todo.md file. Previously todo.org, until about a year ago.

iOS has ubiquitous support to quickly share to SMS from any/everywhere. It’s easy to send a text to this contact from a Home Screen shortcut, but also also from the share sheet in most every app.

I regularly use LLM-as-OCR and find it really helpful to:

1. Minimize the number of PDF pages per context/call. Don't dump a giant document set into one request. Break them into the smallest coherent chunks.

2. In a clean context, re-send the page and the extracted target content and ask the model to proofread/double-check the extracted data.

3. Repeat the extraction and/or the proofreading steps with a different model and compare the results.

4. Iterate until the proofreadings pass without altering the data, or flag proofreading failures for stronger models or human intervention.

I really like LLM+sympy for math. I have the LLM write me a sympy program, so I can trust that the symbolic manipulation is done correctly.

The code is also a useful artifact that can be iteratively edited and improved by both the human and LLM, with git history, etc. Running and passing tests/assertions helps to build and maintain confidence that the math remains correct.

I use helper functions to easily render from the sympy code to latex, etc.

A lot of the math behind this quantum eraser experiment was done this way.

https://github.com/paul-gauthier/entangled-pair-quantum-eras...

Looks very interesting. I was hoping it would solve a problem I’ve had recently:

I want to ssh into a windows box that I only have a normal user account on. So I can’t (and don’t want to) change any admin settings or install anything as admin.

All the obvious approaches hit roadblocks.

Seems like this tool solves the opposite problem: sshing out from a minimally privledged environment.

I wish Anki could dynamically adjust the new cards introduced each day, based on whether you get them right or wrong on first viewing.

Getting 10 new cards that I happen to already know is easy. That's very different than getting 10 new cards that I get wrong, and therefore need to memorize.

I'd love to have 2 settings like:

  - Max number of new card fails, say 4
  - Max number of new cards, say 20
After 4 fails on new cards, Anki would stop showing new cards for the day. But if they're all easy, I might get up to 20 new cards in a day.

Fancier versions could use a decaying average of new card fails from the last few days. Those recently memorized cards are more challenging during review.

Fun project with a nice compact code base. Agreed that ad-hoc scripting agents can be very powerful.

Aider has had support for scripting [0] in python or via the command line for a long time.

I made a screencast [1] recently that included ad-hoc bash scripting aider as part of the effort to add support for 130 new programming languages. It may give a flavor for how powerful this approach can be.

[0] https://aider.chat/docs/scripting.html

[1] https://aider.chat/docs/recordings/tree-sitter-language-pack...

I've long been fascinated by AI's ability to do the reverse: generate photos with lots of highly relevant content when the prompt includes a location. Terrain, plants, buildings, landmarks, coastlines and lots of details are included.

Here's an example [0] for "Riding e-scooters along the waterfront in Auckland". The iconic spire is correctly included, but so are many small details about the waterfront.

I've been meaning to harness this into a very-low-bandwidth image compression system. Where you take a photo and crunch it to an absurdly low resolution that includes EXIF data with GPS, date/time. You then reconstruct the fine details with AI.

Most photos are taken where lots of photos are taken, so the models have probably been appropriately trained.

[0] https://chatgpt.com/share/680d0008-54a0-8012-91b7-6b1794f485...