Program synthesis of a spec with optional manual implementation for parts of the program
9 comments · ask, formalmethods, plt
- Comments9
–Rank now
#4Peak rank
1Days on list
–Score · 7d
Oct 31, 2026First seen
On Lobsters
This weekend, I've been reading a bunch of Alan Kay articles that make me utterly disappointed at the current state of computing since software is being built like "an Egyptian pyramid" :P The Viewpoints Research website [provides the original inspiration for my question](http://www.vpri.org/work/ifnct.htm): > Another key idea here is to separate meaning from tactics. E.g. the meaning of sorting is much simpler and more compact than the dozens of most useful sorting algorithms, each one of…
askformalmethodsplt
- Score
- 11
- Comments
- 9
- Submitted by
- nc
- Tags
- ask, formalmethods, plt
Story details from Lobsters ↗.
Trending history
Program synthesis of a spec with optional manual implementation for parts of the program was first seen on Lobsters · Hottest on Oct 31, 2026. Since then it has appeared in 1 check on 1 different day. Its best position was #4 of 25, reached on Oct 31, 01:51 UTC. It dropped off the list after Oct 31, 01:51 UTC.
Rank history
Position on Lobsters · Hottest at every check (lower is better).
Last 14 days
Best rank per day (UTC).
4
Oct 26today
From the discussion
A few top-level comments from Lobsters, shortened. Read the full thread on Lobsters.
Hi, I work in a program synthesis group at MIT. My lab created Synquid (already mentioned), as well as Sketch, CEGIS, parts of FlashFill, and many others. Here's a good overview of synthesis: https://www.dropbox.com/s/adqlu03rrg0cuf0/program_synthesis_now.pdf?dl=0 I'm not sure that overview mentions it, but the first…
Here are some tools for Haskell which go in this direction: http://hackage.haskell.org/package/QuickCheck http://hackage.haskell.org/package/quickspec http://hackage.haskell.org/package/fitspec http://hackage.haskell.org/package/djinn
Since you mentioned sorting algorithms: https://www.csail.mit.edu/research/synquid-synthesis-liquid-types. Program synthesis has been around for a while but it seems like only in the last decade or so that things are getting to the point where such techniques might become usable in day to day work. The bottleneck I…
Featured in
Archived daily, weekly and monthly lists that include this entry.
Lobsters 1 day, best #4
Questions
Is Program synthesis of a spec with optional manual implementation for parts of the program trending on Lobsters right now?
Not at the moment. It was last on the list on Oct 31, 01:51 UTC, after 1 day of trending.
What is the highest rank Program synthesis of a spec with optional manual implementation for parts of the program reached?
#4 on Lobsters · Hottest, on Oct 31, 01:51 UTC. Trendoday checks this list every 30 minutes.
How long has Program synthesis of a spec with optional manual implementation for parts of the program been trending?
It was first seen on Oct 31, 2026 and has been on the list on 1 day (1 check) since.