#programsynthesis

Ranjit Mathew

@rmathew4bs.bsky.social

3 weeks ago

Nice article, but the all-lowercase titling is so jarring:

“Six Thoughts On Generating C”, Andy Wingo (wingolog.org/archives/202...).

Via HN: news.ycombinator.com/item?id=4694...

On Lobsters: lobste.rs/s/j8jnqq/six...

#Programming #C #PLDI #Compilers #CodeGeneration #ProgramSynthesis

GetNews.me

@getnews-me.bsky.social

5 months ago

Algorithm Generates Branching Polynomial Loops via Algebraic Geometry

A new algorithm can automatically synthesize loops with branching polynomial updates using algebraic geometry and an SMT solver. Reported in September 2025. Read more: getnews.me/algorithm-generates-bran... #programsynthesis #algebraicgeometry

Pure Tech

@puretech.news

5 months ago

The Role of Mutation Path Algorithms in Tree-Diffusion Program Synthesis Table of Links Abstract and 1. Introduction Background & Related Work Method 3.1 Sampling Small Mutations 3.2 Policy 3.3 Value Network & Search 3.4 Architecture Experiments 4.1 Environments 4.2 Baselines...

The Role of Mutation Path Algorithms in Tree-Diffusion Program Synthesis #Technology #SoftwareEngineering #Other #ProgramSynthesis #Algorithms #MutationPath

Julien Pourcel

@jul-p.bsky.social

8 months ago

🤗 This project wouldn't have been possible without my incredible co-author team, @ccolas.bsky.social & @pyoudeyer.bsky.social
#LLM #AI #ProgramSynthesis #ICML2025

GPEM journal

@gpem.bsky.social

1 year ago

Review: “Computational evolution of neural and morphological development”, Yaochu Jin, ISBN 978-981-99-1853-9, Springer, 2023 - Genetic Programming and Evolvable Machines Genetic Programming and Evolvable Machines -

New book review!

“Computational evolution of neural and morphological development”, Yaochu Jin, reviewed by Renske Vroomans.

link.springer.com/article/10.1...

No paywall.

#geneticprogramming #programsynthesis #alife

GPEM journal

@gpem.bsky.social

1 year ago

Genetic Programming and Evolvable Machines | Volume 25, issue 2 Volume 25, issue 2 articles listing for Genetic Programming and Evolvable Machines

New issue just announced, including several items with open access:
link.springer.com/journal/1071...

#geneticprogramming
#programsynthesis

GPEM journal

@gpem.bsky.social

1 year ago

Genetic Programming and Evolvable Machines | Volume 25, issue 2 Volume 25, issue 2 articles listing for Genetic Programming and Evolvable Machines

New issue just announced, including several items with open access:

link.springer.com/journal/1071...

#geneticprogramming
#programsynthesis

Jason Moore

@moorejh.bsky.social

1 year ago

A Comparison of Large Language Models and Genetic Programming for Program Synthesis Large language models have recently become known for their ability to generate computer programs, especially through tools such as GitHub Copilot, a domain where genetic programming has been very succ...

A Comparison of Large Language Models and Genetic Programming for Program Synthesis ieeexplore.ieee.org/document/105... #LLMs #geneticprogramming #programsynthesis