OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.com·8h·
Discuss: Hacker News
🦀Rust Macros
Why Dyad?: A Perspective for Modelica Users
juliahub.com·12h·
Discuss: Hacker News
💧Liquid Types
What Is Wrong with Statement Coverage
bullseye.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
BNFGen: A random text generator based on context-free grammars
baturin.org·9h·
Discuss: Hacker News
🌳Context free grammars
Is this the Go way, or am I writing cursed code on purpose?
reddit.com·1d·
Discuss: r/golang
🔧KAITAI
Counter Service: How we rewrote it in Rust
engineering.grab.com·3d·
Discuss: Hacker News
🔒Linear Types
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
Rust: A language that grows with you, your career and your projects
kerkour.com·20h·
Discuss: Hacker News
🦀Rust Macros
How to (Almost) solve cybersecurity once and for all
adaptive.live·1d·
Discuss: Hacker News
🔐Systems Hardening
Treasure Case Sharing of HarmonyOS 5 Development — Practical Tips for Application Architecture
dev.to·4h·
Discuss: DEV
🔌Interface Evolution
I Built an AI Copilot for Pentesting—Then Turned It Off
hackernoon.com·20h
📏Code Metrics
Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.com·8h·
Discuss: Hacker News
👑Isabelle
Improving Compiler Bug Isolation by Leveraging Large Language Models
arxiv.org·1d
🔓Decompilation
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
C compiler for Web Assembly (c4wa)
github.com·1d·
Discuss: Hacker News
🌐WASI
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·38m·
Discuss: DEV
🌊Stream Processing
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·1d·
Discuss: Hacker News
📦Container Security
🦀 Understanding Lifetimes, Traits, Enums, and Pattern Matching in Rust
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Do AI Code Review Tools Work, or Just Pretend?
redmonk.com·9h·
Discuss: Hacker News
📏Code Metrics
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·2h·
Discuss: DEV
λLambda Encodings