Sabitlenmiş Tweet
jam@都内SWE
7K posts
jam@都内SWE
@whyamihere001
🇯🇵←🇹🇳 | crud engineer | *.{c,go,py,ts,j̷͎̬̈͝ā̵̹v̶͎͋a̷̹͉͑} | p̶y̶t̶h̶o̶n̶ java pays the bills | 🍉
Japan Katılım Aralık 2018
5.5K Takip Edilen274 Takipçiler
jam@都内SWE retweetledi
Easily fix your resumee gaps on github with my crazy intuitive tool
English
jam@都内SWE retweetledi
@charliermarsh Type hints are turing complete, so you can always construct a type hint that a type checker can't prove the evaluation will halt: arxiv.org/abs/2208.14755
English
jam@都内SWE retweetledi
On this 126 byte snippet:
- ty 0.0.65 stack-overflows
- mypy 2.3.0 segfaults
- Pyright 1.1.411 times out
- Pyrefly 1.1.1 panics
- Pycroscope 0.4.0 exits with an internal error
English
jam@都内SWE retweetledi
@Drone_Wars_ Imagine being dismembered limb by limb from a robotic centaur with a chainsaw
English
jam@都内SWE retweetledi
@ElliotGlazer The best way to remove all Lean kernel bugs is to help Mario finish the formal proof of Lean’s correctness (both the type theory and the kernel) in github.com/digama0/lean4l…. I think those who are good at AI for Lean could be especially helpful here.
English
jam@都内SWE retweetledi
jam@都内SWE retweetledi
Asking my grandma to weave me more RAM because it's too expensive to buy
nicole@digitlartifacts
women hand weaving memory for the early computers used on apollo lunar missions
English
jam@都内SWE retweetledi
jam@都内SWE retweetledi
“When everything burns the horses will run wild again” I mutter to myself after my 6th beer at 4pm
Future Adam Curtis B-Roll@adamcurtisbroll
Horses run through Biscarrosse in southwestern France after a fast-moving wildfire forces equestrian center staff to release them, July 2026.
English
jam@都内SWE retweetledi
jam@都内SWE retweetledi
I just put Claude under a punishment to scroll the Codex website for three hours for doing a bad job.
English
jam@都内SWE retweetledi
Watching The Odyssey the way
Christopher Nolan intended
English
jam@都内SWE retweetledi
jam@都内SWE retweetledi
I can finally share a prototype of the AI-generated art installation I’m building for my office using 16-segment displays.
English
jam@都内SWE retweetledi
my OpenClaw just put this on my calendar, is that a good thing
English
jam@都内SWE retweetledi
jam@都内SWE retweetledi
