frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Is there an IDE that can use the local open-source model?

3•haebom•3h ago
It seems that Cursor, VScode, and others don't offer this option separately either. It seems technically feasible, but is there no way to do it?

Comments

SMAAART•2h ago
VS code: https://code.visualstudio.com/docs/intelligentapps/models

> Models downloaded locally from repositories like Ollama and ONNX.

animuchan•2h ago
It's absolutely possible, but on an M4 mac the largest / slowest model I could feasibly run was very inferior, compared to the default paid Cursor experience.

I tested with Kilo Code: https://kilocode.ai/ -- it's a VS Code / Cursor extension.

To host models on desktop, there's this: https://ollama.com/

Formal or not formal? That is the question in AI for theorem proving

https://xenaproject.wordpress.com/2025/10/22/formal-or-not-formal-that-is-the-question-in-ai-for-...
1•todsacerdoti•23s ago•0 comments

Cara Buka Blokir Brimo

1•bubung•4m ago•1 comments

SQL Mandelbrot Benchmark

https://github.com/Zeutschler/sql-mandelbrot-benchmark
1•rclkrtrzckr•5m ago•0 comments

The Windows 7 Renaissance? StatCounter shows surge in usage

1•Stasshe•6m ago•0 comments

Two Thoughts on Key Art

https://www.robinsloan.com/lab/key-art/
1•FromTheArchives•10m ago•0 comments

Using DynamoDB Secondary Indexes

https://medium.com/@DocTaco/using-dynamodb-secondary-indexes-b26800afef91
1•0dj0bz•11m ago•0 comments

Show HN: smartNOC – network in a box for zero-ops

https://www.youtube.com/watch?v=Qc1r5OEN1cs
1•duane_powers•13m ago•1 comments

Helping scientists run complex data analyses without writing code

https://news.mit.edu/2025/helping-scientists-run-complex-data-analyses-without-writing-code-1014
1•gnabgib•14m ago•0 comments

What Made Blogging Different?

https://talkingpointsmemo.com/tpm-25/what-made-blogging-different
1•FromTheArchives•18m ago•0 comments

You Don't Need an Agentic Framework to Start Building Agents

https://www.gnanaguru.com/p/you-dont-need-an-agentic-framework
1•gnanagurusrgs•20m ago•0 comments

Encryption using SSH Keys with age in Linux

https://ittavern.com/encryption-using-ssh-keys-with-age-in-linux/
3•Bogdanp•23m ago•0 comments

Show HN: AI bookmarking app for people who hate AI

https://tryeyeball.com/
1•quinto_quarto•23m ago•0 comments

Q&A: The 'undertaker' cells of taste, one of our least understood senses

https://phys.org/news/2025-10-qa-cells-understood.html
1•PaulHoule•25m ago•0 comments

Show HN: Synnote – AI That Turns Notes into Action

https://www.synnote.app/
2•curiocity•26m ago•0 comments

International Alliance for Natural Time

https://naturaltimealliance.org/en/
1•throw0101a•28m ago•0 comments

Show HN: Steam Game Idler – Open-Source Steam Automation Tool (Tauri and Rust)

https://github.com/zevnda/steam-game-idler
1•zevnda•29m ago•0 comments

Increasing the MTU of the Internet (NANOG, 2008) [pdf]

https://archive.nanog.org/meetings/nanog42/presentations/scholl.pdf
2•monkburger•29m ago•0 comments

The difficulties of choosing a startup idea

https://dennisy.me/notes/the-difficulties-of-choosing-a-startup-idea
1•dennisy•29m ago•0 comments

Galactic Empires May Live at the Center of Our Galaxy

https://www.universetoday.com/articles/galactic-empires-may-live-at-the-center-of-our-galaxy-henc...
1•FromTheArchives•31m ago•0 comments

The Risk of Late-Onset Schizophrenia Following Diabetes Type 2 Onset

https://academic.oup.com/schizophreniabulletin/advance-article/doi/10.1093/schbul/sbaf159/8253574
1•wslh•33m ago•0 comments

Movie Posters from Africa That Are So Bad, They're Good

https://www.utterlyinteresting.com/post/bizarre-movie-posters-from-africa-that-are-so-bad-they-re...
2•bookofjoe•34m ago•0 comments

Real Estate Is Entering Its AI Slop Era

https://www.wired.com/story/real-estate-is-entering-its-ai-slop-era/
4•geox•34m ago•0 comments

Cleanup your lifetime annotations in Rust with RC and Arc

https://kerkour.com/rust-lifetimes-rc-arc
1•enz•36m ago•0 comments

German daycare centers face a shortage of babies

https://www.lemonde.fr/en/international/article/2025/10/26/german-daycare-centers-face-a-shortage...
1•throw0101a•36m ago•0 comments

Two Ideas for Humans Learning from LLMs

https://p10q.com/two_learnings_from_llms/
1•tmsh•38m ago•0 comments

The KDL Document Language

https://kdl.dev/
1•lexoj•40m ago•0 comments

Why open source may not survive the rise of generative AI

https://www.zdnet.com/article/why-open-source-may-not-survive-the-rise-of-generative-ai/
1•gpi•41m ago•0 comments

Zo: AI Cloud Computer

https://www.zo.computer
1•benzguo•41m ago•0 comments

AI spending is boosting the economy, but many businesses are in survival mode

https://www.cnbc.com/2025/10/25/ai-spending-is-boosting-the-economy-many-businesses-in-survival-m...
2•pseudolus•43m ago•0 comments

Devuan's Init Freedom

https://www.devuan.org/os/init-freedom
3•smartmic•43m ago•0 comments