๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ฌ Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Thinking Thursday: Monthly Math
denisegaskins.comยท1d
๐Ÿ“Mathematical Art
Predicted impact of LLM use on developer ecosystems
shape-of-code.comยท4d
๐Ÿ”„Language Evolution
zachjs/sv2v
github.comยท5d
๐ŸงฉRISC-V Assembly
Can't open bank account due to silly address mismatch
news.ycombinator.comยท1dยท
Discuss: Hacker News
โš™Backus-Naur Form
Need a Verified Binance Account? Here Are 5 Safe Sites to Use
dev.toยท1dยท
Discuss: DEV
๐Ÿ”CBOR
How to Install Docker on Debian 13 (Trixie): A Step-by-Step Guide
linuxiac.comยท2d
๐Ÿ“ฆContainer Security
Publisher Correction: Liquidโ€“liquid interfacial tension stabilized Li-metal batteries
nature.comยท2d
๐Ÿ› ๏ธGreaseweazle
Flare joins Revolutโ€™s Learn And Earn To Onboard New DeFi Users
hackernoon.comยท1d
๐Ÿ”—Hash Chains
Understanding the Security Landscape of MCP
apideck.comยท4dยท
Discuss: Hacker News
๐Ÿ“ฆContainer Security
Engineered telomerase RNA and polygenic scores reveal new insights into telomere biology
phys.orgยท1d
๐ŸงฌCopy Number Variants
Network Time Protocol (NTP) Abuse for Enterprise Recon
infosecwriteups.comยท1d
๐ŸŽซKerberos Exploitation
Deep QSAR for Enhanced Drug Candidate Prioritization via Multi-Objective Optimization
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Vector Forensics
The 10 Ethical Risks of AI in Testing
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Concolic Testing
Robust Reinforcement Learning over Wireless Networks with Homomorphic State Representations
arxiv.orgยท3d
๐Ÿ“ปHomebrew Protocols
Microchip Technology Incorporated (MCHP) Presents at KeyBanc Technology Leadership Forum Conference Transcript
seekingalpha.comยท1d
๐Ÿ”PAKE Protocols
CATP: Contextually Adaptive Token Pruning for Efficient and Enhanced Multimodal In-Context Learning
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
SAEMark: Multi-bit LLM Watermarking with Inference-Time Scaling
arxiv.orgยท3d
โš™๏ธCompression Benchmarking
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.orgยท3d
๐ŸŒณContext free grammars
Exploring Causal Effect of Social Bias on Faithfulness Hallucinations in Large Language Models
arxiv.orgยท3d
๐Ÿ’ปProgramming languages
Automate AIOps with SageMaker Unified Studio Projects, Part 2: Technical implementation
aws.amazon.comยท3d
๐Ÿ”„Archival Workflows
Loading...Loading more...
AboutBlogChangelogRoadmap