λ Functional Programming - dimianstudio · Scour

intersection type in nLab

ncatlab.org·2d

Nice TCR processing libraries | Oxford Protein Informatics Group

blopig.com·20h

Tuesday 17 February 2026 | IML

informatics.ed.ac.uk·1d

A high-performance Go framework (250k+ req/sec) with built-in batteries

go-kvolt.github.io·2d

💻Software development

PromptもFine-tuningも不要なLLM出力言語の制御手法｜はち

note.com·3h

Show HN: 0x – A language that compiles to React, Vue, and Svelte (80% less code)

0xlang.com·2d·

Discuss: Hacker News

💻Software development

Lessons from Zig

vinniefalco.com·12h·

Discuss: Hacker News

💻Software development

Autonomous Deepmind AI Generates Publishable Math Papers – Next Accelerate Science Research

nextbigfuture.com·7h

Vulnerabilities in 45 Open Source Projects (vLLM, Langfuse, Phase, NocoDB)

kolega.dev·23h·

Discuss: Hacker News

💻Software development

Regime-Declared Mathematics as Survivor Sets

zboralski.github.io·2d·

Discuss: Hacker News

Wrapping trait implems in an enum kept appearing in code base so I blogged about it. Are there other such useful patterns that are not much advertised?

asfaload.com·3d·

Discuss: r/rust

Can AI Code for Vintage?

sparcie.wordpress.com·1d

Why am I learning Clojure Script?

clojure-diary.gitlab.io·1d

mradermacher/Qwen3-Coder-Next-REAM-GGUF

huggingface.co·4h·

Discuss: r/LocalLLaMA

Rust Data Structures You’ll Actually Use (With Runnable Code Examples)

manjushaps.github.io·3d·

Discuss: DEV

Beyond Kuramoto Models: Associative Memory and Plastic Synapses in ML Ensembles

hackernoon.com·22h

Formal Verification Fundamentals Remain Non-Negotiable In The New Verification Revolution

semiengineering.com·5h

💻Software development

Functional Optics for Modern Java

blog.scottlogic.com·3d

The Solution to Prompt Injection: Mapping SSL/TLS Trust Architecture onto LLMs [pdf]

solvingpromptinjection.com·11h·

Discuss: Hacker News

RAGtime-PIANO: Efficient Secure Remote RAG

eprint.iacr.org·17h

Loading more...