frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Coursera to combine with Udemy

https://investor.coursera.com/news/news-details/2025/Coursera-to-Combine-with-Udemy-to-Empower-th...
83•throwaway019254•3h ago•28 comments

Learning the oldest programming language (2024)

https://uncenter.dev/posts/learning-fortran/
9•lioeters•3h ago•3 comments

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
695•evankhoury•19h ago•356 comments

Is Mozilla trying hard to kill itself?

https://infosec.press/brunomiguel/is-mozilla-trying-hard-to-kill-itself
483•pabs3•6h ago•418 comments

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html
60•birdculture•8h ago•14 comments

alpr.watch

https://alpr.watch/
826•theamk•23h ago•386 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
710•ryandrake•21h ago•129 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
684•gavide•19h ago•130 comments

Modern SID chip substitutes [video]

https://www.youtube.com/watch?v=nooPmXxO6K0
27•vismit2000•3d ago•1 comments

No AI* Here – A Response to Mozilla's Next Chapter

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
401•MrAlex94•18h ago•233 comments

AI's real superpower: consuming, not creating

https://msanroman.io/blog/ai-consumption-paradigm
87•firefoxd•7h ago•68 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
708•kevin-david•23h ago•762 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
472•charlierguo•22h ago•223 comments

Playing Santa changed Bob Rutan profoundly

https://www.esquire.com/lifestyle/a69597294/santaland-bob-rutan/
33•Lightbody•4d ago•10 comments

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

https://simonwillison.net/2025/Dec/15/porting-justhtml/
197•pbowyer•17h ago•115 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
564•mitchbob•1d ago•202 comments

Subsets (YC S23) is hiring engineers in Copenhagen, Denmark

https://www.workatastartup.com/companies/subsets
1•Oliverbrandt•9h ago

Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025

https://plasticsoldierreview.com/ShowFeature.aspx?id=27
50•YeGoblynQueenne•4d ago•35 comments

40 percent of fMRI signals do not correspond to actual brain activity

https://www.tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-d...
466•geox•1d ago•181 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
541•recvonline•1d ago•814 comments

VA Linux: The biggest dotcom IPO

https://dfarq.homeip.net/va-linux-the-biggest-dotcom-ipo/
81•giuliomagnifico•6d ago•40 comments

Short-Circuiting Correlated Subqueries in SQLite

https://emschwartz.me/short-circuiting-correlated-subqueries-in-sqlite/
6•emschwartz•5h ago•0 comments

The Coupang data breach that hit two-thirds of South Korea

https://www.ft.com/content/df4042fa-3e56-410f-b905-4aed8fd434ac
3•zdw•4d ago•2 comments

Living Particle System

https://creative-art-points.vercel.app/
22•lovegrenoble•4d ago•0 comments

Show HN: I built a WebMIDI sequencer to control my hardware synths

https://www.simplychris.ai/droplets
30•simplychris•5d ago•13 comments

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

https://github.com/p-org/P
21•Davidbrcz•8h ago•4 comments

Introduction to Software Development Tooling (2024)

https://bernsteinbear.com/isdt/
90•vismit2000•15h ago•13 comments

Japan to revise romanization rules for first time in 70 years

https://www.japantimes.co.jp/news/2025/08/21/japan/panel-hepburn-style-romanization/
227•rgovostes•1d ago•195 comments

Ask HN: Has anyone been able to renew their IEEE this month?

19•chrisaycock•6d ago•3 comments

Show HN: Titan – JavaScript-first framework that compiles into a Rust server

https://www.npmjs.com/package/@ezetgalaxy/titan
47•soham_byte•6d ago•25 comments
Open in hackernews

Kate and Python Language Server

https://akselmo.dev/posts/kate-python-lsp/
79•todsacerdoti•7mo ago

Comments

josteink•7mo 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•7mo 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•7mo ago
I haven't tried the Ruff server yet, but Jedi Language Server is usably fast, and does a good enough job.
kstrauser•7mo 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•7mo ago
It's not ready yet, but https://pyrefly.org/ might be a good competitor/complement in the future
tiltowait•7mo 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•7mo 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•7mo ago
last time i looked the people were recommending basedpyright: https://github.com/DetachHead/basedpyright
Hasnep•7mo 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•7mo 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•7mo 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•7mo 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