Feeds to Scour
SubscribedAll
Scoured 2099 posts in 34.8 ms
Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 聽位Type Theory
arxiv.org路18h
SQL-first code generator for PostgreSQL (Haskell, Rust, Java) 聽馃幃Bevy
pgenie.io路6d路Lobsters
Cryptographic Implications of Worst-Case Hardness of Time-Bounded Kolmogorov Complexity 聽馃攼Zero-knowledge
eprint.iacr.org路2d
A Gradual Probabilistic Lambda Calculus 聽位Type Theory
arxiv.org路18h
TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing 聽馃攲LSP
arxiv.org路2d
Quantum polymorphism characterisation of commutativity gadgets in all quantum models 聽馃攼Post-Quantum Crypto
arxiv.org路5d
Efficient High-order Mass-conserving and Energy-balancing Schemes for Schr\"odinger-Poisson Equations 聽馃攼Post-Quantum Crypto
arxiv.org路18h
Expanders Meet Reed--Muller: Easy Instances of Noisy k-XOR 聽馃尣B-Trees
eprint.iacr.org路3d
Trace-Guided Synthesis of Effectful Test Generators 聽馃搵Lightweight Formal Methods
arxiv.org路1d
Understanding: reframing automation and assurance 聽位Type Theory
arxiv.org路18h
From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink 聽馃搵Lightweight Formal Methods
arxiv.org路1d
Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering 聽馃搵Lightweight Formal Methods
arxiv.org路18h
Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems 聽馃搵Lightweight Formal Methods
arxiv.org路2d
Foundations of Future Communication Systems: Innovations in Communication 聽馃搻Protocol Design
arxiv.org路18h
Compositional Program Verification with Polynomial Functors in Dependent Type Theory 聽位Type Theory
arxiv.org路5d
PROMISE: Proof Automation as Structural Imitation of Human Reasoning 聽馃敡Constraint Solvers
arxiv.org路18h
Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain 聽馃搵Lightweight Formal Methods
arxiv.org路1d
Nidus: Externalized Reasoning for AI-Assisted Engineering 聽馃敡Constraint Solvers
arxiv.org路18h
Assessing Large Language Models for Stabilizing Numerical Expression in Scientific Software 聽馃搵Lightweight Formal Methods
arxiv.org路1d
Ontology-Aware Design Patterns for Clinical AI Systems: Translating Reification Theory into Software Architecture 聽位Type Theory
arxiv.org路5d

Keyboard Shortcuts

Navigation
Next / previous item
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
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help