GPEM Journal<p>New book review! </p><p>“Computational evolution of neural and morphological development”, Yaochu Jin, reviewed by Renske Vroomans.</p><p><a href="https://link.springer.com/article/10.1007/s10710-024-09499-x" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/article/10.1</span><span class="invisible">007/s10710-024-09499-x</span></a></p><p>No paywall.</p><p><a href="https://sigmoid.social/tags/geneticprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>geneticprogramming</span></a> <a href="https://sigmoid.social/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programsynthesis</span></a> <a href="https://sigmoid.social/tags/alife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>alife</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.
Administered by:
Server stats:
9.6Kactive users
mastodon.world: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#programsynthesis
0 posts · 0 participants · 0 posts today
GPEM Journal<p>New issue just announced, including several items with open access:</p><p><a href="https://link.springer.com/journal/10710/volumes-and-issues/25-2" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/journal/1071</span><span class="invisible">0/volumes-and-issues/25-2</span></a></p><p><a href="https://sigmoid.social/tags/geneticprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>geneticprogramming</span></a> <br><a href="https://sigmoid.social/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programsynthesis</span></a></p>
Jason H. Moore, Ph.D.<p>A Comparison of Large Language Models and Genetic Programming for Program Synthesis <a href="https://ieeexplore.ieee.org/document/10551744" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ieeexplore.ieee.org/document/1</span><span class="invisible">0551744</span></a> <a href="https://mastodon.online/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mastodon.online/tags/geneticprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>geneticprogramming</span></a> <a href="https://mastodon.online/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programsynthesis</span></a></p>
chris martens<p>(actually i’m really curious what <a href="https://hci.social/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programsynthesis</span></a> people’s favorite venues to publish at are — i feel like i see papers on it across all the PL confs, but idk which ones are most receptive to work that isn’t really doing “PL” innovation, rather improving synthesis methods or demonstrating & extending their use for novel applications)</p>
chris martens<p>not that the world really needs more computer science conferences, but i keep wondering if there’s appetite for one focused on procedural generation/generative computation, i.e. the union of PCG, generative art, program synthesis, &c.</p><p>mostly, it would really help to have a name for this field that people don’t mistake for consisting entirely of text2image statistical models</p><p><a href="https://hci.social/tags/generativeArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generativeArt</span></a> <a href="https://hci.social/tags/genartclub" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>genartclub</span></a> <a href="https://hci.social/tags/generativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generativeAI</span></a> <a href="https://hci.social/tags/procgen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>procgen</span></a> <a href="https://hci.social/tags/proceduralcontentgeneration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proceduralcontentgeneration</span></a> <a href="https://hci.social/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programsynthesis</span></a> <a href="https://hci.social/tags/logicprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logicprogramming</span></a></p>
dae houlihan<p>RT @ZennaTavares@twitter.com</p><p>Introducing AutumnSynth, a step toward automating scientific discovery through program synthesis.</p><p>AutumnSynth synthesizes the source code of a video game from seconds of play. </p><p>paper: <a href="https://basis.ai/publications/autumn_popl23.pdf" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">basis.ai/publications/autumn_p</span><span class="invisible">opl23.pdf</span></a> </p><p>Blog: <a href="https://basis.ai/blog/autumn/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">basis.ai/blog/autumn/</span><span class="invisible"></span></a></p><p>Why do this? How does it work?<br>🦃🧵 <a href="https://twitter.com/ZennaTavares/status/1620855534483296256" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">twitter.com/ZennaTavares/statu</span><span class="invisible">s/1620855534483296256</span></a></p><p><a href="https://mastodon.online/tags/cogsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cogsci</span></a> <span class="h-card"><a href="https://a.gup.pe/u/cogsci" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>cogsci</span></a></span> <a href="https://mastodon.online/tags/compcogsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compcogsci</span></a> <a href="https://mastodon.online/tags/programinduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programinduction</span></a> <a href="https://mastodon.online/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programsynthesis</span></a></p>
jmmcd<p><a href="https://mastodon.social/tags/ChatGPT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ChatGPT</span></a>, <a href="https://mastodon.social/tags/Codex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Codex</span></a>, and similar models can do program synthesis. I think we in the <a href="https://mastodon.social/tags/GeneticProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GeneticProgramming</span></a> community aren't quite admitting this to ourselves! If a GP system could do one-tenth of the <a href="https://mastodon.social/tags/ProgramSynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramSynthesis</span></a> ChatGPT can do, it would win a best paper award at <a href="https://mastodon.social/tags/GECCO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GECCO</span></a>, <a href="https://mastodon.social/tags/EuroGP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EuroGP</span></a>, or <a href="https://mastodon.social/tags/GPTP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GPTP</span></a>. Should we just give up?</p>
Ben Zorn (he, him)<p>Here's my <a href="https://mastodon.social/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a>. I'm a researcher with a background in <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> and more recently I've been interested in <a href="https://mastodon.social/tags/spreadsheets" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>spreadsheets</span></a> and using <a href="https://mastodon.social/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtificialIntelligence</span></a> to generate programs (<a href="https://mastodon.social/tags/ProgramSynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramSynthesis</span></a>). I work at <a href="https://mastodon.social/tags/MicrosoftResearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MicrosoftResearch</span></a>. In my spare time I enjoy <a href="https://mastodon.social/tags/travelling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>travelling</span></a>, <a href="https://mastodon.social/tags/hiking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hiking</span></a>, <a href="https://mastodon.social/tags/photography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>photography</span></a>, <a href="https://mastodon.social/tags/birds" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>birds</span></a>, and listen to podcasts like <a href="https://mastodon.social/tags/NoSuchThingAsAFish" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NoSuchThingAsAFish</span></a>.</p>
Ben Zorn (he, him)<p>I’ve only been on Mastodon for less than a week but I’m really happy to be a part of and contribute to the vision of the creators. I’m just getting started so I welcome suggestions for people to follow related to <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a>, <a href="https://mastodon.social/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>artificialintelligence</span></a>, <a href="https://mastodon.social/tags/deeplearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>deeplearning</span></a>, <a href="https://mastodon.social/tags/largelanguagemodels" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>largelanguagemodels</span></a>, <a href="https://mastodon.social/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programsynthesis</span></a>, <a href="https://mastodon.social/tags/spreadsheets" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>spreadsheets</span></a>, <a href="https://mastodon.social/tags/responsibleai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>responsibleai</span></a>, <a href="https://mastodon.social/tags/birdphotography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>birdphotography</span></a>, <a href="https://mastodon.social/tags/birding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>birding</span></a>, <a href="https://mastodon.social/tags/computingresearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computingresearch</span></a>.</p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload