A Short Survey of Compiler Backends
🪜Scala
Flag this post
Pain Points of OCaml
🐫Ocaml
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🔍Static Analysis
Flag this post
Tuesday 18 November 2025
informatics.ed.ac.uk·3h
🐫Ocaml
Flag this post
A QOJ week
🔄Concurrency Models
Flag this post
Coding on Paper
🔍Static Analysis
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·1d
🔍Static Analysis
Flag this post
Ruby and Its Neighbors: Smalltalk
🪜Scala
Flag this post
BengaliMoralBench: A Benchmark for Auditing Moral Reasoning in Large Language Models within Bengali Language and Culture
arxiv.org·10h
🔍Static Analysis
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
🔍Static Analysis
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·10h
🐫Ocaml
Flag this post
How Large Language Models Learn to Reason: The Ultimate 2025 Guide with Real-World Examples and…
pub.towardsai.net·18h
📐formal specification
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
🔍Static Analysis
Flag this post
Large Language Models as Information Sources: Distinctive Characteristics and Types of Low-Quality Information
arxiv.org·10h
🐫Ocaml
Flag this post
r/mathematics
🐫Ocaml
Flag this post
Towards Transparent Stance Detection: A Zero-Shot Approach Using Implicit and Explicit Interpretability
arxiv.org·10h
🤖AI
Flag this post
Loading...Loading more...