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 completely, although I’m somewhat nervous about forgetting to turn the cooler off and creating condensation inside the case…

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/mela-recipe-manager/id15484660...

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. if you have solar) and doesn't release microplastics. Just remineralize with a high-quality salt

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 of atoms compared to flakes is that they 1) add toml 2) provide a more precise way to reference remote src.

The author also claims performance benefits. I haven’t used them personally and can’t speak to their stability or ergonomics.

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 is a thing, although I'd argue that it's nowhere near as steep as the tools many of us use every day (C++, Rust, AWS/GCP, etc.)

Nix's "difficulty" IMO comes from defaults that are not sane and a split community. For example, if you use the official Nix installer, flakes are not enabled by default (despite being widely used [1]), but they are if you use the Determinate Systems Nix installer.

Flakes are realistically the only way to obtain the benefits that motivate learning Nix (deterministic pure builds, fine-grained control over dependencies) and are the "primary driver of Nix's adoption" [2]. AFIK there isn't a viable alternative to flakes other than maybe atoms [3], which are relatively new (like "lock files are totally hand made" new [4]). Yet, the official Nix stance on flakes is to wait... for... what?

For a day-in-the-life look at more of Nix's rough edges, I posted some rambles here [5].

[1] https://x.com/d4r5c2/status/1896415101386928539 [2] https://x.com/grhmc/status/1896551138104844389 [3] https://x.com/nrdexp/status/1925892763301695978 [4] https://x.com/nrdexp/status/1925707692447871283 [5] https://youtu.be/TwVamLq5OHY

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%20down&src=typed_query

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...

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 feels very intuitive compared to other TUI frameworks.

[1] https://github.com/integrated-reasoning/napali [2] https://reason.ing [3] https://ratatui.rs/concepts/rendering/

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://integrated-reasoning.com/

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 you up :)

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://integrated-reasoning.com https://ir.design/kpu