Feeds to Scour
SubscribedAll
Scoured 27385 posts in 20.8 ms
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  ⚖️Verification Calculi
arxiv.org·5d
Ubuntu is Going Big on AI (But Not The Copilot Kind You Dread)  📟CLI Design
itsfoss.com·20h
Ubuntu Plans Gradual AI Features Built Around Local Inference  🤖AI Curation
linuxiac.com·1d
Ubuntu's AI roadmap revealed, universal AI 'kill switch' and forced AI integration are not part of the plan — cloud tracking, local inference, and agentic system tools take center stage  🔌Operating system internals
tomshardware.com
·15h
A chemistry lab that runs itself to find the perfect reaction  🌈Spectroscopy
nature.com
·1d·Hacker News
Biocomputing Explained: DNA Storage vs Brain Organoids  🖥️Terminal Renaissance
hackernoon.com·6d
A Vital Unconscious  📐Mathematical Art
nybooks.com·5d
Peptide synthesis could stop global potato pathogen once linked to Ireland's Great Famine  🦀Rust Macros
phys.org·6d
Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers  🎯Proof Tactics
arxiv.org·1d
Positional Properties in Temporal Logic  ⏰Temporal Logic
arxiv.org·2h
On the Limits of Self-Improving in Large Language Models: The Singularity Is Not Near Without Symbolic Model Synthesis  🧮Kolmogorov Complexity
arxiv.org·13h·Lobsters
Toward Scalable Terminal Task Synthesis via Skill Graphs  🗺️Competency Maps
arxiv.org·2h
LegalDrill: Diagnosis-Driven Synthesis for Legal Reasoning in Small Language Models  🔨Compilers
arxiv.org·1d
MotionBricks: Scalable Real-Time Motions with Modular Latent Generative Model and Smart Primitives  🎬WebCodecs
arxiv.org·2h
PortraVec: Image-Based Portrait Vectorization with Text-Guided Manipulation  ⟷Bidirectional Programming
arxiv.org·2h
AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking  ⚡Incremental Computation
arxiv.org·1d
The Thinking Pixel: Recursive Sparse Reasoning in Multimodal Diffusion Latents  📊Learned Metrics
arxiv.org·2h
VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis  🧩RISC-V
arxiv.org·2h
Zero-to-CAD: Agentic Synthesis of Interpretable CAD Programs at Million-Scale Without Real Data  ⚡Z3 Optimization
arxiv.org·1d
Reconfiguring flexibility in renewable power-to-ammonia systems using molten-salt thermal energy storage in the ammonia synthesis loop: A coordinated electro-hydrogen-thermal scheduling approach  🧮Algorithmic Cooking
arxiv.org·2h

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