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

10 similar posts found

djangoproject

@djangoproject · Post #505 · 11/26/2017, 09:27 PM

https://medium.com/@brianray_7981/jupyterlab-first-impressions-e6d70d8a175d JupyterLab first impressions I’m not new to the #Python evolution from the c Python shell, to #iPython, to iPython notebooks, to #Jupyter, and now keeping a close eye on #JupyterLab, an #IDE currently is approaching Beta. I ran into Fernando Perez in San Francisco after BDFL Guido talk and told Fernando stories how a mentor of mine (RIP John Hunter) had shown me the ipython shell many years ago and I failed to notice the significance. I did end up using ipython shell. Soon after, I said the similar so-what thing to a Web Journalist Adrian Holovaty when he said he had created a web frame which later became Django Web Framework. I ended up using #Django. I’ve learned my lesson and taken note this time and will pay better attention. All eyes are on JupyterLab. I hope to be an early adopter of JupyterLab and here is my first look!

Go

@golang · Post #39 · 02/16/2018, 07:46 PM

GoLand 2018.1 EAP by the JelBrains company - new features and performance improvements has been announced! #development#IDE https://blog.jetbrains.com/go/2018/01/22/welcome-goland-2018-1-eap-better-inspections-completion-performance-and-more/

FOSS Post

@fosspost · Post #772 · 10/05/2021, 05:48 AM

Version 3.10 of the legendary programming language is now here: https://www.python.org/downloads/release/python-3100 No rush to update, though. #Python

Hashtags

FOSS Post

@fosspost · Post #593 · 12/23/2020, 05:38 PM

#Python is the main language of data science, per this analysis on 10M Jupyter Notebooks: https://blog.jetbrains.com/datalore/2020/12/17/we-downloaded-10-000-000-jupyter-notebooks-from-github-this-is-what-we-learned/

Hashtags

The Devs

@thedevs · Post #1905 · 04/29/2021, 02:38 PM

Rust is for professionals. #article#rust @thedevs https://kutt.it/sjcyjP

The Devs

@thedevs · Post #2110 · 05/17/2024, 08:53 AM

100 exercises to learn Rust. #tutorial#rust @thedevs @thedevs_rust https://thedevs.link/BjMALg

Libreware

@libreware · Post #1578 · 04/19/2026, 04:20 PM

Speed of Sound #Voice#typing for the #Linux desktop: Features Offline, on-device transcription powered by Whisper, Parakeet, Canary, and more. No data leaves your machine. Multiple activation options: click the in-app button or use a global keyboard shortcut. Types the result directly into any focused application using Portals for wide desktop support (X11, Wayland). Multi-language support with switchable primary and secondary languages on the fly. Works out of the box with a built-in multilingual Whisper model. Download additional models from within the app to improve accuracy and language coverage. Optional text polishing with LLMs (Anthropic, Google, OpenAI), with support for a custom context and vocabulary. Supports self-hosted services like vLLM, Ollama, and llama.cpp (cloud services supported but not required). Getting Started The easiest and recommended way to install Speed of Sound is from Flathub or from the Snap Store. Alternatively, AppImage, Deb, and RPM packages are also available from the releases page. For initial configuration, troubleshooting, and other resources, visit speedofsound.io #stt

djangoproject

@djangoproject · Post #433 · 09/07/2017, 11:11 AM

https://docs.python.org/3/library/gettext.html The #gettext module provides internationalization (#I18N) and localization (#L10N) services for your #Python modules and applications. It supports both the #GNU gettext message catalog #API and a higher level, class-based API that may be more appropriate for Python files. The interface described below allows you to write your module and application messages in one natural #language, and provide a catalog of #translated messages for running under different natural languages. Some hints on localizing your Python modules and applications are also given.