Ownership Types

Feeds to Scour
SubscribedAll
Scoured 8 posts in 58.0 ms

No high-quality results found.

Less-relevant results
📏Linear Typesarxiv.org·

From Phase Semantics to Base-extension Semantics (and back)

Feeds
🛠️Systems ProgrammingNadri’s musings·

A Vision for a Rust Formal Specification

Discussed on Hacker News
Feeds
🛡️PrivacyBSDSec·

FreeBSD 15.1-RELEASE Now Available

Feeds
📋MCPdevelopers.googleblog.com·

A2UI + MCP Apps: Combining the best of declarative and custom agentic UIs

Covers 3 stories See all stories this covers including MCP is an open protocol that standardizes how apps provide context to LLMs
Covered by seroter.com
Feeds
🔧Developer toolstempestphp.com·

A generic tragedy: Why PHP's Generics vote failed

Covers PHP RFC: Bound-Erased Generic Types
Discussed on Hacker News
Feeds
🛠️Systems Programminggracefulliberty.com·

Returning to Zig

Covers 2 stories See all stories this covers including Add an LLM policy for `rust-lang/rust` by jyn514 · Pull Request #1040
Discussed on Hacker News
Feeds
📦Binary Packagingfreebsd.org·

FreeBSD 15.1-RELEASE Announcement

Covers Am I the only one who is affected by dark themes?
Covered by 4 sources See all sources covering this story including theregister, distrowatch.com
Feeds
🛡️Privacylists.freebsd.org·

FreeBSD 15.1-Release Now Available

Discussed on Hacker News
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help