Mark McCulloh
@MarkMcCullohDev
Followers
41
Following
2K
Media
4
Statuses
62
Thought I would write up most of what I know about sets, types and type checking
kaleidawave.github.io
My currently understanding of types
2
4
31
Now Ezno's checker is open source I thought it was time for new post. It includes a deep dive into some of the current logic if you are interested in contributing! https://t.co/OQgIBTwyDY
kaleidawave.github.io
Try it out today, what it does and more!
6
21
97
type level programming is immensely satisfying because of the immediate feedback. your language server becomes a REPL and errors are lifted to compile-time. uwu
4
15
100
Today I finally found some time to experiment with this concept of a tiny #AWS SDK. Introducing "itty-aws" - a TypeScript AWS SDK with a 40KB bundle size regardless of how many services you use. It was an afternoon side project, so consider it "beta" 😅 https://t.co/e9CWWCWjFO
github.com
A tiny AWS SDK for Effect. Contribute to alchemy-run/itty-aws development by creating an account on GitHub.
@adamse @heitor_lessa @drissamri88 @jbesw @Sarutule @gregsramblings made a whole video digging into these problems https://t.co/2h9rwgsMrW
3
9
69
A warning: At the same time I am seeing a rise in anti-semitism on the right & the left I am seeing a lot more YouTube comments written by defenders of the Nazis. Communists have always had online defenders. But this Nazi apologism appears new... is anyone else seeing the same?
0
25
199
Finally @emeshbi's https://t.co/k8sMKKMM0h is public - and went straight to the top of Hacker News! https://t.co/dvWTIbsScF Beautiful illustration of the impressive DX you can achieve by tying infra and code - write a TypeScript-like language and forget about provisioning!
2
3
19
Personal bucket list item complete: Something I'm working on is getting torn apart on HN :)
0
1
8
@andrewbrown @emeshbi and @mattbonig are definitely trying to create a brand new, portable cloud programming language with Wing, super early days but I do think the vision is there. @QuinnyPig must have thoughts on the concept
0
1
6
GitHub Actions workflow notifications in Slack and Microsoft Teams
github.blog
We are excited to announce that GitHub app in Slack and Microsoft Teams now supports GitHub Actions workflow notifications. You can now subscribe to your repository and get notified about…
2
24
80
I feel super privileged to be part of this wonderful team. Super excited about the direction we're headed and the awesome work we've done so far. Come check it out!
I couldn't be more excited to share what I've been hacking on with the amazing gang at @monadahq in the past six months! ❤️ We are starting to invite folks to https://t.co/3lN1j0JIS9 alpha. #winglang #bringcloud #wing #cdk #cloud #programming #devops
https://t.co/mU3JpaKuKA
0
4
10
we can _finally_ talk about an experiment @GitHubNext in the works for a long time: GitHub Blocks! tldr ✨ There's a lot more to your codebase than just.. code. We want to make it easier to create interactive docs, support your team workflows, and bring your repo to life ✨ 🧵
35
208
1K
So I've been looking for a good definition of GitOps and a lot of them are like: "A methodology that keeps configuration in version control …" (Me: Yes!) "… where pull requests are the change management system …" (Me: YES!!!) "… that uses Kubernetes" (Me: Kill me now)
8
3
86
> Notifications for any issue are grouped under a parent card as replies. This feature is even bigger than the one from the blog title! Really glad to see work continuing on this project again.
GitHub app in Slack – Issue create and manage experience
0
0
1
Imagine a VSCode extension that gave you a hint every time you encountered a new piece of TypeScript syntax. 🧙♂️ Learn More - links to a video of me explaining the concept ❌ Don't Show Again - the squiggle won't show again in the future
20
43
658
I think Zig’s new compiler will reset expectations for systems developer productivity (after stable release)
3
4
97
I have no hobby or vacation or ambition for my life except computer
30
60
481
Introducing Bun - an incredibly fast all-in-one JavaScript runtime. https://t.co/Yt6tAcnBQs
bun.sh
Bundle, install, and run JavaScript & TypeScript — all in Bun. Bun is a new JavaScript runtime with a native bundler, transpiler, task runner, and npm client built-in.
224
2K
7K
my favourite kind of software is the type that changes the _physics_ of your assumptions. this is just ridiculous.
runs 266 tests that SSR with react-dom 40% faster than jest can print its version number
1
6
142
In 11 days, bun goes into public beta. The initial focus is bun.js - an incredibly fast, modern JavaScript runtime.
21
63
643