Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Lobsters
lobste.rs
tratt.net
·
5w
5 weeks ago
Local Reasoning for Global Properties
Covers
No Silver Bullet: Essence and Accidents of Software Engineering [pdf]
Covered by
tldr.tech
Discussed on
Hacker News
,
Hacker News
, and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Local Reasoning for Global Properties
rheo.ohrg.org
·
27w
27 weeks ago
Typst to EPUB and static website
Covered by
ruanyifeng.com
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Typst to EPUB and static website
Tangled
·
7w
7 weeks ago
jj_tui: terminal user interface to jujutsu focused on speed and clarity
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for jj_tui: terminal user interface to jujutsu focused on speed and clarity
wezm.net
·
5w
5 weeks ago
Platform Support for GNU Extensions to Basic Regular Expressions
Covers
5 stories
See all stories this covers
including
openbsd.org - 106.8 kb
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Platform Support for GNU Extensions to Basic Regular Expressions
probablymarcus.com
·
5w
5 weeks ago
A native graphical shell for SSH
Covers
Show HN: A browser for Mac that connects to private web apps over SSH
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for A native graphical shell for SSH
30fps.net
·
5w
5 weeks ago
Revisiting Yliluoma’s ordered dither algorithm
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Revisiting Yliluoma’s ordered dither algorithm
Marcin Juszkiewicz
·
5w
5 weeks ago
The end of the AArch64 desktop experiment
Covered by
3 sources
See all sources covering this story
including
Phoronix
,
The Register
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for The end of the AArch64 desktop experiment
tangled.sh engineering blog
·
7w
7 weeks ago
How the microVM engine comes together
Covered by
jola.dev
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for How the microVM engine comes together
bnewbold.leaflet.pub
·
5w
5 weeks ago
The AT-URI Syntax Mess
Covered by
The Fulcrum
,
opensource.googleblog.com
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for The AT-URI Syntax Mess
Vrypan
·
5w
5 weeks ago
What's wrong with EU age verification? (Nothing)
Covers
European Age Verification Solution
Covered by
Techrights
Discussed on
Hacker News
,
Hacker News
, and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for What's wrong with EU age verification? (Nothing)
cyberstan.co.uk
·
5w
5 weeks ago
Unprivileged root via a use-after-free in DRM GEM change_handle (CVE-2026-46215)
Covered by
The Hacker News
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Unprivileged root via a use-after-free in DRM GEM change_handle (CVE-2026-46215)
Anton Zhiyanov
·
5w
5 weeks ago
Solod v0.2: Networking, new targets, friendlier interop
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Solod v0.2: Networking, new targets, friendlier interop
GitHub
·
5w
5 weeks ago
A reliable unprivileged container jail escape proof of concept for CentOs/RHEL
Covered by
AlmaLinux OS
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for A reliable unprivileged container jail escape proof of concept for CentOs/RHEL
vrong.me
·
5w
5 weeks ago
What is `std::pin::Pin` in Rust?
Discussed on
Hacker News
,
Lobsters
, and
r/programming
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for What is `std::pin::Pin` in Rust?
exploring-better-ways.bellroy.com
·
5w
5 weeks ago
Type-checked non-empty strings
Covers
Dependent Types: Current Status by Serokell GHC Team
Covered by
Haskell Weekly
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Type-checked non-empty strings
humphri.es
·
5w
5 weeks ago
WATaBoy: JIT-Ing Game Boy Instructions to WASM Beats a Native Interpreter
Covers
3 stories
See all stories this covers
including
Cranelift
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for WATaBoy: JIT-Ing Game Boy Instructions to WASM Beats a Native Interpreter
nebusec.ai
·
5w
5 weeks ago
Longinus: 2 Boundaries in One Bug, Piercing Chrome’s Renderer and V8 Sandbox with a Single Vulnerability, CVE-2026-6307
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Longinus: 2 Boundaries in One Bug, Piercing Chrome’s Renderer and V8 Sandbox with a Single Vulnerability, CVE-2026-6307
rntz.net
·
7w
7 weeks ago
Evaluation order and nontermination in query languages
Covers
miniKanren.org
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Evaluation order and nontermination in query languages
weinholt.se
·
5w
5 weeks ago
Loko Scheme 0.13.0
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Loko Scheme 0.13.0
YouTube
·
5w
5 weeks ago
Typst: Designing for Incrementality
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Typst: Designing for Incrementality
« Page 43
·
Page 45 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report