Search
29 results for “ultramagnetic”
-
From Ultramagnetic MC’s Critical Beatdown LP This is me covering Traveling at the Speed of Thought using my own guitar riff, yo! Bumblebee the lemon beagle is my no.1 fan and is never far. Ha! January 2025 #ultramagneticmcs #hiphop #coversongs #cedgee #koolkeith #twyg #dafizz #indieload
-
Classic UK Garage tune today: Hyper Funk - DJ Antonio 👊
https://www.youtube.com/watch?v=iQUkD1fTVPs
The drought of those drums... And that 1:45 drop wooo 🔥
Killer vocal sampled from the Ultramagnetic MC's :
-
Kool Keith is still spinning up new artist accounts with the same name on Bandcamp. I saw 5 #KoolKeith accounts on BC with over 70 different albums released in the last 20 years! That's not even counting major releases like Dr Octagon or Ultramagnetic MCs.
Though #DrOctagon is "dead", Keith is still releasing concept albums under various characters like Black Elvis, Dr. Dooom, Alvin Kelly, Mr Controller, & The Preacher. Wikipedia says he's released music under 58 different monikers as of 2012. -
Higher-Kinded-J 0.4.2 ships EffectBoundary: write your Spring business logic once, interpret it three ways.
🏭 Production: boundary.runIO(program) → real IO, actuator metrics, HTTP response
🧪 Tests: TestBoundary.of(stub).run(program) → Id monad, no Spring, ms-fast, no mocks
📋 Audit: swap in a WriterT interpreter for structured loggingSame OrderService. Same program. Different interpreter at the edge.
👉 https://higher-kinded-j.github.io/latest/spring/effect_boundary_integration.html
-
#Java EffectHandlers without the boilerplate?
In Higher-Kinded-J 0.4.1 — you define the what, the tooling generates the how.
You write this:
@EffectAlgebra
public sealed interface PaymentGatewayOp<A>
permits Authorise, Charge, Refund { ... }It generates five classes:
✦ Kind marker + Witness — HKT plumbing
✦ KindHelper — safe widen/narrow conversions
✦ Functor — auto-detects your mapK method
✦ Ops + Bound — smart constructors for building programs
✦ Interpreter skeleton — abstract class with exhaustive switchComposing multiple effects?
@ComposeEffects
public record AppEffects(
Class<GatewayOp<?>> gateway,
Class<FraudOp<?>> fraud,
Class<LedgerOp<?>> ledger) {}This generates Inject factories, a composed Functor, a BoundSet, and an interpret() bridge. All type-safe. All compile-time checked.
You define records. You write interpreters. The processor handles everything in between.
👉 https://higher-kinded-j.github.io/latest/effect/effect_handlers_intro.html
-
What if your Java program was just... data?
Higher-Kinded-J v0.4.1 introduces Effect Handlers — where domain operations are records, workflows are data trees, and interpreters decide what happens.
Same program. Four interpretations:
✦ Production — real API calls
✦ Testing — pure values, no mocks
✦ Audit — every step logged
✦ Dry-run — estimate cost without executingNo code duplication. No mock frameworks. Just data, interpreted differently.
This is Data-Oriented Programming.
Your operations are records. Your effect algebra is a sealed interface. Your interpreter is a switch expression. Add an operation? The compiler forces every interpreter to handle it.
Inspect programs before running them — count external calls, find recovery points, estimate cost.
Analyse programs like data.
Built on records, sealed interfaces & pattern matching. No exotic FP import — just modern Java, composed well.
👉 https://higher-kinded-j.github.io/latest/effect/effect_handlers_intro.html
#Java #DataOrientedProgramming #FunctionalProgramming #OpenSource
-
And what about code you don't own?
We added @ImportOptics so you aren't stuck. You can generate type-safe navigators for JDK classes, Jackson nodes, or any external library.
It analyses the bytecode to build lenses for you, meaning you can traverse deep into java.time or legacy objects just as easily as your own records.
#JavaDev #OpenSource #CodingLife #Java #FunctionalProgramming #fp
-
In Part 3 we build an Abstract Syntax Tree for an Expression Language using latest #Java and #Higher-Kinded-J #FunctionalProgramming #DOP
https://blog.scottlogic.com/2026/01/23/ast-basic-optics.html -
https://garciat.com/posts/java-type-classes/ This is excellent. Really interesting post with lots pearls to digest. I had been thinking a lot about similar things around embedded kind system for checking bounds. #java #hkt #fp
-
There is also #SpringSecurity integration and #Actuator integration examples on the website. Really interested to hear feedback from #Spring developers.
-
There is also #SpringSecurity integration and #Actuator integration examples on the website. Really interested to hear feedback from #Spring developers.
-
Practical Free monads in Java
higher-kinded-j shows you how to:
• Build composable DSLs
• Transformations as interpreters
• Stack-safe (10k+ ops verified)
• Test effectful code purelyComplete guide:
https://higher-kinded-j.github.io/monads/free_monad.html -
Six new Composable Optics and a FreeMonad DSL all in the latest #higher-kinded-j release
check it out https://higher-kinded-j.github.io/optics/optics_intro.html
-
🚀 New Selective support in latest #higher-kinded-j release🚀
Bringing the power of conditional effects to #Java
* Either<E, *> - EitherSelective
* Maybe - MaybeSelective
* Optional - OptionalSelective
* List - ListSelective
* IO - IOSelective
* Reader<R, *> - ReaderSelective
* Id - IdSelective
* Validated<E, *> - ValidatedSelective
Find out more: https://higher-kinded-j.github.io/functional/selective.html -
🚀 New Profuctor support in #higher-kinded-j🚀
Functional programming meets Java with powerful new features:
✨ Protofunctors - Transform both inputs & outputs of your functions with dimap, lmap, rmap
🔍 Protofunctor enhanced Optics - Lens, Prism, Traversal & Iso for immutable data manipulation
🎯 Type-Safe HKTs - Functor, Applicative, Monad patterns that actually work in JavaPerfect for developers wanting functional patterns without leaving the JVM ecosystem!
Check out the docs, with loads of examples to get you started!
Try it: https://higher-kinded-j.github.io/functional/profunctor.html
#Java #FP #FunctionalProgramming #Optics #Protofunctor #HigherKinded -
🚀 Higher-Kinded-J v0.1.7 is LIVE!
We've packed this release with ergonomic features for more expressive & robust Java:
✨ Smarter Optics: @GenerateLenses now auto-creates with* methods for easy immutable updates on your records.
🎯 Targeted Traversals: New Traversals.forMap(key) plus modify() & getAll() for precise map value handling.
✅ Powerful Error Accumulation: Validated is now an Applicative, using Semigroup to beautifully accumulate errors.
🧮 Deeper Foundations: New Semigroup, Monoid, & Foldable interfaces bring category theory power to Java.
↔️ Enhanced Type Flexibility: Wildcards (? super, ? extends) improve compatibility for Functor, Applicative, Monad.All documented in the updated hkj-book!
Explore more: https://higher-kinded-j.github.io/
-
🚀 Higher-Kinded-J v0.1.7 is LIVE!
We've packed this release with ergonomic features for more expressive & robust Java:
✨ Smarter Optics: @GenerateLenses now auto-creates with* methods for easy immutable updates on your records.
🎯 Targeted Traversals: New Traversals.forMap(key) plus modify() & getAll() for precise map value handling.
✅ Powerful Error Accumulation: Validated is now an Applicative, using Semigroup to beautifully accumulate errors.
🧮 Deeper Foundations: New Semigroup, Monoid, & Foldable interfaces bring category theory power to Java.
↔️ Enhanced Type Flexibility: Wildcards (? super, ? extends) improve compatibility for Functor, Applicative, Monad.All documented in the updated hkj-book!
Explore more: https://higher-kinded-j.github.io/
-
✨ Update deeply nested data structures immutably in Java without drowning in boilerplate using higher-kinded-j and functional Optics.
🔍 Traverse complex records with Lenses, Traversals, and Prisms, all type-safe, compile-time generated, and fully immutable.
Full example: https://higher-kinded-j.github.io/optics/auditing_complex_data_example.html
Explore more: https://higher-kinded-j.github.io/ -
Using new Optics support in #higher-kinded-j is easy, just add a simple annotation to automatically generate Lenses, Prisms, and Isomorphisms then compose lenses for incredibly readable, deep updates:
// Create a "shortcut" lens by composing others
var userToStreetName = UserLenses.address()
.andThen(AddressLenses.street())
.andThen(StreetLenses.name());// Perform the deep update in a single line
User updatedUser = userToStreetName.set("New Street", user);You can perform effectful operations (failable, async, stateful). The library is also fully extensible, allowing you to define custom Traversal instances for any data structure.
Check out the docs, with loads of examples to get you started!
https://higher-kinded-j.github.io/#Java #FunctionalProgramming #JavaDev #FP #Optics #HigherKindedTypes
-
Power up your functional programming in Java! 🚀
The new Optics support in #higher-kinded-j is here, built directly on our powerful Higher-Kinded Types simulation. This brings a new level of abstraction and power to your code, not just cleaner data access.Add a simple annotation, and get automatically generated Lenses, Prisms, Isomorphisms and Traversals.
🔧 Why it's a game-changer:
- Built on HKT: Unlocks powerful, abstract, and effectful operations.
- Zero-Boilerplate: Annotation-based generation of powerful tools.
- Extensible & Composable: A flexible foundation for your data manipulation needs.Check out the docs, with loads of examples to get you started!
https://higher-kinded-j.github.io/#Java #FunctionalProgramming #JavaDev #FP #Optics #HigherKindedTypes
-
Writing functional Java just got a whole lot cleaner. ✨
The new For-Comprehension builder in #higher-kinded-j helps de-sugar complex monadic chains into a simple, sequential script.
It brings the elegance of Scala to your functional Java projects.
Compose sequences of monadic operations (like flatMap and map) in a highly readable, linear style.
Key Features:
➡️ from(…): A generator that extracts a value from a monadic context (flatMap).
➡️ let(…): Binds the result of a pure computation to a new variable (map).
➡️ when(…): Filters results, short-circuiting with the monad's "zero" element (for MonadZero types like List or Maybe).
➡️ yield(…): Concludes the comprehension, producing the final monadic value.
It's especially powerful for taming complex structures like monad transformers (StateT, EitherT).
Come see how it works! Any feedback is welcome. [https://higher-kinded-j.github.io/for_comprehension.html]
#Java #FunctionalProgramming #FP #Monad #HKT #Library #OpenSource #HKJ -
Learn how to use the State monad and IO monad in #Java with higher-kinded types by building a playable Draughts game with the new #higher-kinded-j functional library. #fp #functional #monad #hkj https://higher-kinded-j.github.io/draughts.html
-
Learn how to better reason about nullness in your #java code with #jspecify and #nullaway https://blog.scottlogic.com/2024/12/18/taming-nullness-in-java-with-jspecify.html
-
#java #Java17 #functional #spring #vavr
Using pattern matching with sealed interfaces and the vavr Either type to give a much cleaner way to handle errors in a Spring Rest controller https://softwaremill.com/functional-error-handling-with-java-17/
-
Interesting tradition from #manga and #anime: declare the name of your next move to freeze your opponent in shock. ^_^
#RurouniKenshin: Hiten mitsurugi ryu… double reversed rotation triple slash!
Enemy: *awestruck* *paralyzed by what they heard*#VoltesV: Ultra magnetic top!
Foe: *shaking in fear*#YuyuHakusho: Ray gun!
Taguro: *eyes wide in shock*What other memorable move declarations can you remember?
-
Interesting tradition from #manga and #anime: declare the name of your next move to freeze your opponent in shock. ^_^
#RurouniKenshin: Hiten mitsurugi ryu… double reversed rotation triple slash!
Enemy: *awestruck* *paralyzed by what they heard*#VoltesV: Ultra magnetic top!
Foe: *shaking in fear*#YuyuHakusho: Ray gun!
Taguro: *eyes wide in shock*What other memorable move declarations can you remember?
-
Interesting tradition from #manga and #anime: declare the name of your next move to freeze your opponent in shock. ^_^
#RurouniKenshin: Hiten mitsurugi ryu… double reversed rotation triple slash!
Enemy: *awestruck* *paralyzed by what they heard*#VoltesV: Ultra magnetic top!
Foe: *shaking in fear*#YuyuHakusho: Ray gun!
Taguro: *eyes wide in shock*What other memorable move declarations can you remember?
-
Interesting tradition from #manga and #anime: declare the name of your next move to freeze your opponent in shock. ^_^
#RurouniKenshin: Hiten mitsurugi ryu… double reversed rotation triple slash!
Enemy: *awestruck* *paralyzed by what they heard*#VoltesV: Ultra magnetic top!
Foe: *shaking in fear*#YuyuHakusho: Ray gun!
Taguro: *eyes wide in shock*What other memorable move declarations can you remember?
-
Interesting tradition from #manga and #anime: declare the name of your next move to freeze your opponent in shock. ^_^
#RurouniKenshin: Hiten mitsurugi ryu… double reversed rotation triple slash!
Enemy: *awestruck* *paralyzed by what they heard*#VoltesV: Ultra magnetic top!
Foe: *shaking in fear*#YuyuHakusho: Ray gun!
Taguro: *eyes wide in shock*What other memorable move declarations can you remember?