Matheus de Sousa Bernardo

### Short description Create an API to create and configure topics programmatically ### Details Using the Admin interface from the Kafka API for example spring kafka https://medium.com/@TimvanBaarsen/programmatically-create-kafka-topics-using-spring-kafka-8db5925ed2b1

How to use environment variables on sbt flyway plugin?

1

Environment Variables The Flyway command-line tool, Maven plugin and Gradle plugin support loading configuration via environment variables. This also possible using the Flyway API by calling the envVars() method on...

Error: Unable to use "first char" lexer optimizations: Failed parsing: < /"(?:[^\\"\u\U]|\\(?:[bfnrtv"\\\/]|x[0-9a-fA-F]))*"/ > Using the regexp-to-ast library version: 0.4.0 Told to open an issue here!

## Expected Behavior Falko should export sprint data as markdown. ## Checklist - [x] Issue has labels. - [x] Issue has a significant name.

Expected Warning not happening when using higher-kinded types

2

## Compiler version scalac -version $ Scala compiler version 3.4.0 -- Copyright 2002-2024, LAMP/EPFL ## Minimized example ```Scala trait T[A] { def v: A } trait T2[F[_], A] { def...

Chapter 4 Polymorphism

4

Hello! I am trying to go through the tutorial. But I think type inference is not working at. `{-@ LIQUID "--no-termination" @-} module DemoLib where import Data.Vector loop :: Int...

Based on [PR#1140](https://github.com/ucsd-progsys/liquidhaskell/pull/1440) I am adding a flag --allow-typed-holes and detecting holes which are bindings with `hole` as infix. These holes are currently being saved in the CGInfo and a...