xiaoyu2006

formal verification? maybe theorem prover or hoare logic can come into play here.

Modern lenses are complex electronics now. They need to communicate with the camera about correction params, metadata, control algorithm for focusing and stabilization. Having a usbc port is a natural…

How is parallax error solved? The two cameras don't share the same optics center.

To be a bit more precise, SE is the practice to organize large codebase in a meaningful and human friendly way. AI will attract more hackers doing fun projects without careing about implementation det…

Accidentally reposted: https://news.ycombinator.com/item?id=49155493

I can accept having a human first draft and let LLM proofreading and/or do some polish on language, but not the reversed order.

The blog write-up style is so casual haha.

I assume different models will have different distribution, so it has to be kept updated?

Not quite worth its high price

They don't sell well in Asia. It's mainly xiaomi, oppo, vivo and huawei.

Ownership is a very limiting coding constraint, and bypassing methods, when ultimately needed (e.g. cell), cannot be engineered to be ergonomical.

Not playing the politics game is also a political stances. There is no way to avoid it.

Corporation machine are not individuals (geeks). They chase solely profit while we have (at least some) agency on supporting the moral sides.

(Just fyi the correct answer is that organizer must report the organizing beforehand or it would be illegal.) Model labs have to censor their models in order to publish them, which is not equlv to m…

I always wonder why use a DSL while you can just borrow some existing PL?

...for fun!

Bad idea. It either takes a useless subset of all languages or do weird abstraction that wouldn't fit in a language otherwise.

...recursion?!

It should not. Abstraction in software engineering brings intelligence. (compression correlates to intelligence)

this is such a good laugh. peak comedy