Advent Of Code

805 readers

13 users here now

An unofficial home for the advent of code community on programming.dev!

Advent of Code is an annual Advent calendar of small programming puzzles for a variety of skill sets and skill levels that can be solved in any programming language you like.

AoC 2024

Solution Threads

M	T	W	T	F	S	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	18	20	21	22
23	24	25

Rules/Guidelines

Follow the programming.dev instance rules
Keep all content related to advent of code in some way
If what youre posting relates to a day, put in brackets the year and then day number in front of the post title (e.g. [2024 Day 10])
When an event is running, keep solutions in the solution megathread to avoid the community getting spammed with posts

Relevant Communities

Relevant Links

Advent of Code Homepage

Credits

Icon base by Lorc under CC BY 3.0 with modifications to add a gradient

console.log('Hello World')

founded 1 year ago

MODERATORS

Ategon

[email protected]

CameronDev

How are you preparing for Advent of Code 2023? (self.advent_of_code)

submitted 1 year ago by mac to c/advent_of_code

7 comments fedilink hide all child comments

Getting closer to the event (less than 1 week now!) so figured I would ask this question

Ive been mostly just doing some problems from other years to get used to solving things in rust

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 3 points 1 year ago

That's the copyright of the book though, not of Lean itself. Lean itself was started at Microsoft too, but is its own open source research project now, with contributions from multiple companies and universities: https://lean-lang.org/about/

But, yeah. Lean can't deny that it was influenced by Microsoft's F#.