🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Verification

Proof Assistants, Correctness Guarantees, Logic Systems, Specification

How Not to Get Lost in PCI DSS Standards — A Tech Team’s Perspective
hackernoon.com·17h
🛡️Security
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·4d·
Discuss: Lobsters, Hacker News, r/programming
🏗️Language Design
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🏗️Language Design
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🦀Rust
Build a Data Cleaning & Validation Pipeline in Under 50 Lines of Python
kdnuggets.com·1d
🔄DevOps
Signal Use and Emergent Cooperation
arxiv.org·19h
🏗️Language Design
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
🏗️Language Design
Probe before You Talk: Towards Black-box Defense against Backdoor Unalignment for Large Language Models
arxiv.org·2d
🦀Rust
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·14h·
Discuss: DEV
🏗️Language Design
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·10h·
Discuss: DEV
🏗️Language Design
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·2d
🦀Rust
Hypercubical manifolds in homotopy type theory
arxiv.org·19h
🏗️Language Design
XAI: Your Indispensable Compass for AI Regulatory Compliance
dev.to·1d·
Discuss: DEV
🏗️Language Design
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·19h
🦀Rust
Machine Learning Fundamentals: active learning with python
dev.to·6h·
Discuss: DEV
🦀Rust
Introduction to Algorithms: What They Are and Why They Matter
dev.to·1d·
Discuss: DEV
🏗️Language Design
Using PhantomData and Zero-Sized Types
dev.to·8h·
Discuss: DEV
🦀Rust
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🏗️Language Design
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·1d
🏗️Language Design
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·19h
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap