miniblog.

← Back to all posts
Feb 10, 2018 at 11:43
Component-Based Synthesis for Complex APIs: https://www.cs.utexas.edu/~isil/sypet-popl17.pdf An incredible paper demonstrating synthesis of significantly sized pieces of Java code! You write a test case, and SyPet writes the code.
PhotoPhoto

Related Posts

Apr 2, 2026 at 09:10
1
LLMs have been really helpful for me porting some JS projects to TS. Since the types are erased and annotations are optional, I can go gradually and safely with more minimal human oversight. (I'm not sure if it'll significantly help robustness, but it's lovely for navigation.)
Dec 14, 2022 at 02:48
Apple is going to significantly open up iPhones, including allowing third party app stores!
Apple to Allow Outside App Stores in Overhaul Spurred by EU Laws
Apple to Allow Outside App Stores in Overhaul Spurred by EU Laws
Apple Inc. is preparing to allow alternative app stores on its iPhones and iPads, part of a sweeping overhaul aimed at complying with strict European Union requirements coming in 2024.
Nov 21, 2022 at 05:59
Rust macro errors are significantly improving:
Photo
Show note where the macro failed to match by Noratrieb · Pull Request #103439 · rust-lang/rust
Show note where the macro failed to match by Noratrieb · Pull Request #103439 · rust-lang/rust
When feeding the wrong tokens, it used to fail with a very generic error that wasn't very helpful. This change tries to help by noting where specifically the matching went wrong. macro_rules! u...