HN user

forks

473 karma
Posts28
Comments34
View on HN
techcrunch.com 9d ago

LAPD lets contract with surveillance giant Flock expire

forks
473pts414
status.claude.com 14d ago

Claude: Elevated Errors on Multiple Models

forks
2pts0
www.databricks.com 14d ago

Contextual Policies in Omnigent: Using session state to better govern AI agents

forks
1pts0
vercel.com 29d ago

Vercel: Eve, an open-source agent framework

forks
4pts1
status.claude.com 1mo ago

Claude: Elevated errors across many models

forks
1pts1
status.claude.com 1mo ago

Claude: Elevated Error Rates for Opus 4.8, Opus 4.7, Opus 4.6, and Sonnet 4.6

forks
34pts38
status.claude.com 1mo ago

Claude: Elevated errors across many models [resolved]

forks
189pts160
codereview.withmartian.com 1mo ago

An Unbiased OSS Benchmark for Code Review Agents

forks
3pts0
techtrenches.dev 3mo ago

The human cost of 10x: How AI is physically breaking senior engineers

forks
82pts71
zerodayclock.com 3mo ago

Zero Day Clock: The gap between disclosure and exploitation is collapsing to 0

forks
3pts0
www.osohq.com 4mo ago

AI Agents Gone Rogue

forks
1pts0
awslabs.github.io 6mo ago

AWS Duvet: a bidirectional link between implementation and specification

forks
12pts1
eprint.iacr.org 6mo ago

Hax: Verifying Security-Critical Rust Software Using Multiple Provers

forks
2pts0
en.wikipedia.org 6mo ago

Bake Oven Knob

forks
2pts0
ravimohan.blogspot.com 6mo ago

Learning from Sudoku Solvers (2007)

forks
22pts8
security.googleblog.com 6mo ago

Architecting Security for Agentic Capabilities in Chrome

forks
1pts0
openai.com 6mo ago

Continuously hardening ChatGPT Atlas against prompt injection attacks

forks
3pts0
vercel.com 7mo ago

We removed 80% of our agent's tools

forks
3pts0
bloom-lang.net 7mo ago

Calm: Consistency as Logical Monotonicity

forks
3pts0
www.scworld.com 7mo ago

How the 'Lethal Trifecta' sets the conditions for stealing data on command

forks
1pts1
turso.tech 8mo ago

The Missing Abstraction for AI Agents: The Agent Filesystem

forks
2pts0
lukasatkinson.de 1y ago

You Just Don't Need Tox

forks
4pts0
www.warbyparker.com 1y ago

Warby Parker Partners with Google to Develop Intelligent Eyewear

forks
1pts0
oceanexplorer.noaa.gov 1y ago

NOAA Ocean Explorer: A Collection of Sounds from the Sea

forks
1pts0
www.phila.gov 1y ago

Arena Proposal: Impact Reports

forks
1pts0
www.theverge.com 1y ago

Is it time to reconsider the keyboard pants?

forks
3pts1
www.steveindusteves.com 2y ago

Winning Connect4 with Monte-Carlo Tree Search

forks
4pts2
www.osohq.com 4y ago

We Built an LSP-Powered VS Code Extension with Rust, WASM, and TypeScript

forks
19pts4

The big problem that we kept running into was keeping everything in sync all the time. Every time we add a new user, organization, repository, etc. in our database, we also had to add the corresponding tuples in OpenFGA.

This is a fundamental problem with all Zanzibar-inspired authorization systems[0] that require centralizing ~all authorization data and led us @ Oso to build a more flexible system[1] that grants more control over what authorization-relevant data you centralize vs. decide keep locally.

0: https://www.osohq.com/post/authorization-for-the-rest-of-us

1: https://www.osohq.com/docs/develop/facts/local-authorization

disclosure: founding engineer at Oso

TV Garden 1 year ago

One of those things that's so cool it's hard to believe it's legal

Does this mean that it's more difficult to use the LSP from anything except VSCode?

Could be... we shall see when we try porting it to a second IDE. :-D

I was so focused on VS Code that I haven't spent much time considering the set of changes that'll be required to support a second client.

I think the solution I would go for is probably to compile my language server with Wasmtime, bundle Wasmtime for every platform I support and then just run it through that. Then I don't have to cross-compile my Rust code, but it's still a fully featured language server on its own.

Bundling in wasmtime is a really interesting idea. Thanks for sharing!