Feeds to Scour
SubscribedAll
Scoured 7183 posts in 14.3 ms
RAG-Enhanced Kernel-Based Heuristic Synthesis (RKHS): A Structured Methodology Using Large Language Models for Hardware Design  🪄Prompt Engineering
arxiv.org·18h
On Lisp: A review of Paul Graham's 1993 book  🪄Prompt Engineering
alexvear.com·3d·Hacker News
When Prompt Under-Specification Improves Code Correctness: An Exploratory Study of Prompt Wording and Structure Effects on LLM-Based Code Generation  🪄Prompt Engineering
arxiv.org·2d
Spinel: Ruby AOT Native Compiler  ✏️Code Editors
github.com·6d·Lobsters, Hacker News
An Empirical Study of Speculative Decoding on Software Engineering Tasks  🪄Prompt Engineering
arxiv.org·18h
Anchor – Lisp→C compiler, no GC, hygienic macros, Chez Scheme at compile time  ✏️Code Editors
github.com·3d·Hacker News
MEMCoder: Multi-dimensional Evolving Memory for Private-Library-Oriented Code Generation  🪄Prompt Engineering
arxiv.org·2d
FlowBot: Inducing LLM Workflows with Bilevel Optimization and Textual Gradients  ✨LLMs
arxiv.org·18h
VulStyle: A Multi-Modal Pre-Training for Code Stylometry-Augmented Vulnerability Detection  💉Prompt Injection
arxiv.org·18h
poinsettiaclg-gif/AETHER-core: The open-source core compiler for the AETHER Agent Reliability Framework. Replaces fuzzy prompts with strict Weighted Intent Token (WIT) vectors to prevent Context Rot.  🔧Agent Tooling
github.com·3d·Hacker News
CoRE: A Fine-Grained Code Reasoning Benchmark Beyond Output Prediction  ✏️Code Editors
arxiv.org·1d
Benchmarking Complex Multimodal Document Processing Pipelines: A Unified Evaluation Framework for Enterprise AI  🖼️Multimodal AI
arxiv.org·18h
Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers  ✅Formal Verification
arxiv.org·1d
Structural Generalization on SLOG without Hand-Written Rules  ✨LLMs
arxiv.org·18h
The Structured Output Benchmark: A Multi-Source Benchmark for Evaluating Structured Output Quality in Large Language Models  🤖LLM
arxiv.org·1d
COPUS: Co-adaptive Parallelism and Batch Size Selection in Large Language Model Training  🤖LLM
arxiv.org·18h
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean  ✅Formal Verification
arxiv.org·2d
SAFEdit: Does Multi-Agent Decomposition Resolve the Reliability Challenges of Instructed Code Editing?  👨‍💻AI Coding
arxiv.org·1d
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving  ✅Formal Verification
arxiv.org·2d
Defective Task Descriptions in LLM-Based Code Generation: Detection and Analysis  🪄Prompt Engineering
arxiv.org·2d

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