Higher-Kinded Type's Avatar

Higher-Kinded Type

@hktpe.bsky.social

https://blog.rhetoricalmusings.com

314 Followers  |  152 Following  |  151 Posts  |  Joined: 19.10.2024  |  1.8399

Latest posts by hktpe.bsky.social on Bluesky

Preview
Type Gymnastics with Builders - Part 4 - Flexibility - A Developer's Experience

Flexibility
blog.rhetoricalmusings.com/posts/builder4

Order, Order, I Say!
blog.rhetoricalmusings.com/posts/builder5

Can You Hold This For Me?
blog.rhetoricalmusings.com/posts/builder6

Why bother?
blog.rhetoricalmusings.com/posts/builder7

22.10.2025 06:17 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Type Gymnastics with Builder Pattern - A Developer's Experience

Enjoy this multi-part series on builder pattern in Scala.

Intro to Builder Pattern
blog.rhetoricalmusings.com/posts/builder1

Know Your Limitations
blog.rhetoricalmusings.com/posts/builder2

Errors Are UX Too
blog.rhetoricalmusings.com/posts/builder3

22.10.2025 06:17 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Preview
Type Gymnastics with Builders - Part 2 - Know Your Limitations - A Developer's Experience

Dear friend, Morgen Peschke, dives to the depths of the builder pattern in this multi-part guest series on my blog: blog.rhetoricalmusings.com/posts/builde...

Give it a read, it's good stuff!

15.10.2025 01:41 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Type Gymnastics with Builder Pattern - A Developer's Experience

In Scala, if you like the builder pattern, you can ensure the build method is available only when all mandatory fields are populated, though it involves a lot of boilerplate. #scala blog.rhetoricalmusings.com/posts/builde...

05.10.2025 18:24 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Preview
Type Gymnastics with Builder Pattern

Type Gymnastics with Builder Pattern
blog.rhetoricalmusings.com/posts/builde...

04.10.2025 15:59 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Scala Times, weekly Scala newsletter by SoftwareMill

Scala Times Issue #599 - scalatimes.com/54dc2dfa62

24.09.2025 05:34 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Learn or improve at programming in a fun and supportive environment

@scalabridgelondon.bsky.social is back in October! Here's the projects we'll be working on:

www.scalabridgelondon.org/projects/

Sign up for your choice here:

docs.google.com/forms/d/e/1F...

(All the details and much more on our website www.scalabridgelondon.org)

22.09.2025 16:13 β€” πŸ‘ 2    πŸ” 4    πŸ’¬ 0    πŸ“Œ 0
Preview
Understanding Contramap - A Developer's Experience

There's a good chance you have already used contramap (e.g. when creating a Circe encoder), but understanding the concept can be challenging. This article explains it using a practical example. #scala blog.rhetoricalmusings.com/posts/contra...

21.09.2025 16:37 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Preview
Understanding Contramap

Understanding Contramap

blog.rhetoricalmusings.com/posts/contra...

20.09.2025 23:03 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 1    πŸ“Œ 1
Preview
A Rogue JSON Parser - A Developer's Experience

A Rogue JSON Parser
blog.rhetoricalmusings.com/posts/json-p...

12.09.2025 17:01 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Scala 2 Symbols - A Developer's Experience

Scala Symbols
blog.rhetoricalmusings.com/posts/scala-...

Did I miss anything?

12.09.2025 17:00 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Securing sensitive data in logs like a pro By Vivek Ragunathan & Bahul Jain Securing sensitive data in logs like a pro By Vivek Ragunathan & Bahul Jain Logging is vital for system observability and debugging, but writing sensitive data to logs poses several challenges ...

πŸ“£ The recording of the awesome talk at our last
#BayAreaScala #SFScala is now available:

πŸ‘‰ Securing sensitive data in logs like a pro By @hktpe.bsky.social Vivek Ragunathan & Bahul Jain πŸ‘ˆ

watch.softinio.com/w/6T6tpf8U5y...

An elegant solution thanks to #Scala #FunctionalProgramming

29.07.2025 20:43 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Post image

Gave a talk in the local Scala meetup

watch.softinio.com/w/6T6tpf8U5y...

29.07.2025 22:15 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Top K Frequent Items

Implementing Top K Frequent Items
blog.rhetoricalmusings.com/posts/top-k/

25.07.2025 17:53 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
curl turns 10,000 days Β· curl curl Β· Discussion #17930 On August 5 2025, it is exactly 10,000 days since March 20 1998 when the first curl release was done. For this occasion we want to collect fun, exciting, or interesting stories that involve curl an...

We want to collect fun, exciting, or interesting stories that involve curl and people using curl. From everyone and anyone. For curl's **10,000 days** celebration that is coming up.

Share your story here:

https://github.com/curl/curl/discussions/17930

15.07.2025 09:19 β€” πŸ‘ 4    πŸ” 19    πŸ’¬ 0    πŸ“Œ 0
Preview
TimedBufferedReader in Java - A Developer's Experience

TimedBufferedReader in Java

blog.rhetoricalmusings.com/posts/buf-re...

26.06.2025 21:56 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
If you know Scala, you know Kotlin - A Developer's Experience

If you know Scala, you know Kotlin; or vice versa!

blog.rhetoricalmusings.com/posts/scala-...

25.06.2025 21:27 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
A world without types - Part 3 - A Developer's Experience

Fresh off the press. Guest post by @bahuljain - A world without types - Part 3.

blog.rhetoricalmusings.com/posts/types-3/

26.05.2025 21:12 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

The static type of this type is dynamic - Anders Hejlsberg (Nostalgic C# 4 days)

14.05.2025 02:44 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I'm giving this workshop at Scala Days, which will cover most of the techniques I've learned over the last 15 years of building software in typed FP.

Happy to answer any questions about the workshop (which will draw from the book I'm writing: scalawithcats.com)

13.05.2025 14:29 β€” πŸ‘ 8    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0
RΓΊnar Bjarnason on Unison, Scala, Distributed Systems and Delightful Programming
RΓΊnar Bjarnason on Unison, Scala, Distributed Systems and Delightful Programming

Fantastic discussion, lot of great points. Thank you @rockthejvm.com and @runarorama.bsky.social
www.youtube.com/watch?v=kK4v...

11.05.2025 07:04 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

I don’t understand anything I can’t build - Richard Feyman

Very true for a lot of engineers!

10.05.2025 18:57 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Scala 3.7.0 released! | The Scala Programming Language

Alright, it’s my turn! Scala 3.7.0 released! πŸš€
scala-lang.org/news/3.7.0/

09.05.2025 12:04 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

Thanks for fixing the gradle debugging issue

09.05.2025 11:54 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
GitHub - creativescala/krop: A simple and functional web service library A simple and functional web service library. Contribute to creativescala/krop development by creating an account on GitHub.

Last night's @scalabridgelondon.bsky.social's session was lots of fun, working with @hktpe.bsky.social on github.com/creativescal...
Come along and join us if you want to learn or improve your Scala-foo with interesting projects

09.05.2025 11:27 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Post image

But it’s a key!

05.05.2025 01:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

First they preached OOP now they have started preaching DOP (data oriented programming), which I feel is such a cringe term.

04.05.2025 19:28 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail

I'm a Bracket Engineer!

Released a web app to generate custom 3D Printed power brick brackets.

bracket.engineer

01.05.2025 13:48 β€” πŸ‘ 73    πŸ” 8    πŸ’¬ 16    πŸ“Œ 0

Would love something more colorful 😁

29.04.2025 13:42 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

It was sorta trick question. This came up in a chit chat in my circles.

Personally, I would prefer to learn Rust first over Kotlin (next).

27.04.2025 16:52 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@hktpe is following 20 prominent accounts