321–330 of 346 posts
Earlier quoted context omitted.
> Anything you think hn doesn't know about deepseek that it should? We do hire people who are currently located outside of China (say North America, Europe, or anywhere) if they're open to work in our Beijing or Hangzhou offices.
Best way to apply?
Earlier quoted context omitted.
Wouldn't many potential users in China be limited by the Great Firewall?
Can't find a single person in a Chinese tech company who doesn't know how to bypass GFW.
Earlier quoted context omitted.
Can't find a single person in a Chinese tech company who doesn't know how to bypass GFW.
I am not asking about capability. Aren't there reasons to avoid the scrutiny that might accompany bypassing the Great Firewall? Doesn't this create a chilling effect? Or are you claiming that it has zero effect and citizens of China have zero concerns about using websites and speaking freely?
One of the reasons to bypass GFW is to avoid scrutiny.
> Doesn't this create a chilling effect?
It doesn't.
> Or are you claiming that it has zero effect and citizens of China have zero concerns about using websites and speaking freely?
Not “zero”, maybe like “0.01”? Better use an anonymous account if you want to criticize on gov.
Earlier quoted context omitted.
I am not asking about capability. Aren't there reasons to avoid the scrutiny that might accompany bypassing the Great Firewall? Doesn't this create a chilling effect? Or are you claiming that it has zero effect and citizens of China have zero concerns about using websites and speaking freely?
> Aren't there reasons to avoid the scrutiny that might accompany bypassing the Great Firewall? One of the reasons to bypass GFW is to avoid scrutiny. > Doesn't this create a chilling effect? It doesn't. > Or are you claiming that it has zero effect and citizens of China have zero concerns about using websites and speaking freely? Not “zero”, maybe like “0.01”? Better use an anonymous account if you want to criticize…
What's buried under the lede: this harness is using Cordis v4 (the paper that dropped today). Cordis has already been used for four years in a different project called Koishi that uses v3. Cordis itself is a way of hot loading and unloading plugins without restarting a running process. The cool part is that when it unloads it can revert any state and side effects it created, cleaning up its connections, memory alloca…
47mb downloaded, 1.5gb after build, wtf? I consider my own coding agent bloated at just 1mb (yes 1mb) because it uses postgresql package as db tool, and it works wonders. * edit 1: Upon further scrutiny, 35 dependencies make up for 1.4gb, what they are for? I don't even see postgres in there so I guess that would be another plugin. 1.5gb of basic functionality? * edit 2: Most of the time I use the terminal but also d…
yeah, the build took 3 minutes on my macbook air. what's in this thing?
Earlier quoted context omitted.
Agreed that it is a killer feature. US models obfuscate the COT (to A. make it look better and B. combat distillation) but > and the raw trace is fairly hard to reason about > but I still think this kind of feature is a big step in the right direction.
Can you explain how COT is essential to distillation and why obfuscating it helps defend against distillation? Or point me in the right direction in terms of what to read.
Earlier quoted context omitted.
I really like the json schemas around the tool calls. Much stricter validation than in codex. Git might be worth adding to the top level. Currently you've got LSP, grep, glob nicely structured for non-mutating queries across a codebase, but git is behind bash and that means hope or sandboxing. Thank you for uploading it. Gives a lot of insight into how the deepseek models might expect tool calls to be structured.
I don’t like it. Structures responses really do not work well with LLMs at all. They are one of the biggest causes of issues with tool calling right now.
Earlier quoted context omitted.
it was funny. and it's a matter of pride that they accused you of being AI.
Maybe, like sarcasm, this kind of joke would be easier to appreciate if tagged somehow. I think everyone agrees the internet is drowning in AI slop. That makes the joke hard to appreciate on its own.