Skip to content

Instantly share code, notes, and snippets.

View caiormt's full-sized avatar

Caio Riyousuke Miyada Tokunaga caiormt

5 followers · 27 following
View GitHub Profile
@jgould22
jgould22 / Dockerfile
Last active February 6, 2026 05:15
Postgres 18 - Alpine - pg_partman with pg_jobmon
FROM postgres:18-alpine
LABEL maintainer="Jordan Gould <jordangould@gmail.com>"
# Based on https://github.com/andreaswachowski/docker-postgres/blob/master/initdb.sh
# pg_jobmon 1.5.0
# They never cut a release for 1.5.0 (https://github.com/omniti-labs/pg_jobmon/commit/b9d49e6d4603f2670b3a2d512c31fc7cd5e9a334)
ENV PG_JOBMON_VERSION=b9d49e6d4603f2670b3a2d512c31fc7cd5e9a334
ENV PG_PARTMAN_VERSION=v5.3.1
# Install pg_jobmon
@Daenyth
Daenyth / CachedResource-Blog.md
Last active March 26, 2024 17:19
CachedResource for cats-effect

Concurrent resource caching for cats

Motivation

cats-effect Resource is extremely handy for managing the lifecycle of stateful resources, for example database or queue connections. It gives a main interface of:

trait Resource[F[_], A] {
  /** - Acquire resource
    * - Run f
 * - guarantee that if acquire ran, release will run, even if `use` is cancelled or `f` fails
@marwei
marwei / how_to_reset_kafka_consumer_group_offset.md
Created November 9, 2017 23:39
How to Reset Kafka Consumer Group Offset

Kafka 0.11.0.0 (Confluent 3.3.0) added support to manipulate offsets for a consumer group via cli kafka-consumer-groups command.

  1. List the topics to which the group is subscribed
kafka-consumer-groups --bootstrap-server <kafkahost:port> --group <group_id> --describe

Note the values under "CURRENT-OFFSET" and "LOG-END-OFFSET". "CURRENT-OFFSET" is the offset where this consumer group is currently at in each of the partitions.

  1. Reset the consumer offset for a topic (preview)



  


  





    


          
    

      

        
        

          

              @stephenhardy
          

          

            
                stephenhardy
                / git-clearHistory
            
            

              Created
              April 26, 2013 22:14
            

              
                Steps to clear out the history of a git/github repository
              
          

        

      

        


      

    
    


        



  


  

        

          
          -- Remove the history from 
        

        

          
          rm -rf .git
        

        

          
          

        

        

          
          -- recreate the repos from the current content only
        

        

          
          git init
        

        

          
          git add .
        

        

          
          git commit -m "Initial commit"
        

        

          
          

        

        

          
          -- push to the github remote repos ensuring you overwrite history
        

        

          
          git remote add origin git@github.com:<YOUR ACCOUNT>/<YOUR REPOS>.git