alpaylan

6 ms·

1. 31.▲
   Are We Engineers?(hillelwayne.com)

   1 points by alpaylan 7mo ago|0 comments
2. 32.▲
   Specifiability Is the Leverage(alperenkeles.com)

   2 points by alpaylan 7mo ago|0 comments
3. 33.▲
   by alpaylan 7mo ago

   You cannot escape from the human verifying the properties you want verified mechanically. This only gives you leverage in specific scenarios where specification is much simpler than the implementation.
4. 34.▲
   Some Simple Economics of AGI(arxiv.org)

   5 points by alpaylan 7mo ago|0 comments
5. 35.▲
   by alpaylan 8mo ago

   I think the point I wanted to make was that even if it was deterministic (which you can technically make it to be I guess?) you still shouldn’t live in a world where you’re guided by the “guesses” that the model makes when solidifying you
6. 36.▲
   LLMs could be, but shouldn't be compilers(alperenkeles.com)

   133 points by alpaylan 8mo ago|151 comments
7. 37.▲
   by alpaylan 9mo ago

   The Maryland one (that would be me, although I haven’t really done anything except the WASM bindings, this is really all Joomy’s work, kudos to him) is vacationing in Izmir right now, why would that even be important though?
8. 38.▲
   by alpaylan 10mo ago

   I'll add some links for the original VGD paper and related articles, that should help in short term. Thank you! I'll look into writing something on VGD itself in the next few weeks.
9. 39.▲
   Test, don't just verify(alperenkeles.com)

   200 points by alpaylan 10mo ago|140 comments
10. 40.▲
    Does your code match your spec?(kiro.dev)

    2 points by alpaylan 11mo ago|0 comments
11. 41.▲
    A Claude Code Command for Hypothesis(hypothesis.works)

    2 points by alpaylan 11mo ago|0 comments
12. 42.▲
    Breaking Verifiable Abstractions(alperenkeles.com)

    2 points by alpaylan 1y ago|0 comments
13. 43.▲
    A Better Vocabulary for Testing(alperenkeles.com)

    3 points by alpaylan 1y ago|0 comments
14. 44.▲
    by alpaylan 1y ago

    Ahahah, it unfortunately was not, but that would’ve been a good twist I agree
15. 45.▲
    by alpaylan 2y ago

    Thanks a lot!
16. 46.▲
    by alpaylan 2y ago

    Hi everyone, I'm the author of the package. This is something I had in mind for a while, and the results of the prototype is promising, so I'll keep working on it. My hope is to merge the analysis I do into upstream jq once I&#x27
17. 47.▲
    by alpaylan 2y ago

    Hi, the current version is just a prototype, but it's definitely not a one-off demo, it's an analysis focused on a very small subset, and it works on that subset and produces the better error message I mention. The roadmap is in d
18. 48.▲
    by alpaylan 2y ago

    Just added the license, thanks for reminding me of it.
19. 49.▲
    Dotlr – An Educational LR Parser Generator and Visualizer(github.com)

    1 points by alpaylan 2y ago|0 comments
20. 50.▲
    by alpaylan 2y ago

    Thanks a lot! Hopefully it'll be more usable at some point. Lots of novelty leads to lots of very badly experimented UI
21. 51.▲
    Show HN: Tail – Structured Document Editor(tail.rocks)

    5 points by alpaylan 2y ago|2 comments
22. 52.▲
    by alpaylan 2y ago

    I wrote a static site generator for adding interactive elements to my blog and I want to keep extending it. The link is a short introductory article showcasing a few features I added. I would be happy to hear any thoughts or comments!
23. 53.▲
    A Cryptic Visual Language as a Puzzle(puzzle.alperenkeles.com)

    1 points by alpaylan 3y ago|1 comments
24. 54.▲
    by alpaylan 3y ago

    I just wrote a new programming puzzle! It's a cryptic visual language that represents some English written text. If anyone wants to take a crack at it, please check https://puzzle.alperenkeles.com !
25. 55.▲
    by alpaylan 3y ago

    Ah, sorry for misleading.
26. 56.▲
    CVDL: CV(Curriculum Vitae) Description Language(github.com)

    3 points by alpaylan 3y ago|3 comments
27. 57.▲
    Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals(alpkeles99.medium.com)

    3 points by alpaylan 3y ago|0 comments
28. 58.▲
    Extracting Signals: Playing the Inverse Waldo Game(alpkeles99.medium.com)

    3 points by alpaylan 3y ago|0 comments
29. 59.▲
    The Technical Pie (Yet-Another-Tech-Debt-Analogy)(alpkeles99.medium.com)

    1 points by alpaylan 3y ago|0 comments
30. 60.▲
    by alpaylan 5y ago

    I had a similar thought, actually started an open source project by myself at https://github.com/alpaylan/cvdl My view is to have it similar to html/css paradigm of web. I started working with TOML based schemas f