Alternatives
Products that do what Distributed SAT solver in Elixir does
Hi, I wrote a distributed SAT solver in Elixir to get a feel of the language, perhaps someone out there might find this interesting. I really don't know if this can be a economic approach to SAT solving. https://github.com/roehst/elisat
- 1SS
2021 · github.com
- 2ST
2021 · github.com
- 3IM
https://github.com/siraben/ti84-forth Hi HN! For the past year I've been getting into programming in Z80 assembly (especially for the TI-84+). More recently I've been learning about the Forth programming language and after a lot of searching online (in vain) for a Forth interpreter for the TI-84, I decided to write one myself. It's been fun demoing this to others, because it's a very unexpected use of a calculator. It's my largest project to date, and I'm interested to know what the HN community thinks, please feel free to critique my code! -- Ben
2018
- 4IS
Everything that would be here is in the README. I hope this gets big, it has tons of potential.
2013 · github.com
- 5AD
Hi HN, Last month, I have worked with my team here at Amy.app to make a stand-alone SAT Tutor. I'm pretty excited about this product, as it's our first attempt to make a stand-alone product targeted directly at students. So far all our products were targeted at teachers/schools/publishers. But we never found product-market fit ¯\_(ツ)_/¯ Our SAT-Math tutor is designed to find your knowledge gaps and gets you up-to-speed as fast as possible. We believe it offers a fresh approach on how online learning usually works. Please let me know what you think. The product has a 3 days…
2023 · sat.amy.app
- 6TP
I decided I wanted to roll my own AB testing app for Django (https://github.com/crobertsbmw/RobertsAB) when I was finished, I came across this: http://stevehanov.ca/blog/index.php?id=132 Which is a very convincing article on why AB testing sucks and with a few extra lines, you can improve your algorithm to select the best test so you never go back and update your code (yeah right.) I then thought, how many tests does this thing have to run to truly figure out which is best? I made 4 tests with probability of success equalling 1/2, 1/4,…
2014 · github.com
- 7SA
Hey HN, My co-author and I just published a paper on arXiv that formalises a framework we've been using successfully in probabilistic logic for many years. We decided it was time to properly lay out its foundations for classical propositional logic. We cast propositional logic into a formal algebra where logical formulas are represented by sparse matrices. State Algebra isn't an algorithm in itself, but rather a language for manipulating Boolean functions. It provides a new set of tools that lets you express and reformulate existing optimization heuristics (like those from modern SAT…
Sep 2025 · arxiv.org
- 8LP
Hi! I am doing a learning project, attempting to build an imperative language (and interpreter). The end product will be useless for others, I just want to learn and better understand how to build imperative languages. :) If someone else shares this interest and want to give some good hints on good resources I would be grateful. Currently I am looking at an awesome text by Bob Nystrom. All suggestions and tips on resources are most welcome. I am very much a beginner in this, but I find this topic very fascinating. Mail me or post links here! Cheers! You can try a beta version Online at…
2020
- 9MA
This weekend I built a multi-agent coding system which, quite unexpectedly, beat Claude Code on Stanford's Terminal Bench! The architecture is straightforward, consisting of an orchestrator agent that deploys explorer & coder subagents to complete complex terminal based tasks, utilising an intelligent context sharing mechanism along the way which makes it all work. The repo has a lot of technical details, and all the code and prompts for you to play around with if you'd like! I had a lot of fun making this, I hope you have fun reading the README, using it yourself, or even extending it! As…
2025 · github.com
- 10OS
We’ve just released an open-source library for solving the Maximum Independent Set (MIS) problem with neutral atom quantum computing, running on both quantum processing units (QPUs) and classical hardware, thanks to emulators. This project is the result of collaboration between Pasqal, academic researchers, and industry partners, aiming to make it practical to experiment with quantum approaches to hard combinatorial optimization tasks. The MIS problem appears in real-world scenarios like scheduling, resource allocation, and network optimization, areas where classical solvers often struggle…
2025
- 11SP
2023 · learn.amy.app
- 12IO
Hey folks, I’m the creator of WFGY — a semantic reasoning framework for LLMs. After open-sourcing it, I did a full technical and value audit — and realized this engine might be worth $8M–$17M based on AI module licensing norms. If embedded as part of a platform core, the valuation could exceed $30M. Too late to pull it back. So here it is — fully free, open-sourced under MIT. --- ### What does it solve? Current LLMs (even GPT-4+) lack *self-consistent reasoning*. They struggle with: - Fragmented logic across turns - No internal loopback or self-calibration - No modular thought units - Weak…
2025 · github.com
- 13TP
I have had a few conversations in the past year with non-technical folks (traditional finance types, consultants) who asked for a simple explainer on how GPTs work. These people generally have the horsepower to grasp new concepts quickly but don't necessarily have the math background to dig in super deeply and want a stronger framework than "they predict words". I had generally been pointing them to Karpathy, Illustrated Transformer, and other youtube content but I figured something more hands on without the math requirement might be better at explaining questions like "why matrix…
Jun 2026 · understandgpt.xyz
- 14CS
I started an experimental series, "console.solve", on mini javascript challenges a few months back and received good feedbacks on it. So I created a [second one](https://colintoh.com/console-solve/issue-2?utm_source=colint...) this month. Not sure anyone here will be interested as it's not exactly pro-level stuff. But if you have an hour to spare, it can be a good distraction. For those who are interested, here was the [first challenge](https://colintoh.com/console-solve/issue-1?utm_source=colint...).
2017
- 15OD
Hi all! I've been doing spacecraft system engineering since grad school and got to keep doing it after school at Care Weather. I tried several approaches for keeping hundreds of napkin math equations and connected simulations up-to-date, but none of them were both reliable and easy to use. To solve that, I made Oneil, a design specification language with clean syntax for specifying and evaluating math describing a complex system. Oneil has been really helpful as we design one satellite iteration after another for ground testing and spaceflight. I'm really interested in hearing feedback and…
2024 · github.com
- 16OA
A friend and I are launching an alpha first thing in 2011. We're trying to gain some momentum and whatnot, so we're opening early registration as of tonight. We're planning to develop a Bayesian network to derive suggestions. If you're interested in seeing our progress, check it out. Edit: Any and all suggestions, criticism, advice, etc is highly appreciated!
2010 · osmoar.com
- 17MA
Hey any astrophysicist reading hn there? Was sick in august (yeah isn't that nice) and made a small python fits table viewer for the terminal with textual. It would be great to have people try it so if you find any issue I can improve it. If you have no FITS file but would like to try regardless there are some test file in `/test`. Ciao!
2024 · github.com
- 18IW
Hey HN, I wrote a short book about the fundamental aspects of Clojure. The target audience is programmers with at least minimal experience who want to learn how to express solutions in Clojure (and perhaps in LISP, generally). If the price is a bit too steep for you, send me an email (address in bio), and I'll provide a discount coupon. If you can't afford it all, and believe the material may help you for studying or interview preparations, I can send you a free copy.
2025 · leanpub.com
- 19IM
My niche is LSAT prep. I write books of explanations to LSAT practice tests. It's a pretty big industry, as people will pay a lot to improve their odds of law school admissions. I realized that, with my books, I have ~400,000 words of quality content that people search for. Lots of long tail searches for individual LSAT questions. So I made a site of free explanations for the most recent LSAT: http://lsathacks.com/ Took about a week to write them and put them up. If it goes well, I'll release my other explanations. Hope to make this a hub for LSAT study. If it's well received,…
2013
- 20AD
Hey HN, as a former data analyst, I’ve been tooling around trying to get agents to do my old job. The result is this system that gets you maybe 80% of the way there. I think this is a good data point for what the current frontier models are capable of and where they are still lacking (in this case — hypothesis generation and general data intuition). Some initial learnings: - Generating web app-based reports goes much better if there are explicit templates/pre-defined components for the model to use. - Claude can “heal” broken charts if you give it access to chart images and run a…
Mar 2026 · rubenflamshepherd.com
- 21SM
In past few weeks, I wrote several chapters to learn Scheme, a programming language of the Lisp dialect. The writing is not final as many chapters are missing. I wrote this because I wanted to improve my Scheme knowledge and increase the (low) number of Scheme literature. The writing is inspired by Calculus Made Easy, which I learned about here on HN. This is why I'm sharing it here. But keep in mind that my writing style is not as good as that in the above-mentioned inspiration. Feedback is very much appreciated.
2024 · schememadeeasy.com
- 22AL
Hi HN, I built this to address what I see as the fundamental problem with ReAct-style agents: compounding errors. Even a small mistake made early enough in the loop can snowball and ruin the final output. But with search, agents can look multiple steps ahead and backtrack before committing to a particular trajectory. This has already been shown in a few papers to help agents avoid mistakes and boost overall task performance, but there's no easy way to actually build these kinds of agents. So that's why I made this framework. I believe search will eventually become table stakes for building…
2024 · github.com
- 23AF
I've been hooked on Queens puzzles (https://www.linkedin.com/games/queens/) for the last few months, and decided to try and build a solver for them. Rather than doing a traditional solution search, I tried to model it instead on how humans solve these puzzles, iteratively eliminating and confirming possible squares for Queens. And since this was a side-project, I decided to go overboard, and try and make it as fast as possible (avoiding HashMap/HashSet in favor of bit fields, for example).
2025 · github.com
- 24MY
A fun little game idea I had last year after building a personal kb based bit manipulator to have a better sense of the binary space. All sounds and graphics are my own.
2025 · 24bitsa.day
Ranked by how close each launch is in meaning, then by votes. Refine with a description →