ptrj_

8 ms·

1. 1.▲
   by ptrj_ 1y ago

   > In python there are hidden sharp edges and depending on what dependencies you use you can get into deadlocks in production without ever knowing you were in danger. I've heard of deadlocks when using aiohttp or maybe httpx (e.g. du
2. 2.▲
   by ptrj_ 1y ago

   How have you found the current experience of (async) networking in Rust? This is something which is stupidly easy out-of-the-box in Python -- semi-seriously, async/await in Python was _made_ for interacting w/ a chat completions&#
3. 3.▲
   by ptrj_ 1y ago

   This could also give a nice speedup for MoE models w/ total 7B-70B parameters but O(10x) fewer active params, e.g. https://huggingface.co/Qwen/Qwen3-30B-A3B , assuming the expert router can be effectively scheduled
4. 4.▲
   A mathematical proof assistant (v2)(github.com)

   4 points by ptrj_ 1y ago|0 comments
5. 5.▲
   DeepSeek-Prover-V2-671B(huggingface.co)

   14 points by ptrj_ 1y ago|0 comments
6. 6.▲
   Export Control Diffusion Confusion(oracle.com)

   1 points by ptrj_ 2y ago|0 comments