Jason

911 posts

Jason banner
Jason

Jason

@jhwohlgemuth

Jesus follower. Husband. Father of 3. Progressive programming polyglot pursuing perfect software. Solutions scientist @ORNL.

Knoxville, TN Katılım Ocak 2014
1.9K Takip Edilen105 Takipçiler
Jason
Jason@jhwohlgemuth·
@browseros_ai looks neat. I have not used it extensively yet, but it is pretty cool you get 50 credits every day. Linux support is also really important. I will be using it and comparing it to @comet (which I really like).
English
0
0
0
5
Jason retweetledi
Jason retweetledi
U.S. Marines
U.S. Marines@USMC·
Chuck Norris didn't join the Marine Corps...the Marine Corps applied to him. Heaven’s streets have always been guarded by Marines. Today, Chuck Norris reported for duty. We mourn the passing of Chuck Norris, a @usairforce veteran, who also became an honorary Marine in 2007 when awarded the title by then Commandant of the Marine Corps, Gen. James T. Conway. Chuck Norris is one of just over 100 individuals to be awarded the title of Honorary Marine in the entire 250-year history of the Corps. Some missions may require a battalion, but this one just requires an Honorary Marine. #USMCHistory #USMC #SemperFidelis
U.S. Marines tweet mediaU.S. Marines tweet media
English
1.4K
20.6K
126.5K
2.4M
NVIDIA GeForce
NVIDIA GeForce@NVIDIAGeForce·
🟢 GEFORCE DAY IS BACK 🟢 To celebrate, we're giving away TWO GeForce RTX 5080 Founders Edition GPUs, signed by NVIDIA CEO Jensen Huang. Want one? Comment "GeForce Day" for a chance to WIN & stay tuned for more!
NVIDIA GeForce tweet media
English
57.9K
3.5K
47.3K
5.9M
Jason
Jason@jhwohlgemuth·
@miniapeur It’s pronounced “coo-yay” lol
English
0
0
2
431
Mathieu
Mathieu@miniapeur·
Mathieu tweet media
ZXX
63
1.2K
14.5K
535.8K
Jason retweetledi
Formal Land 🌲
Formal Land 🌲@FormalLand·
A goal of formal verification is to actually reduce your security cost by putting a robot 🤖 in your CI auditing every input, all the time.
Formal Land 🌲 tweet media
English
0
2
5
239
Jason retweetledi
Formal Land 🌲
Formal Land 🌲@FormalLand·
A good reason not to write tests.
Formal Land 🌲 tweet media
English
1
2
9
343
Jason retweetledi
Charlie Marsh
Charlie Marsh@charliermarsh·
vLLM now recommends uv's `--torch-backend=auto` for automatic CUDA selection at install-time
Charlie Marsh tweet media
English
2
19
317
26.1K
Jason retweetledi
Dioxus 🧬
Dioxus 🧬@dioxuslabs·
shadcn-dioxus? 👀 first party primitive ui components coming in dioxus 0.7
Dioxus 🧬 tweet media
English
15
26
384
12.4K
Jason retweetledi
Biome
Biome@biomejs·
Biome v2—codename: Biotype is here! The first type-aware linter that doesn't require tsc 🔐 Type-aware lint rules 🧑‍🚒 Plugins 📚 Monorepo support 📝 Revamped, configurable import sorting 🧐 Linter domains 🙅‍♀️ Bulk suppressions 👩‍✈️ Analyzer assist
English
37
206
1.5K
167.4K
Jason retweetledi
Cesium
Cesium@CesiumJS·
地震による建物被害をどう推定・可視化するか。大阪公立大学・金子健作博士の「MeSM」はAI×3D都市モデルで数十万棟の被害を推定し、CesiumJSで都市全体を描く。複数の防災データを重ね合わせて可視化する取り組みも進行中。詳細はこちら:hubs.li/Q03sb8mr0
Cesium tweet media
日本語
0
8
47
4.6K
Jason retweetledi
Inochi2D
Inochi2D@Inochi2D·
We've introduced some new contribution guidelines to address the growing issue of broken PRs and issues created via generative AI and LLMs. TL;DR: Please ensure you understand what you're sending in and test that it actually works/makes sense. See: github.com/Inochi2D/inoch…
Inochi2D tweet mediaInochi2D tweet media
English
0
5
18
2.9K
Jason retweetledi
Charlie Marsh
Charlie Marsh@charliermarsh·
You can set `UV_TORCH_BACKEND=auto` and uv will automatically install the right CUDA-enabled PyTorch for your machine, zero configuration
Charlie Marsh tweet media
English
71
222
2.5K
191.2K
Jason retweetledi
Jason retweetledi
Charlie Marsh
Charlie Marsh@charliermarsh·
During development, we've been running ty over a (real) >15 million line-of-code Python application. On my machine, it completes in about 12.5 seconds. Mypy took 38 minutes. Pyright crashed (ran out of memory).
English
28
35
1.1K
61.1K
Jason retweetledi
Ubuntu
Ubuntu@ubuntu·
𝘀𝘂𝗱𝗼 is getting a makeover, based on Rust. 🦀 We’re excited to announce that Ubuntu will be the first major Linux distribution to adopt 𝘀𝘂𝗱𝗼-𝗿𝘀 as the default implementation of 𝘀𝘂𝗱𝗼, in partnership with the Trifecta Tech Foundation. Jon Seager, VP Engineering at Canonical, shares the full details here: discourse.ubuntu.com/t/adopting-sud… #Ubuntu #RustLang
English
329
597
4.8K
896.9K
Jason retweetledi
Formal Land 🌲
Formal Land 🌲@FormalLand·
Something that came out of "Formal Methods for RUST" at ICSE 2025: - Formal methods should be accessible to developers, as there is a lack of formal engineers. 🤗 - Automated verification is brittle and hard to maintain at scale. 🧨 The two seem incompatible!
English
1
5
22
809