Skip to content

Instantly share code, notes, and snippets.

View HugoPeters1024's full-sized avatar

HugoPeters1024

View GitHub Profile
@HugoPeters1024
HugoPeters1024 / replace-jdtls-plugins.sh
Created January 6, 2026 16:55
vscode patch script for jdtls using maxj/ecj
#!/bin/bash
# Replace VSCode's JDTLS plugins with custom patched versions
# This replaces the actual JDTLS server files in the extension directory
set -e
RED='\033[0;31m'
GREEN='\033[0;32m'
YELLOW='\033[1;33m'
BLUE='\033[0;34m'
@HugoPeters1024
HugoPeters1024 / prisoners.rs
Created July 6, 2024 10:51
Prisoner simulation
use rand::Rng;
fn main() {
const N: usize = 100000;
let mut rng = rand::thread_rng();
let mut avg_days = 0;
for _ in 0..N {
let mut has_triggered: Vec<bool> = vec![false; 100];
let mut day = 0;
let mut light = false;