frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

An OpenAI model has disproved a central conjecture in discrete geometry

https://openai.com/index/model-disproves-discrete-geometry-conjecture/
1084•tedsanders•13h ago•783 comments

GitHub confirms breach of 3,800 repos via malicious VSCode extension

https://www.bleepingcomputer.com/news/security/github-confirms-breach-of-3-800-repos-via-maliciou...
787•Timofeibu•18h ago•310 comments

Vivaldi 8.0

https://vivaldi.com/blog/vivaldi-on-desktop-8-0/
57•OuterVale•1h ago•15 comments

Haskell Foundation 2026 Update

https://discourse.haskell.org/t/haskell-foundation-2026-update/14136
101•azhenley•6h ago•23 comments

Show HN: I reverse engineered Apple's video wallpapers

https://github.com/kageroumado/phosphene
250•kageroumado•8h ago•46 comments

New features in GCC 16: Improved error messages and SARIF output

https://developers.redhat.com/articles/2026/04/28/gcc-16-improved-error-messages-sarif-output
65•siteshwar•2d ago•10 comments

Typewise (YC S22) Is Hiring an AI Growth Engineer (Zurich or Remote)

https://www.ycombinator.com/companies/typewise/jobs/HmCzfBK-ai-growth-engineer
1•janisberneker•21m ago

DOS Zone

https://dos.zone/
237•rglover•9h ago•45 comments

The Letter S, by Donald Knuth (1980) [pdf]

https://gwern.net/doc/design/typography/1980-knuth.pdf
146•bambax•8h ago•18 comments

Flipper One Tech Specs

https://docs.flipper.net/one/general/tech-specs
354•gregsadetsky•13h ago•126 comments

Anthropic is expanding to Colossus2. Will use GB200

https://twitter.com/nottombrown/status/2057194829986300375
171•aurareturn•11h ago•155 comments

Simulating Infinity in Conway's Game of Life with Modern C++

https://ryanjk5.github.io/posts/GOLDE/
26•HeliumHydride•2d ago•2 comments

All the bugs they found

https://andreapivetta.com/posts/all-the-bugs-they-found.html
13•ziggy42•1d ago•1 comments

How fast is N tokens per second really?

https://mikeveerman.github.io/tokenspeed/
395•hexagr•3d ago•78 comments

Archaeologists find Egyptian mummy buried with the 'Iliad'

https://www.openculture.com/2026/05/archaeologists-discover-ancient-egyptian-mummy-buried-with-pa...
122•diodorus•5d ago•86 comments

Show HN: I made a tactical map-based WWII submarine simulator (public beta)

https://silentshark.app/alpha/
26•epaga•2d ago•12 comments

Saying goodbye to asm.js

https://spidermonkey.dev/blog/2026/05/20/saying-goodbye-to-asmjs.html
370•eqrion•20h ago•142 comments

Reviving old scanners with an in-browser Linux VM bridged to WebUSB over USB/IP

https://yes-we-scan.app/details
68•gmac•2d ago•24 comments

Recreate famous water profiles using supermarket bottled water

https://www.waterdictionary.net
35•smugglerFlynn•2d ago•19 comments

OpenAI to confidentially file for IPO as soon as Friday

https://www.cnbc.com/2026/05/20/openai-ipo-filing.html
133•doppp•5h ago•97 comments

Qian Xuesen: The missile genius America lost and China gained (2025)

https://www.usni.org/magazines/naval-history/2025/december/missile-genius-america-lost-and-china-...
168•thnaks•14h ago•87 comments

Intuit to lay off over 3k employees to refocus on AI

https://techcrunch.com/2026/05/20/intuit-to-lay-off-over-3000-employees-to-refocus-on-ai/
179•wapasta•7h ago•131 comments

Google’s AI is being manipulated. The search giant is quietly fighting back

https://www.bbc.com/future/article/20260519-google-tackles-attempts-to-hack-its-ai-results
306•tigerlily•21h ago•191 comments

A Markdown-based test suite

https://blogsystem5.substack.com/p/markdown-based-test-suite
34•zdw•2d ago•8 comments

Why is Inkwell stuck in review

https://www.manton.org/2026/05/19/why-is-inkwell-stuck-in.html
136•speckx•14h ago•45 comments

Learnings from 100K lines of Rust with AI (2025)

https://zfhuang99.github.io/rust/claude%20code/codex/contracts/spec-driven%20development/2025/12/...
147•pramodbiligiri•22h ago•152 comments

SBCL: the ultimate assembly code breadboard (2014)

https://pvk.ca/Blog/2014/03/15/sbcl-the-ultimate-assembly-code-breadboard/
147•yacin•16h ago•8 comments

SpaceX S-1

https://www.sec.gov/Archives/edgar/data/1181412/000162828026036936/spaceexplorationtechnologi.htm
360•cachecow•11h ago•278 comments

Show HN: CPU-only transcription for YouTube, TikTok, X, Instagram videos

https://github.com/kouhxp/yapsnap
66•mrkn1•10h ago•23 comments

Incident Report: May 19, 2026 – GCP Account Suspension

https://blog.railway.com/p/incident-report-may-19-2026-gcp-account-outage
431•0xedb•23h ago•244 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