xiaoyu2006

8 ms·

1.
Anthropic CEO says AI industry needs to give safety measures time to catch up(apnews.com)
3 points by xiaoyu2006 4d ago|0 comments
2.
by xiaoyu2006 4d ago
Reminds me of Asimov's robot novels where robots technically indeed followed their instructions and caused behaviors not aligned to the intent of their instructions.
3.
by xiaoyu2006 5d ago
I think it can be an interesting or even prominent read in the current age.
4.
The Evolution of Human Science (2000)(en.wikipedia.org)
2 points by xiaoyu2006 5d ago|1 comments
5.
by xiaoyu2006 5d ago
Would be absolute hilarious if OpenAI or Anthropic agent actually dumped their weight by escaping from... sandbox!
6.
Ask HN: What will happen if AI is mature and people have little work to do?
1 points by xiaoyu2006 5d ago|4 comments
7.
by xiaoyu2006 5d ago
Be cautious of that claim. Lossy compression may exactly hold intelligence.
8.
CUDA Rust: Two Tracks for Writing GPU Kernels(developer.nvidia.com)
12 points by xiaoyu2006 7d ago|0 comments
9.
by xiaoyu2006 10d ago
I would not call it harsh. The author don't even bother to assemble sentences themselves. And a title "Music Theory for Programmers" imply it is comprehensive even at an elementary scale.
10.
LMMS 1.3.0-alpha.2 Release (after 5 yrs of last release)(github.com)
2 points by xiaoyu2006 11d ago|0 comments
11.
by xiaoyu2006 11d ago
> It’s still an abstraction C is still heavily abstracted. Modern OS evolved in conjunction with C s.t. it behaves like a C runtime simulating a PDP11 (I remember reading a nice article on that). To learn system, what you need is an OS c
12.
by xiaoyu2006 11d ago
Digital rights are indeed important, but only a small portion of the entire concept of human rights. I can imagine general public places much more emphasis on wealth (re-)distribution policies. A lumberjack may also argue GP don't care
13.
by xiaoyu2006 11d ago
> Only Gen Z and later are starting to care and willing to spend the time and effort to self host. I can't quite confirm that. My younger siblings' classmates (still high school students, born >=2010, non tech average people
14.
by xiaoyu2006 11d ago
You can also learn for your own amusement, and solely for the fun of comprehension; a lot of mathematician were driven by this. It's a shame current social value places so much utilitariaism on learning.
15.
by xiaoyu2006 13d ago
just a figure of speech
16.
by xiaoyu2006 13d ago
May I ask what is wrong with Verisign?
17.
by xiaoyu2006 13d ago
I am really happy to live in the modern age. It is quite amazing to think that people are facing cardiovascular disease and cancer instead of random parasites nowadays. Modern medicine is such a miracle.
18.
by xiaoyu2006 18d ago
Nice, they are quite close to upstream.
19.
by xiaoyu2006 19d ago
I can imagine it is helpful in reverse engineering protocols and application binaries.
20.
Packman at 25 – where do we go from here?(lists.links2linux.de)
5 points by xiaoyu2006 19d ago|0 comments
21.
by xiaoyu2006 21d ago
Time to hop off I guess. They don't even bother to write changlog on their own.
22.
Simulating cosmic rays to lobotomize LLMs(spock.is)
3 points by xiaoyu2006 23d ago|0 comments
23.
by xiaoyu2006 23d ago
Sony DPT-RP1? Some are jailbreak-able.
24.
by xiaoyu2006 23d ago
I've seen papers using fine-tuned small local vision models to transcribe math into latex. Personally I tried Claude Opus & Claude Code directly to do this. It works (to my surprise) but AI sometimes take guesses that are mathemati
25.
by xiaoyu2006 28d ago
Classical not being evil stuff by Google.
26.
Gulf of Mexico is a perfect programming language(github.com)
1 points by xiaoyu2006 1mo ago|1 comments
27.
Four Years at Nanjing University – Software Engineering and Armchair Programming (2025)(blog.lyc8503.net)
1 points by xiaoyu2006 1mo ago|0 comments
28.
by xiaoyu2006 1mo ago
formal verification? maybe theorem prover or hoare logic can come into play here.
29.
by xiaoyu2006 1mo 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.
30.
by xiaoyu2006 1mo ago
How is parallax error solved? The two cameras don't share the same optics center.

More ›