AI coding may not be helping as much as you think (garymarcus.substack.com)

1 points by wyclif 1m ago 0 comments

First-principles diagrammatic Monte Carlo for electron–phonon and polaron (nature.com)

1 points by westurner 9m ago 0 comments

Show HN: Golang: Transform Any Cobra CLI into an MCP Server for AI Assistants (github.com)

1 points by njayp 16m ago 0 comments

Anubis now supports non-JS challenges (anubis.techaro.lol)

2 points by abhinavk 17m ago 0 comments

Psilocybin Shows Promise as Anti-Aging Therapy (human cell lifespan up by 50%) (neurosciencenews.com)

1 points by nonelog 17m ago 0 comments

Got Raw Milk? Before MAHA and Goop, There Was 'The Milk Guy' (grubstreet.com)

1 points by speckx 18m ago 0 comments

LambdaConf – Jai Demo and Design Explanation [video] (youtube.com)

1 points by _hao 18m ago 0 comments

Ask HN: AI as a solution to the declining population problem in many countries?

1 points by amichail 24m ago 1 comments

AGI Representation and Will (federicopereiro.com)

1 points by swah 24m ago 0 comments

Should the Federal Government Sell Land? (construction-physics.com)

1 points by dynm 25m ago 0 comments

Microsoft offers EU cloud providers fresh commercial terms (theregister.com)

1 points by belter 27m ago 0 comments

Ask HN: What's blocking your AI agents from moving beyond proof-of-concept?

1 points by ns-148 27m ago 1 comments

At Least 13 People Died by Suicide Amid U.K. Post Office Scandal, Report Says (nytimes.com)

33 points by xbryanx 29m ago 3 comments

The French Game Show Contestant Who Won 646 Times in a Row (and 23 Cars) (nytimes.com)

1 points by donohoe 30m ago 0 comments

Ask HN: Where would you sell a side project?

2 points by BrunoBernardino 30m ago 1 comments

David Autor on AI and the future of work (voxdev.org)

2 points by econlmics 31m ago 1 comments

The Product Arcana – a deck of prompts for stuck product thinking (productarcana.com)

1 points by bbbboris 31m ago 1 comments

Where are the DocuSign 2.0 Startups? (unicornforms.com)

3 points by waldopat 36m ago 1 comments

Better Python path handling with Pathlib and Git (abstractnonsense.xyz)

1 points by subset 37m ago 0 comments

The browser-based Skype replacement I built after losing my pay-per-minute calls

1 points by andybady 41m ago 0 comments

C++26: std:format improvement (Part 1) (sandordargo.com)

2 points by tempodox 41m ago 0 comments

Why is "truth-seeking" a goal?

2 points by d4rkn0d3z 42m ago 2 comments

Parsing Mixfix Operators (cse.chalmers.se)

1 points by fanf2 43m ago 0 comments

Diffusion Elites: surprisingly good, simple and embarrassingly parallel (blog.christianperone.com)

1 points by evertedsphere 45m ago 0 comments

Trusted Publishing (blog.rust-lang.org)

1 points by weinzierl 46m ago 0 comments

Show HN: Swift List – A Modern Swift Implementation of Ls (github.com)

3 points by qn9n 51m ago 0 comments

Rust Belt Voters Are Sick of Both Parties (jacobin.com)

1 points by PaulHoule 52m ago 0 comments

Ask HN: Has Anyone Made a Good AI Powered Film Editing Tool?

2 points by xvok 55m ago 0 comments

Show HN: TheGistHub – Free AI book summaries in 10 minutes (thegisthub.com)

1 points by vernu 56m ago 1 comments

Recovering from AI Addiction (internetaddictsanonymous.org)

27 points by pera 57m ago 6 comments

L.A. became the epicenter of America's homeless crisis (yahoo.com)

1 points by lxm 58m ago 0 comments

Do Not Give Imperfect People Perfect Systems (loganmarek.com)

1 points by xvok 1h ago 0 comments

Show HN: AGI Laboratory – Evolving AGI through community (github.com)

1 points by AGI_Laboratory 1h ago 0 comments

Risk of dementia following gabapentin prescription (rapm.bmj.com)

6 points by geox 1h ago 4 comments

Automating Pre-Push Checks with Jujutsu (aazuspan.dev)

1 points by silveraxe93 1h ago 1 comments

Can we fix the worst prediction in all of science? (bigthink.com)

1 points by elashri 1h ago 0 comments

UK Online Safety Act 'not up to scratch' on misinformation, warn MPs (theregister.com)

3 points by rntn 1h ago 0 comments

Limited Free Access for Udemy Course – ML for EEG (udemy.com)

1 points by ArminiShield 1h ago 1 comments

Why Internet Browsers Are Born Again in AI Land (hjortur.substack.com)

2 points by hjortureh 1h ago 4 comments

Ask HN: What the project you're most proud of?(Feel free to share a GitHub link)

3 points by FerkiHN 1h ago 8 comments

Kirlian Photography (en.wikipedia.org)

1 points by Anon84 1h ago 0 comments

Using Sound Waves to Put Out Fire: Story of Two George Mason University Students (wowparrot.com)

3 points by taubek 1h ago 1 comments

Global Warming in the Pipeline (arxiv.org)

3 points by simonebrunozzi 1h ago 0 comments

Deliberate Intentional Practice (ghuntley.com)

1 points by tosh 1h ago 0 comments

An Inferno Diary (dboddie.gitlab.io)

1 points by marttt 1h ago 0 comments

Bill Atkinson's Psychedelic User Interface (patternproject.substack.com)

48 points by cainxinth 1h ago 9 comments

Show HN: TUI personal monthly budget planner (github.com)

2 points by eliasdorneles 1h ago 0 comments

Trump launches his own crypto ETF from inside the White House (investorsobserver.com)

3 points by gniting 1h ago 0 comments

UX Failure Tale from the Multiverse

1 points by drdtrangr 1h ago 0 comments

Bash with Debugger and Improved Debug Support and Error Handling (bashdb.sourceforge.net)

1 points by thunderbong 1h ago 1 comments

Upgrading agentic coding capabilities with the new Devstral models

5 meetpateltech 1 7/10/2025, 2:29:49 PM mistral.ai ↗

Comments (1)

danielhanchen · 21h ago

I made GGUFs + it has tool calling support - I had to verify it via mistral_common! Also vision support should work as well! https://huggingface.co/unsloth/Devstral-Small-2507-GGUF

Also guide on running Devstral: https://docs.unsloth.ai/basics/tutorials-how-to-fine-tune-an...

./llama.cpp/llama-cli -hf unsloth/Devstral-Small-2507-GGUF:Q4_K_XL --jinja --temp 0.15 -ngl 99