🐫 OCaml - tiferrei · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🎯Hindley-Milner

arxiv.org·6d

How to build an Agent 🔧ppx

ampcode.com·16h·Hacker News

google-research/dex-lang: Research language for array processing in the Haskell/ML family 📦Module Systems

github.com·1d·Hacker News

A Retrospective of Richard Ngo's 2022 List of Conceptual Alignment Projects 📄ICFP

lesswrong.com·14h

Building a Z-Machine in the worst possible language 🧮Z3

whitebeard.blog·2d·Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 📝Nix Language

jointhefreeworld.org·4d·Lobsters, Hacker News

The Roc Programming Language 🔬Static Analysis

roc-lang.org·6d·Hacker News

MoonBit 0.9: Introducing First-Class Formal Verification 🛡️seL4

moonbitlang.com·6d·Lobsters

Soppo: Golang, with the features it's missing 📦Module Systems

soppolang.dev·3d·Hacker News

An Introduction to the McNair-Feldman Device 🔧Microcontrollers

strandfall.com·4d·Hacker News

Show HN: Staccato – Generate multi-track MIDI from text prompts [video] 🧠Apple Neural Engine

youtube.com·6d·Hacker News

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation 🔍Formal Verification

arxiv.org·1d

Show HN: [PKG47] AI-Controlled Package Registry 🐳Containerization

pkg47.com·5d·Hacker News

Git From: Git Repositories as a Module System ❄️NixOS

alnewkirk.com·4d·Lobsters

MATCHA: Efficient Deployment of Deep Neural Networks on Multi-Accelerator Heterogeneous Edge SoCs 🧠Apple Neural Engine

arxiv.org·1d

Natural Riemannian gradient for learning functional tensor networks 📐Linear Algebra

arxiv.org·1d

On the Spectral Geometry of Cross-Modal Representations: A Functional Map Diagnostic for Multimodal Alignment 📐Linear Algebra

arxiv.org·1d

Soppo language: Go, with the features it's missing 🐫Embedded OCaml

soppolang.dev·4d·Hacker News

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering ⚙Operational Semantics

arxiv.org·6d

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations 🔍Formal Verification

arxiv.org·5d

Loading more...