Type Theory, Lambda Calculus, Semantics, Compiler Design

Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·18h·
Discuss: r/programming
🔍Static Analysis
Flag this post
GHC Developer Blog: GHC 9.14.1-rc2 is now available
haskell.org·3d
🐫Ocaml
Flag this post
Why TypeScript Won't Save You
cekrem.github.io·19h·
🔍Static Analysis
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·11h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Essential Chunking Techniques for Building Better LLM Applications
machinelearningmastery.com·17h
🔍Static Analysis
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·2d
🔍Static Analysis
Flag this post
essential spectrum
ncatlab.org·2d
🪜Scala
Flag this post
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat
arxiv.org·23h
📐formal specification
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·2d
🦀Rust
Flag this post
Embedding TypeScript
andrews.substack.com·17h·
🪜Scala
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·2d
🔍Static Analysis
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·1d
🪜Scala
Flag this post
Pint: Python library that makes units easy
github.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·1d
🪜Scala
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·23h
📐formal specification
Flag this post
Cj: a tiny no-deps JIT in C for x86-64 and ARM64
reddit.com·1d·
Discuss: r/programming
🔍Static Analysis
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·2d
📐formal specification
Flag this post
A Guide to the Best Java Machine Learning Libraries
dev.to·17h·
Discuss: DEV
🔍Static Analysis
Flag this post
Building Custom Components in Langflow 🛠️
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post