Feeds to Scour
SubscribedAll
Scoured 31222 posts in 58.2 ms
The Lobster Programming Language  💻Programming languages
strlen.com·6d
On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications  📐TLA+
proofsandintuitions.net·2d·Lobsters, Hacker News
Prompt Optimization for LLM Code Generation via Reinforcement Learning  🪄Prompt Engineering
arxiv.org·18h
cecetype: a schema + dynamic value layer for serde, derive and use schemas to ser-de values as if you had the original types  🔄Serde
github.com·1d·r/rust
What we learned copying all the best code assistants  🪄Prompt Engineering
blog.val.town·4d
Deterministic vs. Probabilistic Code Generation  🎮Deterministic Simulation
thetechenabler.substack.com·1d·Substack
We are reaching the structural limits of probabilistic code generation  📐TLA+
logicalintelligence.com·2d·r/SoftwareEngineering, r/artificial
CriterAlign: Criterion-Centric Rationale Alignment for Code Preference Judging  ✏️Code Editors
arxiv.org·18h
Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection  ⚙️Language Runtimes
arxiv.org·18h
Meta-Theorems for Cuttable Distributed Problems  🌐Distributed systems
arxiv.org·18h
Source-to-Source Transformations for GPU Code Generation  ⚡Hardware Acceleration
arxiv.org·5d
AutoVecCoder: Teaching LLMs to Generate Explicitly Vectorized Code  ⚡Vectorized Execution
arxiv.org·1d
Soft Covering Through the Lens of Hypothesis Testing  🧠LLM Inference
arxiv.org·18h
Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support  🔐MVCC
arxiv.org·2d
AI Harness Engineering: A Runtime Substrate for Foundation-Model Software Agents  💻Coding Agents
arxiv.org·6d
Beyond Execution: Static-Analysis Rewards and Hint-Conditioned Diffusion RL for Code Generation  💻Programming languages
arxiv.org·1d
Syntax Without Semantics: Teaching Large Language Models to Code in an Unseen Language  💻Programming languages
arxiv.org·2d
UIBenchKit: A unified toolkit for design-to-code model evaluation  ✏️Code Editors
arxiv.org·6d
Task Abstention for Large Language Models in Code Generation  🪄Prompt Engineering
arxiv.org·1d
A Hierarchical Language Model with Predictable Scaling Laws and Provable Benefits of Reasoning  🧠LLM Inference
arxiv.org·6d

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help