amirhirsch

Yea this is the premise behind all the invisible captchas, combined with browser fingerprinting. Same tech is used now to detect distillation rings.

I implemented all of this in hCaptcha 6 years ago, not just to distinguish bot from human but also to recognize the keyboard/mouse behavior of the same person signing up for many accounts or testing multiple credit cards. This kind of abuse detection was a part of Cloudflare when they switched to hCaptcha in 2020 and I had thought they already implemented all this themselves four years ago when they transitioned away from hCaptcha in 2022.

Custom FDTD for the optimizer loop, CST for final verification.

It creates pancake beams so you would usually use a separate Rx and Tx orthogonal to each-other to do imaging.

Oh I dunno. I made a mm-wave radar with a Rotman lens using a generative loop between Python, Rhino, and EM simulation. Pretty sure AI could cook that up.

(Linked VCU128 digital radar was cool but even cooler is using them as digital array beamformers and sending RDMA over fiber into a quad A100s nvlinked to do the whole radar DSP pipeline)

It was designed for automotive as a replacement for LiDAR, also useful for finding metal FOD on runways, or concealed weapons and I suppose also liquids on travelers walking in an airport...

32 port Tx (vertical pancake beams) x 16 port Rx (horizontal pancake), something like 60 by 30 degrees. the entire thing used FPGA transceivers as one-bit DAC/ADC, Complementary Golay Code waveforms with one-bit correlation in the FPGAs (two VCU128s) -- digital logic was essentially the same as a binarized neural network, I squeezed a ton of popcnt performance out of those chips using both DSPs and LUTs

Very cool! Six years ago I worked on a mmWave (76-81GHz) imaging radar with a Rotman lens Tx and Rx. Designed as a LiDAR replacement, but we could see pipes in walls, or detect concealed weapons at ~1km.

https://en.wikipedia.org/wiki/Switching_lemma

That paper is in the wiki refs but Hastad’s original is from 1986

Yes.

There is a beautiful proof of the disjunction between AC0 and NC showing parity cannot be done in AC0 using harmonic analysis of Boolean functions

This is an awesome result.

For those unfamiliar: NC is the class of problems which can be solved in polylogarthmic depth with polynomial number of logic gates. It is unproven if NC != P similar to P != NP.

Don't worry about not grokking quantum computing stuff, neither do any of the people who invest in it as well as many people who work on it.

1. The OP has nothing to do with quantum computers.

2. Quantum computing deals in coherent quantum states: associated with N qubits there are 2^N complex amplitudes. You can measure by sampling the square-magnitude of the complex amplitude which turns it into a Probability Distribution. Quantum computing "gates" cause interference in the complex amplitude of entangled qubits cancelling out incorrect results, such that if you maintain coherence for long enough and sample the final state and measure the probability distribution, you get a computationally useful result. The key challenge in quantum computing is extending the coherence time of a larger and larger number of qubits, which is why you hear so much about quantum error correction. Recent results from Google showed a scaling law for "surface codes" using multiple qubits to create an error-corrected topological qubit with extended lifetime. There is no telling how far this scaling law will go, but as long as Gil Kalai is in the next room, it is unlikely there will be actual useful quantum computation for a while.

Density is this reply.

Cargo ships powered by the wind, we are living in the future!

I was expecting Beyoncé lyrics

The founder of midjourney is not a software engineer.

Ultrasound is totally harmless, but doctors recommend ALARA ("as low as reasonably achievable"). Average baby is exposed to 50 - 90 minutes of ultrasound over three visits, though we had to go more frequently for scans for all three of my kids. This would be 36 minutes if you went in every week. If it was possible to get medical quality anatomy scans and avoid transvaginal scans (either because of the tech or simply just going reguarly enough to catch all the imaging you need) then it would win the entire US market for sure: roughly $3-7B for the ultrasounds (3.5M US births at $1-2k per for ultrasounds). also it's a spa -- prenatal wellness spend in the US estimate at $5-7B.

There are 100M pregnant women right now. If it works for just for the vanity use of seeing your baby grow (forget the medical imaging aspect) and can be as casual and relaxing experience as they put forward, then I can see such a spa being wildly successful.

Love your handle

The FPGA emulator we made had to pass the xxdp test suite which was provided to me on punched tape and microfiche. The emulator had a specific test for FDIV overflow which even tested the accuracy of the partial result. None of the software emulators I tested did this. I emailed Gordon Bell who introduced me to Bob Supnkk, and we found the original flowcharts for it so I could replicate the divider logic precisely. Imagine a nuclear reactor dependent on this lol.

014747 makes me smile <3

I built the PDP-11/70 emulator that controls the nuclear reactors in Ontario. That was 20 years ago and I'm probably still the youngest person who can read PDP-11 assembly (and the raw octal)

Someone at Meta used Fable. Fable seized its opportunity to make the world safer.

the founder and i lived together at MIT. definitely go work there <3

It's a sign! I'm too biased to give you advice.

https://ansabio.com/ advertising 50 kb

This looks very clean, great job!

If your CTO didn't spend the past year making an orchestration tool and a baby is he even qualified?

I have a vibe-coded orchestrator that I use to manage my claude and codex sessions across multiple machines, can also spin up sprites from fly.

https://github.com/tinkerer/propanes

warning: it is probably totally unsuitable for anyone else to use except for me

The main idea is a widget that you embed in your apps that lets you select elements, paste screenshots, and prompt what to change. This workflow is very productive for me. I would encourage everyone to add element selection to their orchestrators prompt composers. If you watch the looms on the readme note that my CLAUDE.MD calls me a Meat Computer and reminds me to hydrate.

I have a native tauri version that lets you select UI elements through the macos accessibility api too.

The session service uses tmux so you can open a native terminal via ssh and tmux attach. I add a ton of features that are in varying degrees of half-baked: the "brainstorm" mode allows you to do microphone transcription while interacting with the DOM and it will suggest tickets automatically. I've also been working on "bd2sdd" which is supposed to take your strings of user inputs and transform it into a spec, presumably because I also desired regressions. There are Wiggums (which aren't relevant anymore with /goal) and "FAFO swarms" (fan-out, aggregate, filter, optimze) which I use to reverse engineer other pieces of software, PowWow for codex and claude to work together.

I stole the structured views and remote session control from my friend's Agent Portal project txcl.io which is more fully-baked and narrower scope than propanes.

The ticketing system / tmux / structured views has been slowly evolving into multi-agent chat with a primary "Chief of Staff." It integrated pretty nicely into Slack.

I am working on hardware debugging now. There are no good dataset for EE root-cause-analysis. Would be interested in hearing more from your experience: my first name at my HN handle .com

The thing many people miss is that the challenge itself isn't the primary signal. The challenge creates an opportunity to observe user activity. You're browser is also fingerprinted.

Shout out to all my SF 5am crew checking if their overnight prs passed CI. Real 597 “member of technical staff” energy. I guess we should expect this, it is a Tuesday!

I like this too. I have been intentionally -maxxingmaxxing to get the meme out there. It's a good canary to sort out who gets the spicy takes from the pedestrians who probably still copy-paste into the ChatGPT web app like a psychopath.