frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Docker is weird

https://codeandcake.dev/posts/2026-10-22-docker-is-weird
156•psxuaw•2h ago•66 comments

LLMs are making formal software verification feasible at a much larger scale

https://www.anthropic.com/research/formal-verification
138•johnbender•3h ago•69 comments

Quad9 (DNS Resolver) to Exit France

https://quad9.net/news/blog/au-revoir-france/
1021•farrokhi•12h ago•367 comments

The foolishness of "natural language programming" (1978)

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
38•xiaoyu2006•1h ago•33 comments

OpenShell – A safe, private runtime for fleets of autonomous AI agents

https://github.com/NVIDIA/OpenShell
314•niemandhier•8h ago•162 comments

Woman faces six years in prison over Cash App account she never opened

https://www.techspot.com/news/114296-woman-spends-three-nights-jail-faces-six-years.html
530•oidar•13h ago•541 comments

Every AI model has the same "controversial" take on humans

https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans
254•rakannimer•10h ago•317 comments

AI compute is the new oil–and needs a new market

https://www.economist.com/finance-and-economics/2026/10/22/ai-compute-is-the-new-oil-and-needs-a-...
25•ijidak•2h ago•16 comments

Getting ready to operate GNU Taler in Germany

https://www.taler.net/en/news/2026-13.html
230•dewey•10h ago•85 comments

Run full iOS 16.5 firmware on Android Devices

https://github.com/oosexgang/hackios-xnu-kernel
332•aghuang•11h ago•129 comments

The Secret Life of Circuits is now in stock everywhere

https://blog.coredump.cx/p/the-secret-life-of-circuits-is-now
16•surprisetalk•2d ago•5 comments

Jailbreaking the Switch 2

https://pepsipu.com/blog/2026-10-switch2-jailbreak-ns2jb/
733•ledoge•18h ago•254 comments

Jank – The native Clojure dialect with seamless C++ interop

https://jank-lang.org/
18•giancarlostoro•2h ago•1 comments

What Is Gridifcation

https://musicalform.substack.com/p/what-is-gridifcation
410•gumby•3d ago•202 comments

Hedra is a 3D open world game I wrote from scratch while in highschool

https://github.com/maxilevi/project-hedra/tree/pre-ai
143•maxilevi•7h ago•29 comments

Mapping the Northern Sky

https://www.maps.com/star-map-charts-stars-and-constellations-of-northern-hemisphere/
17•tmseidman•2h ago•4 comments

eMudhra to exit global SSL/TLS certificate business

https://emudhra.com/en/press-release/emudhra-to-exit-global-ssl-tls-certificate-business
946•bo0tzz•13h ago•635 comments

Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.

395•petecooper•16h ago•164 comments

Xbox wants you to pay 24 to 40 cents per hour to stream games you bought

https://arstechnica.com/gaming/2026/10/xbox-wants-you-to-pay-24-to-40-cents-per-hour-to-stream-ga...
221•entryleveljobsc•14h ago•211 comments

Railpass

https://train.samismith.com/
53•CharlesW•4h ago•14 comments

Color Names

https://names.color.pizza
20•akkartik•2d ago•2 comments

Mortality Among People with Attention-Deficit/Hyperactivity Disorder

https://jamanetwork.com/journals/jamanetworkopen/fullarticle/2855472
5•gumby•2d ago•0 comments

AI and the Enclosure of the Scientific Commons

https://arxiv.org/abs/2610.27251
116•jrepinc•8h ago•70 comments

How to Design Flowers

https://www.asimov.press/p/flowers
20•surprisetalk•2d ago•2 comments

Speeding up code review with `small-change`

https://lethain.com/small-changes/
28•alexmolas•3d ago•14 comments

Dungeon Generation in the Gnomish Mines of NetHack

https://www.boristhebrave.com/2026/10/18/dungeon-generation-in-the-gnomish-mines-of-nethack/
129•ibobev•3d ago•16 comments

Faster than earcut: triangulating 3.7M map polygons in 489 ms

https://globus.software/blog/2026/10/16/cutting-map-polygons/
205•molind•17h ago•38 comments

Show HN: Uberblok – an interactive museum of ZFS internals

https://uberblok.storagebits.workers.dev/
83•storagebits•1d ago•22 comments

A farewell to Arc browser

https://arc.net/
232•suhdonghwi•10h ago•211 comments

What’s getting pwned right now

https://pwn.watch/
350•mrkd•12h ago•161 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