frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Actively exploited sandbox RCE in all Chromium versions

https://nvd.nist.gov/vuln/detail/cve-2026-85046
341•negura•6h ago•190 comments

Formalizing Fermat's Last Theorem

https://www.anthropic.com/research/formalizing-fermats-last-theorem
540•jlebar•9h ago•336 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/
1555•moultano•16h ago•1234 comments

Artificial Analysis Intelligence Index v4.2

https://artificialanalysis.ai/articles/artificial-analysis-intelligence-index-v4-2
80•nojs•4h ago•22 comments

Statichost.eu – European static site hosting

https://www.statichost.eu/
192•p4bl0•7h ago•64 comments

GPT-6 Astra on OpenRouter

https://openrouter.ai/openai/gpt-6-astra
155•Topfi•6h ago•80 comments

Can AI design circuit boards yet?

https://eebench.org/blog/can-ai-design-circuit-boards-yet/
194•iopapa•8h ago•127 comments

Shutting down our public encrypted DNS

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-i...
286•mywacaday•9h ago•127 comments

Can guitar frets perform multiplication?

https://www.charlespetzold.com/blog/2026/09/Can-Guitar-Frets-Perform-Multiplication.html
44•wibbily•5h ago•12 comments

Portal by Spotify cut my Claude Code token usage by 90%

https://engineering.atspotify.com/2026/9/portal-by-spotify-cut-my-claude-code-token-usage-by-90
59•cebert•4h ago•26 comments

Git Submodules as a Package Manager

https://nesbitt.io/2026/09/01/git-submodules-as-a-package-manager.html
18•ErenayDev•3d ago•3 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com
253•stingrae•11h ago•89 comments

RSA-260 Factorized

https://twitter.com/penlume/status/2095372672356212876
83•samyok•1d ago•39 comments

Ask HN: Resources to get good at soldering?

77•tosmatos•2d ago•57 comments

Fermat's Last Theorem in Lean 4

https://github.com/anthropics/fermats-last-theorem
80•aaraujo002•9h ago•15 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/
70•mooreds•8h ago•19 comments

Government Rails Site Hit Hours After CVE Patch

https://rietta.com/blog/ruby-on-rails-cve-exploited-hours-after-patch/
80•rietta•9h ago•24 comments

Bugs happen: The easy way to compare solo PQ to ECC+PQ

https://blog.cr.yp.to/20260704-bugs.html
15•zdw•3d ago•5 comments

The Rust React Compiler is now native in Vite

https://blog.master.dev/react-now-rusted-all-the-way-out/
125•acusti•10h ago•24 comments

Decompiler Explorer

https://dogbolt.org
50•tripdout•3d ago•1 comments

Record-High 89% in U.S. Say Government Corruption Widespread

https://news.gallup.com/poll/713933/record-high-say-government-corruption-widespread.aspx
274•karakoram•6h ago•205 comments

IBM Bob

https://bob.ibm.com/
241•artpar•15h ago•278 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

https://github.com/gioblu/NPC-Forge/blob/main/docs/development.md
103•gioscarab•19h ago•29 comments

Icons as a Service

https://nravic.com/blog/images/
31•nravic•6h ago•2 comments

ExactTex. A gradually-typed superset of LaTeX

https://github.com/camilochs/exacttex
22•camilochs•3d ago•3 comments

Connecting every app to every other app

https://blog.val.town/connectors
21•Chidiebere229•5h ago•2 comments

Show HN: Moadim.io – A scheduler for agents

https://moadim.io/
20•tupe12334•4h ago•11 comments

deSEC – Free Secure DNS

https://desec.io/
122•gurjeet•12h ago•42 comments

Nitter has more working instances than before the takedowns

https://codeberg.org/mv12star/shitter/wiki/Instances
38•Cider9986•4h ago•11 comments

Updates on HEIR, the Homomorphic Encryption Compiler Project

https://www.jeremykun.com/2026/09/04/updates-on-heir-homomorphic-encryption/
32•turtleyacht•7h ago•0 comments
Open in hackernews

Kate and Python Language Server

https://akselmo.dev/posts/kate-python-lsp/
79•todsacerdoti•1y ago

Comments

josteink•1y ago
As someone who recently set up something similar in Emacs with eglot I had to ditch Python-LSP-server.

It was so incredibly slow to respond, even on a M2 Max MBP, that it lowered my productivity by orders of magnitudes (and made Emacs laggy).

Maybe I did something wrong? I don’t know.

What I do know is that I tried pyright instead as a different LSP-server for Python and I haven’t looked back.

It’s a night and day difference. It’s snappy and everything works as expected, with venvs and mypy too.

kstrauser•1y ago
I agree. I really wanted to like python-lsp-server (aka pylsp), but I felt it's kind of a mess getting everything set up and configured. Loathe as I was to configure a server running in Node to help my editor with Python code, it's far and away the best option I've found so far.

I do hope "ruff server" will do for Python LSPs what ruff did for linting and formatting.

nerdponx•1y ago
I haven't tried the Ruff server yet, but Jedi Language Server is usably fast, and does a good enough job.
kstrauser•1y ago
Jedi's very nice for refactoring and auto-completion! I get more value from linting and type checking, though, and Jedi doesn't handle those. Pairing it with something like pyright is a great combination if your editor lets you connect to multiple servers.
kristjansson•1y ago
It's not ready yet, but https://pyrefly.org/ might be a good competitor/complement in the future
tiltowait•1y ago
Looks promising! It doesn't work with my poetry environment, but I like what I see so far. Definitely something to watch.
team_pyrefly•1y ago
Hi! I'm on the team behind Pyrefly. Thanks for taking a look and raising the need for poetry support. We added a GitHub issue to track that here: https://github.com/facebook/pyrefly/issues/166
arccy•1y ago
last time i looked the people were recommending basedpyright: https://github.com/DetachHead/basedpyright
Hasnep•1y ago
I've been recommending it whenever Pylance comes up on HN or Lobsters, the docs explain how to set it up on the most popular editors: https://docs.basedpyright.com/dev/installation/ides
wormius•1y ago
Not particularly relevant to the core article, but just a dumb thought re: the LSP/LS annoyance mentioned in the intro.

I think maybe some of it stems from 'ls' the command. If I saw something called py-ls instead of py-lsp, I may think it's a python based ls command. "Name Collision" as it were.

Anyways off to read the rest of the article...

ogoffart•1y ago
I wrote a language server too, and I also went with "-lsp" naming because it's way more recognizable. "LSP" is kind of a brand. If you look at the list at https://microsoft.github.io/language-server-protocol/impleme... a lot of them are named -lsp.
dundarious•1y ago
Might not be an issue for your typical setup, but I suggest quoting your variable expansions in bash. Otherwise, spaces, etc., will lead to issues.

It would also make sense to use path after it is defined, instead of sometimes using `$1` again.

But I'm confused by `cd`ing into `$path` and then checking paths that are prefixed by `$path`... I assume that is an error, and you won't run it like `script.sh ./work/project` and expect a path like `./work/project/work/project` or `./work/project/project` to exist. Can just `cd "$1"` and be done.

Mildly surprised the .venv/venv check isn't an elif as well.

  #!/usr/bin/env bash
  cd "$1"
  if [ -d ./.venv ]; then
    source ./.venv/bin/activate
  elif [ -d ./venv ]; then
    source ./venv/bin/activate
  fi
  exec pylsp --check-parent-process