TGTGInsighttelegram intelligenceLIVE / telegram public index
← GitHub Trends

TGINSIGHT SIMILAR POSTS

Find similar content

Source channel @githubtrending · Post #14724 · May 19

#rust#code_quality#ide#language#language_server#lsp#python#rust#type_check#type_checker#typecheck#typechecker#types#typing Pyrefly is a fast tool for checking Python code. It helps catch mistakes before you run your code, making it easier to write reliable programs. Pyrefly can work with both new and old Python projects, even if they don't have type information. It integrates well with editors like VSCode, providing features like auto-completion and code refactoring. This makes coding faster and more efficient, helping you avoid bugs and making your code easier to understand and maintain. https://github.com/facebook/pyrefly

Results

2 similar posts found

Search: #nearearthobjects

当前筛选 #nearearthobjects清除筛选
Universe Mysteries 🪐

@cosmomyst · Post #183 · 08/24/2025, 04:11 PM

🪐 The asteroid (410777) 2009 FD is a near-Earth object roughly 472 meters wide, with an orbit that brings it uncomfortably close to our planet every few decades. Although calculations show it poses no immediate threat, its path is closely watched because even moderate-sized objects like 2009 FD can cause widespread devastation if they ever collide with Earth. ✨ #asteroids⚡#planetarydefense⚡#nearearthobjects⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries ​

Universe Mysteries 🪐

@cosmomyst · Post #136 · 08/15/2025, 01:11 PM

🪐 The asteroid (7335) 1989 JA is classified as a "potentially hazardous asteroid" because it's over 1.8 kilometers wide and its orbit brings it close enough to Earth to be watched carefully by astronomers. In 2022, it made a safe pass at about 4 million kilometers from our planet, but its great size means that any future close approach will always be closely monitored for any change in its path. ✨ #asteroids⚡#danger⚡#nearearthobjects⚡#nasa⚡#galaxy⚡#stars⚡#astronomy⚡#universe⚡#cosmos⚡#space 👉subscribe Universe Mysteries