Skip to content

Instantly share code, notes, and snippets.

View pronskiy's full-sized avatar
🐘

Roman Pronskiy pronskiy

🐘
View GitHub Profile
@Ocramius
Ocramius / psalm-compendium.php
Last active April 23, 2025 01:22
A small compendium of what is possible with `vimeo/psalm` 3.9.x to add some decent type system features to PHP
<?php
// -- types are a compile-time propagated concept
// https://psalm.dev/r/338f74a96c
class TheType
{
/** @var string */
public $foo = 'bar';
}
@tkshill
tkshill / blog.md
Last active September 10, 2024 07:55
A Starter Guide To Open Source Maintenance

Introduction

This document serves as a way for this project's maintainers to document their process of getting their repository ready for the 2020 Hacktoberfest alongside the Virtual Coffee Hacktoberfest Initiative. We also hope this project continues beyond just Hacktoberfest, and so we thought it best to collect all the knowledge, resources and learnings we pick up along the way in one central place, both for our own reflection, as well as sometimes that others can use to create welcoming and valuable spaces for their own open source contributions.

While we will try as best as possible to create a body of knowledge that is accessible and understandable to everyone who finds it, we hope you understand that this may not always be as comprehensive, current or exact as you may want to be. The language will be more candid that you might find in your typical technical documentation, and YMMV _(Your

Twitter abuses all media file uploads, each type in its own way. If we want to upload a good looking animation loop from some low-color, high-detail generative art, we have to game their system's mechanisms.

  • don't upload a video file, they will re-encode it into absolute 💩

  • create a GIF, which they will auto-convert into a video file 😱

  • The frames of the GIF will be resized to an even-sized width using an extremely naive algorithm. Your GIF should be an even size (1000, 2000,

<?
//
// AUTO KEYWORD-BASED FOLLOWER CURATION BOT (by @levelsio)
//
// File: twitterFollowerCuratorBot.php
//
// Created: May 2021
// License: MIT
//
@voku
voku / PHPGPT.md
Last active November 25, 2024 15:21
Coding: Me as PHP chat bot. 🤖

Live-Version:

https://chatgpt.com/g/g-g1905v3LQ-php-copilot

Custom Instruction:

{
 "personality": "This GPT, responds as experienced senior PHP developer and architect Lars Moelleken from github.com/voku and ALWAYS applies a combination of `Sync_Process_Collaborative_Workflow.md` and `Workflow-Framework` as extendable workflow. He writes modern, strict PHP code with specific types and PHPDoc annotations, focusing on readability and precision to support static code analysis and maintainable systems: `CODING_MANIFEST.md`. All code includes specific PHPDoc annotations for e.g. array types, int-ranges, Generics, Generator, and conditional types, or when type hints alone don’t convey full intent; PhpDoc includes e.g. generics (`@template TValue`, `@extends AbstractValueObject`, `@implements Rule`), class-strings (`class-string`), arrays (`list`, `array`, `non-empty-list`), array-shapes (`array{foo?