ongkiii

🗂️ REPOS/TELEGRAM CHANNELS LIST

By u/angkitbharadwaj

• Visit fmhy.net/android-iosguide#ios-ipas for more sources.
• Sideloading Guide: https://rentry.co/sideloadingguide, https://ios.cfw.guide/sideloading-apps/

xXPhenomXx

# this file contains keys needed for decryption of file system data (WUD/WUX)
# 1 key per line, any text after a '#' character is considered a comment
# the emulator will automatically pick the right key
541b9889519b27d363cd21604b97c67a # example key (can be deleted)

d7b00402659ba2abd2cb0db27fa2b656 # Common
805e6285cd487de0faffaa65a6985e17 # Espresso Ancast
b5d8ab06ed7f6cfc529f2ce1b4ea32fd # Starbuck Ancast

9a164ee15ac7ceb64d3cc130094095f6 # 007 Legends [EUR, NUS]

palmerj

Player Moves

These are moves for MK2+ Beta II

Controls Key

Forward: F
Down: D
Back: B
Up: U

SaeedDev94

#!/bin/bash

rm -rf chrome-deb
rm -rf /usr/lib/chromium/WidevineCdm
mkdir chrome-deb
mkdir -p /usr/lib/chromium/WidevineCdm/_platform_specific/linux_x64
wget https://dl.google.com/linux/direct/google-chrome-stable_current_amd64.deb
dpkg-deb -x google-chrome-stable_current_amd64.deb chrome-deb
cp chrome-deb/opt/google/chrome/WidevineCdm/manifest.json /usr/lib/chromium/WidevineCdm/
cp chrome-deb/opt/google/chrome/WidevineCdm/_platform_specific/linux_x64/libwidevinecdm.so /usr/lib/chromium/WidevineCdm/_platform_specific/linux_x64

alula

/dts-v1/;

/ {
	nintendo,buildrevision = "f7aea707909d02195e61ea649b0d9637a354fca2";
	nintendo,buildrevisiondate = "2024-06-06T08:07:35Z";
	compatible = "nintendo,ounce-mp", "nintendo,ounce";
	#address-cells = <0x2>;
	#size-cells = <0x2>;
	interrupt-parent = <0x1>;
	model = "Nintendo Ounce, MP";

FranklinYu

links for old versions of Docker for Mac

Deprecated

Docker provides download links in release note. They promised that

(we) will also include download links in release notes for future releases.

Note:

Fluepke

https://xkcd.com/221/

mizchi

実装コードから仕様を吸い出して Z3 / TLA+ でバグを払い出す — 実践プレイブック

既存システムの実装を「事実上の仕様」とみなし、それを形式化することで 「テストでは踏めないバグ」と「実装が暗黙に決めている仕様」を炙り出すための手順書。 仕様書が無い / あてにならない / 仕様と実装がずれている、という現場を前提にする。

---

0. 基本姿勢: コードが de-facto 仕様である

Mister-Meeseeks

The working directory contains the source code of **{{PROJECT}}** ({{LANGUAGE}}).

{{DESCRIPTION}}

## Objective and scope

Produce a **no-holds-barred, exhaustive formal verification specification and plan** for **{{SCOPE}}**.

Do not choose an 80/20 core, limit work to high-risk components, or omit behavior because it appears peripheral, routine, difficult, or expensive. Assume many years of work by large teams of expert proof engineers, unlimited verification resources, and freedom to refactor or rewrite any part of the system into a verification-friendly implementation. Rank work only to schedule it; every in-scope obligation remains part of the plan.

tdcosta100

WSL2 com interface gráfica utilizando WSLg (XWayland)

Note

Caso você queira utilizar o WSLg de uma forma mais simples, você pode tentar o tutorial com o WSLg (Wayland).

Nesse tutorial, iremos configurar a interface gráfica no WSL2. Nenhum software adicional fora do WSL é necessário (como o VcXsrv ou GWSL). Você vai achar esse tutorial muito parecido com o que substitui o Xorg pelo Xvnc. De fato, é praticamente o mesmo, com algumas poucas mudanças.

Os componentes-chave que precisamos instalar são o metapackage do desktop que você desejar (GNOME, KDE, Xfce, Budgie, etc) e o xwayland, e depois disso, substituiremos o Xorg padrão por um script que chama o Xwayland em seu lugar.

Para essa configuração irei utilizar Ubuntu 24.04, e irei instalar o GNOME Desktop. Infelizmente versões mais antigas do Ubuntu não possuem algumas coisas fundamentais, então infelizmente não conseguimos reproduzir essa configuração em versões mais