Hacker News Reader

davidcox143on Claude Code plugin that plays a Mr. Meeseeks voice line whene Claude is waiting

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

davidcox143on Ask HN: Where are the good search engines for mathematical formulas?

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

davidcox143on Running local LLMs offline on a ten-hour flight

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…

davidcox143on The RSS feed reader landscape

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

davidcox143on ApeRAG: Production-ready GraphRAG with multi-modal indexing and K8s deployment

Congrats on the launch. How does it compare to HelixDB?

https://github.com/HelixDB/helix-db

davidcox143on Drinks in glass bottles contain more microplastics than those in other container

> 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

davidcox143on Apple announces Foundation Models and Containerization frameworks, etc

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

davidcox143on I think it's time to give Nix a chance

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.

davidcox143on I think it's time to give Nix a chance

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

davidcox143on Plwm – An X11 window manager written in Prolog

This is one of the best resources for “real” Prolog:

https://www.metalevel.at/prolog

His YouTube videos are also incredibly good.

davidcox143on [dead]

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

davidcox143on [dead]

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

davidcox143on Ask HN: How would you remove Reddit.com from all search results?

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

davidcox143on Ratatui

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/

davidcox143on Ask HN: Chip startups?

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/

davidcox143on Ask HN: Anyone using cloud based FPGA for non-ML tasks?

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

davidcox143on Ask HN: Anyone using cloud based FPGA for non-ML tasks?

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