Mastering Concurrency in Go: Goroutines, Channels, and Patterns
djamware.com·3h·
Discuss: DEV
🔧programming language design
Flag this post
There is no truthy or falsy in Rust
joschuba.com·18h
🔧programming language design
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🔧programming language design
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·3h·
Discuss: r/C_Programming
🦀Borrow Checker
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·10h
🔧programming language design
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·2d·
Discuss: Hacker News
🔧programming language design
Flag this post
📢 New Series: Neuro-Symbolic Wednesday
dev.to·6h·
Discuss: DEV
🕸semantic web
Flag this post
Issue 496
haskellweekly.news·6d
🔧programming language design
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·10h
🔧programming language design
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·1d·
Discuss: Substack
🔧programming language design
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
reddit.com·1d·
Discuss: r/ClaudeAI
🧮Algebraic Effects
Flag this post
Entropy in algorithm analysis
11011110.github.io·3d
🔧programming language design
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·10h
🦀Borrow Checker
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
reddit.com·16h·
Discuss: r/compsci
🔧programming language design
Flag this post
Functional Ruby Programming with Trailblazer
dev.to·2d·
Discuss: DEV
🔧programming language design
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·2d·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
Computer Science Fundamentals: From Binary Systems to Algorithms
dev.to·23h·
Discuss: DEV
🔧programming language design
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·10h
🕸semantic web
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·1d
🔧programming language design
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·21h·
Discuss: Hacker News
🦀Borrow Checker
Flag this post