Hacker News Reader

okiganon Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean

Readme is mostly install and usage information but not much above the use case.

OP - could you fill in why/when one would use it?

okiganon Adding Go's Defer to the TypeScript Compiler

that's a very broken metaphor - it might be "similar" to try-finally block if you only have one variable/object following RAII. But try-finally block(s) become complete mess when multiple variables are involved, and again requires way more typing/duplication than RIAA. And "similar" in terms of results, NOT similar in terms of performance as try {} block requires additional instructions to set it up, whereas RIAA is runtime free.

And regarding sibling post about finalizers -- another broken concept as you cant use finalizers with limited resources (ex. graphic contexts, db connections, handles, locks, etc) and then these languages that use finalizers become complete mess if you need to manage such resources.

okiganon Adding Go's Defer to the TypeScript Compiler

it's mesmerizing that the fantastic ergonomics of RAII have not propagated to other languages.

It's way easier to use, much clear, less typing, more predictable runtime behavior.

RAII... terrible name, great concept!

okiganon PR spam today looks like email spam in the early 2000s

Or creating repos that will merge their PR(s).

okiganon FreeBSD: Home NAS, part 1 – configuring ZFS mirror (RAID1)

With all respect to FreeBSD.

It seems weird in 2025/2026 we are still discussing the baseline of getting a storage working.

Feels we’re spending too much time discussing the trees and not enough time getting the forest going: * we need reliable local storage * integrated backup * apps installation / management * remote access and account management * app isolation, reliable updates

okiganon Instant database clones with PostgreSQL 18

Would love to see a snapshot of the GUI as part of the README.md.

Also docker link seems to be broken.

okiganon Americans no longer see four-year college degrees as worth the cost

Most are overpaying in taxes for what they are getting.

Not to mention single/families without kids and seniors that still pay for school districts.

okiganon Solving the Whole Year Puzzle with Z3

It’s unclear from your description is this Z3 problem or this is the nature of such problems (and it’s a wish).

Are there other tools that do it better or proposal how Z3 would do it?

okiganon Synology reverses policy banning third-party HDDs

Ugreen

okiganon Pgactive: Postgres active-active replication extension

It is so seductive that people don’t read the footnotes that explain that active-active does not do what they think it does.

okiganon Pgactive: Postgres active-active replication extension

It took 20 years to acknowledge that pushing eventual consistency to application layer is not worth it for most applications.

Seems the same is playing out out in Postgres with this extension, maybe will take it another 20 years

okiganon DumPy: NumPy except it's OK if you're dum

What’s a better syntax then?

okiganon DumPy: NumPy except it's OK if you're dum

Fantastic article.

I don’t use numpy often enough - but this explains the many WTF moments why it’s so annoying to get numpy pieces to work together.

okiganon Reverse Video Search

Don’t you need to apply filtering to the frame selection based on scene score?

Otherwise you’d select frames with 0.3, 0.7, 1.0, 0.7, 0.3 - selecting 5 frames instead of 1?

Two pass with sobel filter comes to mind.

okiganon Betting on DSPy for Systems of LLMs

Could we have a concise and specific explanation how DSPy works?

All I've seen are vague definitions of new terms (ex. signatures) and "trust me this very powerful and will optimize it all for you".

Also, what would a good way to reason between DSPy and TextGrad?

okiganon AWS Lambda Web Adapter

As @leef mentioned, you should transition between Lambda and <another offering> based on the current load.

I've published LambdaFlex as an Infrastructure as Code (IaC) template. It automatically scales and manages traffic between AWS Lambda and AWS Fargate [1].

This setup leverages the strengths of both services: rapid scaling, scaling down to zero, and cost-effectiveness.

[1] GitHub: https://github.com/okigan/lambdaflex

okiganon Pyspread – Pythonic Spreadsheet

After reading the parent comment - I thought to myself “so what”.

But after reading it on the product page - I fully agree: seeing clearly the targeted personas and out of scope usage significantly elevates my trust in the product and the team behind it.

Have not used the software, but now I want to try

okiganon LangChain Guide to Get Started

I find langchain complicates more than it helps: abstractions are leaky, API is not consistent across components, and it creates overly complex components.

It's too many layers of over-engineered complexity, and it's for underlying components that are changing very rapidly, so you are getting bogged down with out-dated architecture very quickly.

okiganon DeArrow – Solving clickbait on YouTube

Don’t worry, they tryout different titles and will see that content matters more than title.

okiganon VirtualBox 7.0 Released – Full VM Encryption Support, New Direct3D Acceleration

I had an issue thinking UI was slow, but it turned up that mouse pointer integration issue - simple check: get a USB mouse and inject that USB device into VM.

Still not as good (as I remember VMware would provide), but better!

BTW, tested 7.0 just now -- anecdotally Ubuntu's UI does not feel any faster and somehow still depends on the resolution not the size of the window being moved

okiganon Processing billions of events in real time

Yes, please elaborate - what’s better and why?

okiganon The Missing Semester of CS Education

“It did cover group dynamics and management, which seems to be missing in the link.”

Can you share more info on that?

okiganon Louis Rossmann: A Conversation with Steve Lehto on Right to Repair [video]

https://www.gofundme.com/f/lets-get-right-to-repair-passed

This needs to be posted more often

okiganon Apple Now Selling More M1 Macs Than Intel-Based Models, Says Tim Cook

That seems to miss the point that they’ll have one chip family across all their devices - the cost savings to APPL will be tremendous compared to tailoring to intel/amd/iPhone_chip/ipad_chip.

So we can bemoan a missing cpu option but profitwise (ie price*volume-costs) it makes more sense.

okiganon Whistleblower: Ubiquiti Breach “Catastrophic”

Ran into this [1] issue with Ubiquiti and Stripe integration. Short story Ubiquiti integration insist on sending credit card numbers directly to Strip (vs using more secure method).

The issue has been there for 2 years -- which is beyond odd. When I've reached out to tech support the issue was effectively closed as known issue.

[1] https://community.ui.com/questions/Tokenization-for-Stripe-I...

okiganon AT&T Fiber in the SF Bay Area is flipping bits

servicing at the top of the street lamp would me so much easier, right?

okiganon iPhone 12 and iPhone 12 Pro

still Lightning connector

where is usb-c as in macbook pro(s) and ipad(s)

okiganon A 2024 Moon landing may sound crazy, but NASA is giving its best shot

to what purpose ?

okiganon FreeNAS and TrueNAS Are Unifying

any recommendations for a recent 5G router that can be flashed to OpenWrt? The table of hardware [1] has many routers but many have exceptions that 5G is not working.

Amazon [2] has some micro travel routers only - so what are good options under 100$?

[1] https://openwrt.org/toh/views/toh_available_864?dataflt%5BDe...

[2] https://www.amazon.com/s?k=openwrt

okiganon IRS scams:A taxi driver saved an elderly woman from being scammed out of $25,000

this is not a tech problem - scam phone calls easily solved by requiring authentication - it's political problem that scam companies keep paying to not get it implemented.

trying to get tech solutions that go agains political will is waist of time - work on political first [on cnn] then come here for [tech] solution