第20天: Swift 有点像2022年的第21天题目,第2部分是第1部分的逆运算。不过我偷懒暴力解了第2部分,回头再重新写看看。 Swift的vscode LSP老是死掉,不好用。第21天: Lean4 终于来到了今年第二部分卡人比例最高的题目。Lean4写起来真开心,有依值类型,但自己推导不出证明的时候也可以加! 来混过去 XD...
wanze/advent-of-code-2023main 1 Branch 0 Tags Code Folders and filesLatest commit wanze Update readme 169e88f· Dec 13, 2023 History14 Commits src Solve day 8 part 1 Dec 13, 2023 .gitignore Add day 1 Dec 2, 2023 README.md Update readme Dec 13, 2023...
day24_example.txt day24_input.txt obj python src .gitignore LICENSE Makefile README.md fruitpy.sh newday.sh Breadcrumbs adventofcode2023-fortran /inputfiles / File metadata and controls Code Blame 1 lines (1 loc) · 22.4 KB Raw
Advent of Code 2023 is an annual coding event that challenges programmers with daily algorithmic problems. The solutions to these problems typically involve a mix of data structures, algorithms, and problem-solving skills. While the total number of participants in the event may not be very high,...
Oursponsorshelp make Advent of Code possible: Ansys- Make this holiday season unforgettable with Ansys. Join the Ansys developer community, search jobs, and SHINE in your favorite language. .---. .---..--' | .-' '-.1**.--' | | |2**.---' | | |3**| | | |4**| | | ...
I’m going to run every piece of the code on Linux Mint 21.2 VirtualBox machine with 4 cores and 8GB of memory, hosted on my personal PC with Ryzen 3700X and DDR4 at 3200MHz. I will use OTP 26.1.1. Day 1 Part 1 I would never suspect that I’ll begin the AoC challenge with ...
https://adventofcode.com/2023 Day 1 Part 1 (*读取文件*)lines= ReadList["E:\\ExplorerDownload\input.txt", String]; (*计算校准值*) calibrationValues = ToExpression[ StringJoin[#[[1]], #[[-1]]] & /@ (StringCases[#, DigitCharacter] & /@lines); (...
Elixir Livebook で Advent of Code 2023 の問題を解いてみます実装したノートブックはこちら問題はこちらセットアップKino AOC をインストールしますMix.install([ {:kino_aoc, "~> 0.1.5"} ]) Kino AOC の使い方はこちらを参照入力の取得...
Advent of Code 2023 Advent of Code 是一年一度的编程谜题活动,里面包含着各种技能组合和技能水平的问题,参与者可以使用自己任何擅长喜欢的编程语言来解谜,谜题背后是精心构建的故事情节,让参与者挑战的同时,也享受到娱乐放松。 Advent of Code 在每年的圣诞节前 25 天开始,每天的题目分为两部分,第二部分会更难...
Advent of code 2023のDay 5: If You Give A Seed A FertilizerをElixirで解きました。 Advent of code 2023は己との闘い、まさに闘魂です。リポジトリにあげておきます。人類は不老不死の霊薬を意味する素敵なプログラミング言語Elixirを手に入れました。並行処理を他のプログラミング言語より...