Isaac Mann's Avatar

Isaac Mann

@mannisaac.bsky.social

Architect for @nx.dev

196 Followers  |  220 Following  |  10 Posts  |  Joined: 05.07.2023  |  1.571

Latest posts by mannisaac.bsky.social on Bluesky

Post image

#NxSummitEU #HumanPoweredAI
Narwhal speaking the turtle language

04.04.2025 10:19 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#NxSummitEU #HumanPoweredAI
A narwhal multitasking with polygraph

04.04.2025 09:25 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#NxSummitEU #HumanPoweredAI
Just think of all the things you can do when your CI pipeline is faster...

04.04.2025 09:23 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#NXSummitEU #HumanPoweredAI
Do you hear the narwhal sing?

04.04.2025 09:22 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#NxSummitEU #HumanPoweredAI
What does he know?

04.04.2025 08:36 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Lean Game Server You need to enable JavaScript to use the Lean Game Server, as it is built using React.

went through the entire Natural Number Game today! (well, except for the Fermat level ๐Ÿ˜›)

itโ€™s very well-made, definitely one of the best learning/onboarding experiences i remember

adam.math.hhu.de#/g/leanprove...

01.02.2025 19:31 โ€” ๐Ÿ‘ 169    ๐Ÿ” 15    ๐Ÿ’ฌ 7    ๐Ÿ“Œ 1
Improving Our Migration Process
YouTube video by Nx - Smart Monorepos - Fast CI Improving Our Migration Process

The @nx.dev team have interviewed a lot of companies in the last few months. The Number 1 issue for many is "migrations can be hard".

This is how we hope to solve it:
youtu.be/6fZ6t3vfoxs

03.01.2025 12:26 โ€” ๐Ÿ‘ 12    ๐Ÿ” 6    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Four people sit around a table playing a board game, focused on their cards and game pieces. One person wears a blue shirt with a lanyard, while another is in a gray hoodie. Game boards, cards, drinks, and dice are scattered on the table. In the background, there are more tables, chairs, and a banner with a crescent moon and the EpicWeb logo. The text โ€œCreate new memoriesโ€ overlays the image, with the URL โ€œepicweb.dev/confโ€ at the bottom.

Four people sit around a table playing a board game, focused on their cards and game pieces. One person wears a blue shirt with a lanyard, while another is in a gray hoodie. Game boards, cards, drinks, and dice are scattered on the table. In the background, there are more tables, chairs, and a banner with a crescent moon and the EpicWeb logo. The text โ€œCreate new memoriesโ€ overlays the image, with the URL โ€œepicweb.dev/confโ€ at the bottom.

Create new memories at #EpicWebConf www.epicweb.dev/conf

18.12.2024 17:22 โ€” ๐Ÿ‘ 21    ๐Ÿ” 2    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 1
Preview
a bald man is crying and saying `` wait till i get going '' . Alt: Virginia from Princess Bride is crying and saying `` wait till i get going '' .

That was a fun game. I forget the name of it.

The main mechanic is that you make a simultaneous choice of what resources to claim. But if you pick the same resource as other players, you have to share them.

What are they thinking that you are thinking they will do?

18.12.2024 17:37 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Day 14 - Advent of Code 2024

Today's Advent of Code challenge (adventofcode.com/2024/day/14) was the first one that felt unfair. Find an image of a Christmas tree somewhere in this pattern - but they don't explain what the Christmas tree image looks like. Even after I solved it, I didn't like the puzzle definition.

15.12.2024 04:00 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I'm sorry I sent you down that path

11.12.2024 14:54 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

This looks very interesting. Thanks for sharing

04.12.2024 19:14 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Oklahoma just did what all the SEC teams do - schedule an easy team to recover before their rivalry game at the end of the season.

You know. That historical rivalry between LSU and Oklahoma.

24.11.2024 04:54 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

man I really hate when my open source is funded by VCs or giant corporates. I need my software to be written by hermit monks who sacrifice their lives without selling their labour for such things as food and rent

19.11.2024 09:47 โ€” ๐Ÿ‘ 289    ๐Ÿ” 30    ๐Ÿ’ฌ 17    ๐Ÿ“Œ 1
Post image

Alas

15.11.2024 01:14 โ€” ๐Ÿ‘ 823    ๐Ÿ” 276    ๐Ÿ’ฌ 10    ๐Ÿ“Œ 16

I use this in every LLM conversation

13.11.2024 23:09 โ€” ๐Ÿ‘ 33    ๐Ÿ” 4    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Also, in other news, my time at Cisco has come to an end, so I am looking for my next opportunity. If you know of any engineering leadership positions, especially in the Angular space, let me know!

12.11.2024 17:25 โ€” ๐Ÿ‘ 23    ๐Ÿ” 10    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 1

@mannisaac is following 20 prominent accounts