davidcox143

6 ms·

1.
by davidcox143 2mo ago
Claude refused to work on something for me that it deemed "too tedious" so I'd say we're pretty close
2.
by davidcox143 2mo ago
There’s an awesome hard copy book of these: https://oeis.org/book.html
3.
by davidcox143 5mo ago
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 completely, although I’m somewhat nervous about forgetting to
4.
by davidcox143 11mo ago
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 both. [1] https://apps.apple.com/us/app&#
5.
by davidcox143 1y ago
Congrats on the launch. How does it compare to HelixDB? https://github.com/HelixDB/helix-db
6.
by davidcox143 1y ago
> 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. if you have solar) and doesn't release microplastics.
7.
by davidcox143 1y ago
Unlikely to happen soon. It’s maintained by one engineer who is very against anything resembling iTerm2.
8.
by davidcox143 1y ago
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 of atoms compared to flakes is t
9.
by davidcox143 1y ago
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 - that's the point. The learning curve
10.
by davidcox143 1y ago
This is one of the best resources for “real” Prolog: https://www.metalevel.at/prolog His YouTube videos are also incredibly good.
11.
I installed Nix on Theo's Mac (2025)(youtube.com)
1 points by davidcox143 1y ago|0 comments
12.
by davidcox143 1y ago
Their website just started working for me. I wonder what caused the outage?
13.
by davidcox143 1y ago
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%20d
14.
by davidcox143 2y ago
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...
15.
Changing Databases 5 Times in 48 Hours(dev.to)
1 points by davidcox143 2y ago|0 comments
16.
Show HN: IRX – Unlimited free CPU-backed optimization-as-a-service(irx.app)
11 points by davidcox143 2y ago|0 comments
17.
by davidcox143 3y ago
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 work with. It uses immediate mode rendering [3] which fe
18.
by davidcox143 4y ago
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://ycombinator.com/launches/64273 https
19.
by davidcox143 4y ago
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@integrated-reasoning.com and we'll set
20.
by davidcox143 4y ago
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 Marketplace at the end of this month! https://integrat
21.
Show HN: NYTimesArchive – Python Wrapper for the New York Times Archive API(github.com)
13 points by davidcox143 10y ago|0 comments