Viewing profile — davidcox143

Claude refused to work on something for me that it deemed "too tedious" so I'd say we're pretty close

There’s an awesome hard copy book of these: https://oeis.org/book.html

The MBP also throttles surprisingly easily. I have a 16 MBP and ended up buying a cooling stand that uses a 20w peltier cooler (solid state heat pump). It’s fixed the throttling co…

The author of Reeder has another RSS app that’s focused on recipes called Mela [1]. I’ve been using Reeder (the one-time payment version) and Mela for years and highly recommend bo…

Congrats on the launch. How does it compare to HelixDB? https://github.com/HelixDB/helix-db

> a good RO system can filter out most microplastics from the tap water, but it also releases some (of its own) into the filtered water Home distillation is cheaper than RO (esp. i…

Unlikely to happen soon. It’s maintained by one engineer who is very against anything resembling iTerm2.

Sort of. There’s a summary by the author of atoms in the Twitter thread linked above. They also link this very lengthy blog post: https://nrd.sh/blog/atom-anatomy/ My understanding…

I've been using Nix and NixOS since 2022. I can't imagine not using Nix at this point and agree that the reputation for "being too hard" is not quite accurate. Nix is different - t…

This is one of the best resources for “real” Prolog: https://www.metalevel.at/prolog His YouTube videos are also incredibly good.

Their website just started working for me. I wonder what caused the outage?

Their status page says "All Systems Operational" however the outage is being reported on Twitter/X: https://x.com/d4r5c2/status/1922716210958860445 https://x.com/search?q=dropbox%2…

Kagi [1] is great for this and is IMO the best search engine in general these days. [1] https://help.kagi.com/kagi/features/website-info-personalize...

https://x.com/IntegrateReason/status/1782862538432274563

We're working on a new TUI for managing local and remote executions of optimization solvers like CBC, HiGHS, and our own hardware-accelerated solvers [2]. Ratatui is a delight to w…

Integrated Reasoning (S22) is building fast hardware for optimization problems. We currently target AWS F1 FPGA instances, and custom ASICs are on our roadmap. hn@ir.design https:/…

Thanks! We're working on both -- faster computation at lower cost than what's possible on x86 or GPUs. If you're interested in access to our beta projects, send us an email at beta…

We are! Integrated Reasoning is working on a series of FPGA cores to accelerate NP-complete problems. We're shipping a knapsack solver and a subset sum solver to the AWS Marketplac…