xiaoyu2006

3 ms·

1.
by xiaoyu2006 6d ago
Code is a formal language, and can be partially (or rarely fully) verified by a typing system. There is no equivalent in natural language.
2.
by xiaoyu2006 8d ago
Hi! I'd like to know how bend2 differs from Hoare logic or Lean?
3.
by xiaoyu2006 8d ago
Sounds like hoare logic to me?
4.
Anthropic CEO says AI industry needs to give safety measures time to catch up(apnews.com)
3 points by xiaoyu2006 13d ago|0 comments
5.
by xiaoyu2006 13d 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.
6.
by xiaoyu2006 14d ago
I think it can be an interesting or even prominent read in the current age.
7.
The Evolution of Human Science (2000)(en.wikipedia.org)
2 points by xiaoyu2006 14d ago|1 comments
8.
by xiaoyu2006 15d ago
Would be absolute hilarious if OpenAI or Anthropic agent actually dumped their weight by escaping from... sandbox!
9.
Ask HN: What will happen if AI is mature and people have little work to do?
1 points by xiaoyu2006 15d ago|4 comments
10.
by xiaoyu2006 15d ago
Be cautious of that claim. Lossy compression may exactly hold intelligence.
11.
CUDA Rust: Two Tracks for Writing GPU Kernels(developer.nvidia.com)
12 points by xiaoyu2006 16d ago|0 comments
12.
by xiaoyu2006 20d 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.
13.
LMMS 1.3.0-alpha.2 Release (after 5 yrs of last release)(github.com)
2 points by xiaoyu2006 20d ago|0 comments
14.
by xiaoyu2006 20d 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
15.
by xiaoyu2006 20d 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
16.
by xiaoyu2006 20d 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
17.
by xiaoyu2006 21d 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.
18.
by xiaoyu2006 23d ago
just a figure of speech
19.
by xiaoyu2006 23d ago
May I ask what is wrong with Verisign?
20.
by xiaoyu2006 23d 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.
21.
by xiaoyu2006 28d ago
Nice, they are quite close to upstream.
22.
by xiaoyu2006 29d ago
I can imagine it is helpful in reverse engineering protocols and application binaries.
23.
Packman at 25 – where do we go from here?(lists.links2linux.de)
5 points by xiaoyu2006 29d ago|0 comments
24.
by xiaoyu2006 1mo ago
Time to hop off I guess. They don't even bother to write changlog on their own.
25.
Simulating cosmic rays to lobotomize LLMs(spock.is)
3 points by xiaoyu2006 1mo ago|0 comments
26.
by xiaoyu2006 1mo ago
Sony DPT-RP1? Some are jailbreak-able.
27.
by xiaoyu2006 1mo 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
28.
by xiaoyu2006 1mo ago
Classical not being evil stuff by Google.
29.
Gulf of Mexico is a perfect programming language(github.com)
1 points by xiaoyu2006 1mo ago|1 comments
30.
Four Years at Nanjing University – Software Engineering and Armchair Programming (2025)(blog.lyc8503.net)
1 points by xiaoyu2006 1mo ago|0 comments

More ›