Sign in

Alperen Keleş

@keles.bsky.social
373 followers 91 following 30 posts

METU CENG 21' PhD Student at UMD Programming Languages/Formal Verification/Random Testing Writing at alpkeles99.medium.com Twitter: @keleesssss

PostsRepliesMedia
Reposted by Alperen Keleş
Sedat Kapanoğlu @ssg.dev · 17/01/2026
fantastic project. i always wanted to explore turkish grammar in programming because it’s so suitable for fluent constructs. glad to see others thinking the same.
github.com
GitHub - kip-dili/kip: A programming language based on grammatical cases of Turkish.
A programming language based on grammatical cases of Turkish. - kip-dili/kip
2176
Alperen Keleş @keles.bsky.social · 11/09/2025
Finally updated the interface for my puzzle! puzzle.alperenkeles.com/leaderboard
puzzle.alperenkeles.com
Kelesce - Puzzle Challenge
A sophisticated coding puzzle challenge. Decode mysterious symbols and test your programming skills.
020
Alperen Keleş @keles.bsky.social · 01/09/2025
Breaking Verifiable Abstractions and going beyond prompting👇🏻 alperenkeles.com/posts/verifi...
alperenkeles.com
Breaking Verifiable Abstractions
010
Alperen Keleş @keles.bsky.social · 16/08/2025
I wrote about a topic that I wanted to do for a very long time. Here's A Better Vocabulary for Testing. alperenkeles.com/posts/vocab-...
alperenkeles.com
A Better Vocabulary for Testing
000
Reposted by Alperen Keleş
BOB Konferenz @bobkonf.de · 15/05/2025
#BOBkonf2025 talk "Property-Based Testing: The Past, The Present, and The Future" by @keles.bsky.social is up on our website! bobkonf.de/2025/keles.h...
032
Alperen Keleş @keles.bsky.social · 10/03/2025
I've written some of my thoughts on the capabilities and limits of LLMs for Programming. Verifiability is the Limit | alperenkeles.com/posts/verifi...
alperenkeles.com
Verifiability is the Limit
050
Alperen Keleş @keles.bsky.social · 04/12/2024
Does anyone have any articles on pretty printing in Rust? `pretty` crate is surprisingly under-documented.
000
Alperen Keleş @keles.bsky.social · 01/12/2024
Tip Sistemleri Hakkında 👇🏻 alperenkeles.com/posts/tip-si...
alperenkeles.com
Tip Sistemleri Hakkında
030
Alperen Keleş @keles.bsky.social · 01/12/2024
Tip sistemleri hakkında 15 sayfalık Türkçe bir mini-makale yazdım, okuyup yorum yapmak isteyen var mıdır acaba? Araştırabildiğim kadarıyla yayınlanırsa şu zamana kadar yazılmış Türkçe en kapsamlı kaynak olacak, güzelce detaylandırabilmek istiyorum.
161
Reposted by Alperen Keleş
Volkan Özçelik @volkan.io · 25/11/2024
Alperen (alperenkeles.com) is speaking at next month’s DC Systems about what’s out there for Property-Based Testing, and more importantly, what isn’t there yet. He will talk about what the latest research on PBT is, and how we can bring it to the mainstream libraries. Don’t miss: dcsystems.xyz
alperenkeles.com
Alperen Keles
0134
Alperen Keleş @keles.bsky.social · 22/11/2024
I'm implementing a `trace` macro for creating custom stack traces following only the functions you care about. It basically gives you a debugger post-hoc, hopefully an improvement over printf-debugging. pbs.twimg.com/media/GdBXjZ...
030
Alperen Keleş @keles.bsky.social · 21/11/2024
github.com/alpaylan/tjq A prototype type inference engine for jq
041
Alperen Keleş @keles.bsky.social · 13/07/2023
Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals in Javascript "...implementing functional lists, I have realized I may have jumped in too fast..."
alpkeles99.medium.com
Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals in Javascript
After writing the first article of the Learner’s Guide to Functional Programming series yesterday on implementing functional lists, I have…
010
Alperen Keleş @keles.bsky.social · 12/07/2023
Learner’s Guide to Functional Programming#1: Implementing Lists in JavaScript "...We will implement functional data structures within using a very minimal subset of Javascript. No loops, no mutable variables, no builtins except primitive types..."
alpkeles99.medium.com
Learner’s Guide to Functional Programming#1: Implementing Lists in JavaScript
There are many articles introducing functional programming. They mention immutability, first class functions, purity, recursion, and many…
000
Alperen Keleş @keles.bsky.social · 12/07/2023
Extracting Signals: Playing The Inverse Waldo Game "...Creating content is like playing an Inverse Waldo Game. High quality content reduces noise, guides the reader throughout the signals it tries to convey..."
alpkeles99.medium.com
Extracting Signals: Playing The Inverse Waldo Game
I believe most of you will recognize the game in the following image, “Where’s Waldo?”. It has many variations such as finding the cat, the…
000
Alperen Keleş @keles.bsky.social · 01/07/2023
600 posts a day, alright I’m done with that now
000
Alperen Keleş @keles.bsky.social · 01/07/2023
Elon siteyi tamamen bozduğuna göre burdan devam etmenin vakti gelmiş gibi
000
Alperen Keleş @keles.bsky.social · 11/06/2023
I guess I should starts cross-posting here. Here's my latest article on dynamic programming. If you have any other algorithms problems, let me know! medium.com/@alpkeles99/learners-gui…
medium.com
Learner’s Guide to Dynamic Programming#2
Dynamic programming is an algorithmic problem solving paradigm focused on recognization and elimination of repetitive computation. Earlier…
000
Alperen Keleş @keles.bsky.social · 26/05/2023
This feels so 2010..
130