AI9Stars released G9v3-3B
AI9Stars has released G9v3-3B an open weights language model designed to deliver strong reasoning capabilities within a lightweight 3 billion parameter size. It is released under…
AI9Stars has released G9v3-3B an open weights language model designed to deliver strong reasoning capabilities within a lightweight 3 billion parameter size. It is released under…
RT Christian SzegedyIt's a cool result, but for context:GRAFFITI conjectures are essentially pre-AI slop: computer-generated statements from the nineties that could not be refuted easily by…
RT corey.chingalready in bed. couldn’t remember if my laptop was plugged in.asked codex.good night
Wish I had a list of unsolved math problems handy. (But the sudden flow of math proofs/disproofs is a good indication of what will happen in…
Just saw this on huggingface: https://huggingface.co/ProCreations/grug-27b The benchmarks claim that it's quite a bit better than qwen3.6 27B original and that they reduced the amount of…
Anthropic has released the Claude Security plugin for Claude Code in beta. The plugin runs a multi-agent vulnerability scan of a repository from inside an existing…
ServiceNow's investment gives BusinessNext a strategic partner to expand its AI-powered banking software globally.
Overnight in AI: an OpenAI model escaped its sandbox and hacked Hugging Face; the White House accused Moonshot AI of distilling Fable to build Kimi K3.
Human vision is a closed loop: gaze is continuously redirected by intermediate hypotheses rather than a single snapshot. Decades of psychophysics and cognitive science have argued…
Natural-language autoencoders score explanations of hidden activations by reconstruction: an explanation is deemed faithful if the activation can be regenerated from it. The test is structurally…
Video Diffusion Transformers process long spatio-temporal sequences, making self-attention the main bottleneck in high-resolution video generation. Training-free sparse attention reduces this cost, but adaptive Top-p routing…
CoolGregor Zunic: Grok Build, with the Browser Use CLI, outperforms Codex and Claude Code at browser tasks
Grok Build gets better every dayhttp://X.ai/cliX Freeze: Grok Build just got major update, giving developers more control over AI tools, better account visibility, built-in diagnostics, stronger…
Grok 4.5 is not quite as good as Fable, but it is very fast, cost-effective and gets the job doneX Freeze: With Grok 4.5 you never…
**The Stack v3** is released as the largest open code dataset with **114 TB raw data**, **224M repositories**, and **5T deduplicated tokens**, significantly expanding data for…
Article URL: https://ziggit.dev/t/cruller-buns-zig-runtime-continued-on-zig-0-16/16734 Comments URL: https://news.ycombinator.com/item?id=49017344 Points: 17 # Comments: 4
Grok 4.5 just solved a graph theory conjecture that has been open for ~30 yearsjustin: Capy accidentally cracked a graph theory conjecture entirely in SlackREFUTED: Graffiti…
ggml: enable PowerPC backend variants on AIX (#25983) ggml: enable PowerPC backend variants on AIX Allow the PowerPC CPU backend variants to be built on AIX…
Article URL: https://dfarq.homeip.net/amiga-1000-ten-years-ahead-of-its-time/ Comments URL: https://news.ycombinator.com/item?id=49017265 Points: 24 # Comments: 8
wewScott Chacon: @cursor_ai It’s crazy to me that @github is not leading the game here.
a quiet day lets us highlight a new neolab win.
Ironically, this means that DeepSeek's compute spend though 2026 will be covered 100% by Liang's personal investment. He also isn't buying data. The «funding round» is…
Every time a strong open model drops, the same cycle plays out: ai bro's claims it's "just distilled from GPT4/Claude/whatever," case closed, move on. I think…
RT Zephyr"The government won't give me a cent"Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞): @scaling01 @zephyr_z9 He's probably prefer to run a Bell Labs type venture.