xiaoyu2006

6 ms·

31.
by xiaoyu2006 2mo ago
formal verification? maybe theorem prover or hoare logic can come into play here.
32.
by xiaoyu2006 2mo ago
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 next step.
33.
by xiaoyu2006 2mo ago
How is parallax error solved? The two cameras don't share the same optics center.
34.
Show HN: Tamron Lens Utility Alternative on Linux(github.com)
82 points by xiaoyu2006 2mo ago|9 comments
35.
by xiaoyu2006 2mo ago
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 details under a much higher level of abstra
36.
Every Fucking Website (2013)(web.archive.org)
3 points by xiaoyu2006 2mo ago|2 comments
37.
by xiaoyu2006 2mo ago
Accidentally reposted: https://news.ycombinator.com/item?id=49155493
38.
Show HN: Semsearch – Embedding-first indexing and search engine for indle blogs(github.com)
8 points by xiaoyu2006 2mo ago|0 comments
39.
Building a Search Engine for 6,000 Personal Blogs(ycao.net)
3 points by xiaoyu2006 2mo ago|0 comments
40.
Pixel 11 specs and price leak with no surprises(theverge.com)
2 points by xiaoyu2006 2mo ago|0 comments
41.
by xiaoyu2006 3mo ago
I can accept having a human first draft and let LLM proofreading and/or do some polish on language, but not the reversed order.
42.
by xiaoyu2006 3mo ago
The blog write-up style is so casual haha.
43.
by xiaoyu2006 3mo ago
I assume different models will have different distribution, so it has to be kept updated?
44.
by xiaoyu2006 3mo ago
Not quite worth its high price
45.
by xiaoyu2006 3mo ago
They don't sell well in Asia. It's mainly xiaomi, oppo, vivo and huawei.
46.
by xiaoyu2006 3mo ago
Ownership is a very limiting coding constraint, and bypassing methods, when ultimately needed (e.g. cell), cannot be engineered to be ergonomical.
47.
by xiaoyu2006 3mo ago
Not playing the politics game is also a political stances. There is no way to avoid it.
48.
by xiaoyu2006 3mo ago
Corporation machine are not individuals (geeks). They chase solely profit while we have (at least some) agency on supporting the moral sides.
49.
by xiaoyu2006 3mo ago
(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 model lab management members actively sho
50.
by xiaoyu2006 3mo ago
I always wonder why use a DSL while you can just borrow some existing PL?
51.
Why are there more top grades at university? ChatGPT is to blame(english.elpais.com)
4 points by xiaoyu2006 4mo ago|1 comments
52.
by xiaoyu2006 4mo ago
...for fun!
53.
by xiaoyu2006 4mo ago
Bad idea. It either takes a useless subset of all languages or do weird abstraction that wouldn't fit in a language otherwise.
54.
Position: Stop Anthropomorphizing Intermediate Tokens as Reasoning/Thinking Trac(arxiv.org)
4 points by xiaoyu2006 4mo ago|0 comments
55.
by xiaoyu2006 4mo ago
...recursion?!
56.
by xiaoyu2006 4mo ago
It should not. Abstraction in software engineering brings intelligence. (compression correlates to intelligence)
57.
by xiaoyu2006 4mo ago
this is such a good laugh. peak comedy
58.
Math Education, and LLM(ycao.net)
1 points by xiaoyu2006 4mo ago|1 comments
59.
by xiaoyu2006 4mo ago
Some models are heavily subsidized. Total params & active params are better measurement of inference cost.
60.
by xiaoyu2006 4mo ago
This open source model is quite near SOTA with only 700B/40B MoE. Truly efficient.

More ›