Refinement Types, SMT Integration, Dependent Haskell, Contract Programming
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.org·2d
FinDPO: Financial Sentiment Analysis for Algorithmic Trading through Preference Optimization of LLMs
arxiv.org·2d
Ramírez’s Decade With Org Mode
irreal.org·15h
Build an intelligent eDiscovery solution using Amazon Bedrock Agents
aws.amazon.com·1d
Loading...Loading more...