⚡ functional programming - abnv · Scour

Persistent Human Feedback, LLMs, and Static Analyzers for Secure Code Generation and Vulnerability Detection

arxiv.org·1d

🛡️Security Type Systems

From Separate Compilation to Sound Language Composition

arxiv.org·3d

🧪Minicompilers

Multimodal Visual Understanding in Swift (aka: "why is this still so hard on-device?")

dev.to·1d·

Discuss: DEV

🔍Lens Libraries

Implementing Automated Rules-Based Evaluations for LLM Applications

dev.to·2d·

Discuss: DEV

💬Interactive REPLs

Implementing the Temporal proposal in JavaScriptCore

blogs.igalia.com·4d·

Discuss: Lobsters

🌐Browser Compilers

alexandrefrancois.org·4d

🌊Gradual Effects

RFC 6902: JavaScript Object Notation (JSON) Patch

datatracker.ietf.org·4d·

Discuss: r/gamedev

📡Network Serialization

Python 3.14.3 and 3.13.12 are now available!

pythoninsider.blogspot.com·3d·

Discuss: Blogger

⚡Incremental Parsing

Confused about Go's escape analysis for dynamically-sized values, my test shows they don't escape

go.dev·4d·

Discuss: r/golang

🗑️Stack Scanning GC

**Abstract:** This paper introduces a novel framework, Hyperdimensional Semantic Alignment (HSA), for improving the accuracy and nuance of legal translation,...

freederia.com·2d

🌉Cross-Language AST

**Abstract:** This paper proposes a novel approach to Neural Machine Translation (NMT) specifically targeting the intricacies of translating ancient texts, n...

freederia.com·2d

STIP: Efficient and Secure Non-Interactive Transformer Inference via Compact Packing

eprint.iacr.org·4d

🗺️Region Inference

Why Go is not my favourite language

blog.habets.se·5d·

Discuss: Hacker News

🤖Embedded Go

Shifting Light, Unchanging Haystacks -- Fatbobman's Swift Weekly #121

fatbobman.com·5d

🌈Gradual Languages

Launch HN: Modelence (YC S25) – App Builder with TypeScript

news.ycombinator.com·4d·

Discuss: Hacker News

100 AI Agents, 1,500 Parallel Tool Calls: How Kimi K2.5’s PARL Framework Delivers 4.5x Speedup

pub.towardsai.net

·3d

🎭Program Synthesis

princezuda/safeclaw: Safeclaw is the alternative to openclaw.. You can naturally chat with it via text and voice, yet there is no language model., it picks up on intent and semantics. No prompt injection while you get over ninety percent of what openclaw does plus tts and voice to text

github.com·3d·

Discuss: r/selfhosted

🔐Capability Calculus

As Rocks May Think

evjang.com·3d·

Discuss: Hacker News, r/programming

🗺️Region Inference

meth: A Python library to parse and evaluate mathematical equations.

github.com·4d

OpenAI Begins Article Series on Codex CLI Internals

infoq.com·4d

💬Interactive REPLs

Loading more...