It works really well for systems where the inputs are known, the possible outcomes are known, and given an input, you want to always get the same result AND know why. Which isn’t every system, but I think it’s a lot more than I even realize.

Oddly it doesn’t depend on AI, which is an odd thing to build at the moment. However, aside from existing systems, it also seems to work really well when you couple it with an LLM to generate synthetic traces (or ingesting data that you’d normally store in a RAG). From those, you distill the logic into something deterministic, repeatable, and improvable. And the nicest part is once you have the logic saved, you can reuse it without ever needing to call the LLM again. The behavior itself is stored in very human readable rules, so if you want to change it, the diff is very easy to understand.

It’s kind of hard to explain without an example. The best one I have is a real life use case. One of my friends/mentors unfortunately was recently diagnosed with a Glioblastoma, and over the last month or so I’ve learned that cancer is so unique per person in a ton of different ways. He had his removed, the genome of it mapped, and I asked him if I could try to help find medical trials for him. It turns out EVERY clinical trial is available via API (which is amazing!!), so I downloaded them (579,831, counting completed trials not just open, and 67,918 research papers). The next step normally I’d grep, filter, write a bunch of code etc. Instead, I used 25 features (the unique inputs, in this case that’s the genomics, demographics, HLA type, methylation type, medications, history, etc.), and ran it through logicpearl so it could generate the optimal rules for the best outcome for his specific variables. Because of the counterfactuals, for studies that looked ALMOST perfect but didn’t match, we could see exactly why (it turns out there are a ton of ways to be disqualified for a study). But it gave him several that DO look like perfect fits, one of which he only had one more week left that he could apply (because it had a cutoff for X days from surgery date). He told his doctors, none of them had known about it (they had found several other clinical trials), but they agreed it was probably the best one for him to try to get into. Sorry for the long novel, but the part that was unique, was that yes I had to write the logic to pull all the data down, parse a PDF he had with the genome data, but finding the optimal rules to map to the best trial I didn’t have to do anything other than get the data.

Ok, how it works:

Input data (CSV or JSON) -> ingested as decision traces -> infer feature schema -> generates simple candidate predicates -> scores candidates against observed decisions -> selects a compact rule set using greedy and/or solver-backed search (z3 so far has worked best) -> emit an intermediate representation -> evaluates that artifact deterministically at runtime -> returns stable JSON with matched rules and explanation metadata -> supports semantic diffs between artifact versions. The rules are stored as a bitmask and evaluated simultaneously (which is why it’s often faster than whatever the original system is), and the best part is it tells us exactly what did or didn’t flip. Meaning we get counterfactuals, so you don’t just get the answer but the why (this part is what makes it really helpful).

Thank you for reading!! Everything is open source (MIT), I’d love to get any feedback!

Comments URL: https://news.ycombinator.com/item?id=47764455

Points: 4

# Comments: 4

Terraform’s AWS provider calls the APIs directly, whereas CDK generates Cloudformation, an abstraction on top of the AWS APIs. For me, using Terraform was significantly faster than applying the same stack via CDK.

Or do you mean you’re able to iterate faster writing CDK vs TF?

I remember someone had posted on here awhile ago about an intentionally limited emulator that loads games that are entirely stored within their own cover art. I have Google'd everywhere and can't seem to find it. Kind of like the js1kb competition, but the important thing was that the WHOLE game had to be within it's own PNG file. Thank you!

Comments URL: https://news.ycombinator.com/item?id=24765818

Points: 3

# Comments: 4

Comments URL: https://news.ycombinator.com/item?id=14179666

Points: 2

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=12688036

Points: 1

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=12678397

Points: 1

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=12539670

Points: 2

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=12436802

Points: 1

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=12352021

Points: 1

# Comments: 0