Alperen Keleş
@keles.bsky.social
METU CENG 21'
PhD Student at UMD
Programming Languages/Formal Verification/Random Testing
Writing at http://alpkeles99.medium.com
Twitter: @keleesssss
PhD Student at UMD
Programming Languages/Formal Verification/Random Testing
Writing at http://alpkeles99.medium.com
Twitter: @keleesssss
Finally updated the interface for my puzzle!
puzzle.alperenkeles.com/leaderboard
puzzle.alperenkeles.com/leaderboard
Kelesce - Puzzle Challenge
A sophisticated coding puzzle challenge. Decode mysterious symbols and test your programming skills.
puzzle.alperenkeles.com
September 11, 2025 at 1:45 AM
Finally updated the interface for my puzzle!
puzzle.alperenkeles.com/leaderboard
puzzle.alperenkeles.com/leaderboard
Breaking Verifiable Abstractions and going beyond prompting👇🏻
alperenkeles.com/posts/verifi...
alperenkeles.com/posts/verifi...
Breaking Verifiable Abstractions
alperenkeles.com
September 1, 2025 at 12:48 AM
Breaking Verifiable Abstractions and going beyond prompting👇🏻
alperenkeles.com/posts/verifi...
alperenkeles.com/posts/verifi...
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/posts/vocab-...
A Better Vocabulary for Testing
alperenkeles.com
August 16, 2025 at 7:35 PM
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/posts/vocab-...
Reposted by Alperen Keleş
#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...
bobkonf.de/2025/keles.h...
Alperen Keles presents his talk "Property-Based Testing: The Past, The Present, and The Future" at #BOBkonf2025
May 15, 2025 at 7:04 AM
#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...
bobkonf.de/2025/keles.h...
I've written some of my thoughts on the capabilities and limits of LLMs for Programming.
Verifiability is the Limit | alperenkeles.com/posts/verifi...
Verifiability is the Limit | alperenkeles.com/posts/verifi...
Verifiability is the Limit
alperenkeles.com
March 10, 2025 at 11:54 AM
I've written some of my thoughts on the capabilities and limits of LLMs for Programming.
Verifiability is the Limit | alperenkeles.com/posts/verifi...
Verifiability is the Limit | alperenkeles.com/posts/verifi...
Does anyone have any articles on pretty printing in Rust? `pretty` crate is surprisingly under-documented.
December 4, 2024 at 8:16 PM
Does anyone have any articles on pretty printing in Rust? `pretty` crate is surprisingly under-documented.
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.
December 1, 2024 at 4:41 AM
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.
Reposted by Alperen Keleş
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
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
Alperen Keles
alperenkeles.com
November 25, 2024 at 1:46 PM
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
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
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...
pbs.twimg.com/media/GdBXjZ...
November 22, 2024 at 10:11 PM
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...
pbs.twimg.com/media/GdBXjZ...
November 21, 2024 at 4:44 PM
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..."
"...implementing functional lists, I have realized I may have jumped in too fast..."
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…
alpkeles99.medium.com
July 13, 2023 at 5:00 AM
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..."
"...implementing functional lists, I have realized I may have jumped in too fast..."
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..."
"...We will implement functional data structures within using a very minimal subset of Javascript. No loops, no mutable variables, no builtins except primitive types..."
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…
alpkeles99.medium.com
July 12, 2023 at 4:47 AM
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..."
"...We will implement functional data structures within using a very minimal subset of Javascript. No loops, no mutable variables, no builtins except primitive types..."
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..."
"...Creating content is like playing an Inverse Waldo Game. High quality content reduces noise, guides the reader throughout the signals it tries to convey..."
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…
alpkeles99.medium.com
July 12, 2023 at 3:11 AM
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..."
"...Creating content is like playing an Inverse Waldo Game. High quality content reduces noise, guides the reader throughout the signals it tries to convey..."
600 posts a day, alright I’m done with that now
July 1, 2023 at 5:16 PM
600 posts a day, alright I’m done with that now
Elon siteyi tamamen bozduğuna göre burdan devam etmenin vakti gelmiş gibi
July 1, 2023 at 5:14 PM
Elon siteyi tamamen bozduğuna göre burdan devam etmenin vakti gelmiş gibi
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!
https://medium.com/@alpkeles99/learners-guide-to-dynamic-programming-2-36cebb419d56
https://medium.com/@alpkeles99/learners-guide-to-dynamic-programming-2-36cebb419d56
Learner’s Guide to Dynamic Programming#2
Dynamic programming is an algorithmic problem solving paradigm focused on recognization and elimination of repetitive computation. Earlier…
medium.com
June 11, 2023 at 1:07 AM
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!
https://medium.com/@alpkeles99/learners-guide-to-dynamic-programming-2-36cebb419d56
https://medium.com/@alpkeles99/learners-guide-to-dynamic-programming-2-36cebb419d56