🔐 Capability Calculus - abnv · Scour

Safety VS Security

dev.to·20h·

Discuss: DEV

🛡️Security Type Systems

LLM Security and Safety: Insights from Homotopy-Inspired Prompt Obfuscation

arxiv.org·47m

🛡️Security Type Systems

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Design Decision for Role-Based Access Control (RBAC)

cyberark.com·15h·

Discuss: DEV

🛡️Capability Security

datahaven-xyz/datahaven: An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer

github.com·3h

🛡️Capability VMs

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·17h

🛡️Taint Analysis

Evolution of LLMs use by a programmer

asfaload.com·12h·

Discuss: Hacker News

🎮Language Ergonomics

Digital hygiene

karpathy.bearblog.dev·8h

🔐Security Types

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

What is API Security?

securityscorecard.com·12h

Stop Overusing Interfaces (2017)

blog.hovland.xyz·15h·

Discuss: Hacker News

🌉Cross-Platform FFI

Lambda Durable Functions - Keeping your Payloads Secure

dev.to·3h·

Discuss: DEV

📮Persistent Queues

GNU C Language Manual

gnu.org·10h

🪄C Metaprogramming

Calculus Made Easy

calculusmadeeasy.org·14h

A new era of agents, a new era of posture

microsoft.com·15h

🛡️Capability Security

We built Cedar with automated reasoning and differential testing (2023)

amazon.science·2d·

Discuss: Hacker News

🧩Constraint Logic

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case

arxiv.org·1d

🛡️Security Type Systems

Secure Third-Party Tool Calling in LlamaIndex Using Auth0

auth0.com·1d

🌉Language Bindings

Introducing FastMCP 3.0 🚀

jlowin.dev·1d·

Discuss: Hacker News

🛡️Capability VMs

Loading more...