Stan is a command-line tool for analysing Haskell projects and outputting discovered vulnerabilities in a helpful way with possible solutions for detected problems. Stan is searching for not only performance or error-prone code pieces, but it also can help with establishing and applying best-practices from the whole Haskell ecosystem.
Stan has a list of features that make it unique, easy to use and flexible to configure:
- Pretty analysis results, including both HTML and terminal reports
- Suggestions and possible solutions for fixing the existing problems
- Analysing not only Haskell source code, but also information from the
- Flexible runtime configuration via TOML and CLI
#haskell, #static, #analyzer, #ghc, #hie, #cli
Stan has a list of features that make it unique, easy to use and flexible to configure:
- Pretty analysis results, including both HTML and terminal reports
- Suggestions and possible solutions for fixing the existing problems
- Analysing not only Haskell source code, but also information from the
.cabal files- Flexible runtime configuration via TOML and CLI
#haskell, #static, #analyzer, #ghc, #hie, #cli
🔥1
This media is not supported in your browser
VIEW IN TELEGRAM
Sptify TUI is a Spotify client for the terminal written in Rust.
#rust, #spotify, #music, #cli, #terminal, #tui, #hacktoberfest
#rust, #spotify, #music, #cli, #terminal, #tui, #hacktoberfest
❤1
Python 3.9.0 is released!
Major new features of the 3.9 series, compared to 3.8
Some of the new major new features and changes in Python 3.9 are:
- PEP 573, Module State Access from C Extension Methods
- PEP 584, Union Operators in dict
- PEP 585, Type Hinting Generics In Standard Collections
- PEP 593, Flexible function and variable annotations
- PEP 602, Python adopts a stable annual release cadence
- PEP 614, Relaxing Grammar Restrictions On Decorators
- PEP 615, Support for the IANA Time Zone Database in the Standard Library
- PEP 616, String methods to remove prefixes and suffixes
- PEP 617, New PEG parser for CPython
- BPO 38379, garbage collection does not block on resurrected objects;
- BPO 38692, os.pidfd_open added that allows process management without races and signals;
- BPO 39926, Unicode support updated to version 13.0.0;
- BPO 1635741, when Python is initialized multiple times in the same process, it does not leak memory anymore;
- A number of Python builtins (range, tuple, set, frozenset, list, dict) are now sped up using PEP 590 vectorcall;
- A number of Python modules (_abc, audioop, _bz2, _codecs, _contextvars, _crypt, _functools, _json, _locale, operator, resource, time, _weakref) now use multiphase initialization as defined by PEP 489;
- A number of standard library modules (audioop, ast, grp, _hashlib, pwd, _posixsubprocess, random, select, struct, termios, zlib) are now using the stable ABI defined by PEP 384.
#python, #release
Major new features of the 3.9 series, compared to 3.8
Some of the new major new features and changes in Python 3.9 are:
- PEP 573, Module State Access from C Extension Methods
- PEP 584, Union Operators in dict
- PEP 585, Type Hinting Generics In Standard Collections
- PEP 593, Flexible function and variable annotations
- PEP 602, Python adopts a stable annual release cadence
- PEP 614, Relaxing Grammar Restrictions On Decorators
- PEP 615, Support for the IANA Time Zone Database in the Standard Library
- PEP 616, String methods to remove prefixes and suffixes
- PEP 617, New PEG parser for CPython
- BPO 38379, garbage collection does not block on resurrected objects;
- BPO 38692, os.pidfd_open added that allows process management without races and signals;
- BPO 39926, Unicode support updated to version 13.0.0;
- BPO 1635741, when Python is initialized multiple times in the same process, it does not leak memory anymore;
- A number of Python builtins (range, tuple, set, frozenset, list, dict) are now sped up using PEP 590 vectorcall;
- A number of Python modules (_abc, audioop, _bz2, _codecs, _contextvars, _crypt, _functools, _json, _locale, operator, resource, time, _weakref) now use multiphase initialization as defined by PEP 489;
- A number of standard library modules (audioop, ast, grp, _hashlib, pwd, _posixsubprocess, random, select, struct, termios, zlib) are now using the stable ABI defined by PEP 384.
#python, #release
❤1
Devhints is a ridiculous collection of cheatsheets.
Website: https://devhints.io/
#cheatsheets, #learning
Website: https://devhints.io/
#cheatsheets, #learning
🔥1
Stats is a macOS system monitor in your menu bar
Features:
- CPU utilization
- GPU utilization
- Memory usage
- Disk utilization
- Sensors information (Temperature/Voltage/Power)
- Battery level
- Network usage
#macos, #swift, #menubar, #monitoring
Features:
- CPU utilization
- GPU utilization
- Memory usage
- Disk utilization
- Sensors information (Temperature/Voltage/Power)
- Battery level
- Network usage
#macos, #swift, #menubar, #monitoring
🔥1
Gifcurry is the open-source, Haskell-built video editor for GIF makers. Load a video, make some edits, and save it as a GIF—Gifcurry makes your life easy! Most video formats should work, so go wild. And since it's made with Haskell, you know it's good.
#haskell, #animated, #gif, #gui, #ffmpeg, #gifmaker, #video
#haskell, #animated, #gif, #gui, #ffmpeg, #gifmaker, #video
👍1
Forwarded from Находки в опенсорсе
Elixir v1.11 released
Over the last releases, the #elixir team has been focusing on the compiler, both in terms of catching more mistakes at compilation time and making it faster. Elixir v1.11 has made excellent progress on both fronts. This release also includes many other goodies, such as tighter Erlang integration, support for more guard expressions, built-in datetime formatting, and other calendar enhancements.
During this period, we have also started publishing a series of production cases on our website, featuring Elixir’s usage at Brex, Farmbot, and Heroku, with many more cases coming soon.
Features:
- Tighter #erlang integration
- Compiler checks: application boundaries
- Compiler checks: data constructors
- Compilation time improvements
- config/runtime.exs and mix app.config
- And many others!
https://elixir-lang.org/blog/2020/10/06/elixir-v1-11-0-released/
Over the last releases, the #elixir team has been focusing on the compiler, both in terms of catching more mistakes at compilation time and making it faster. Elixir v1.11 has made excellent progress on both fronts. This release also includes many other goodies, such as tighter Erlang integration, support for more guard expressions, built-in datetime formatting, and other calendar enhancements.
During this period, we have also started publishing a series of production cases on our website, featuring Elixir’s usage at Brex, Farmbot, and Heroku, with many more cases coming soon.
Features:
- Tighter #erlang integration
- Compiler checks: application boundaries
- Compiler checks: data constructors
- Compilation time improvements
- config/runtime.exs and mix app.config
- And many others!
https://elixir-lang.org/blog/2020/10/06/elixir-v1-11-0-released/
👍1
FreeTube is an open source desktop YouTube player built with privacy in mind. Use YouTube without advertisements and prevent Google from tracking you with their cookies and JavaScript. Available for Windows, Mac & Linux thanks to Electron.
#javascript, #electron, #vue, #youtube, #client, #macos, #linux, #windows
#javascript, #electron, #vue, #youtube, #client, #macos, #linux, #windows
👍1
pgx is a framework for developing PostgreSQL extensions in Rust and strives to be as idiomatic and safe as possible.
#rust, #postgresql, #safe, #sql
#rust, #postgresql, #safe, #sql
👏1
Pokedex is a small demo application based on modern Android application tech-stacks and MVVM architecture.
This project is for focusing especially on the new library Hilt of implementing dependency injection.
Also fetching data from the network and integrating persisted data in the database via repository pattern.
#kotlin, #android, #pokemon, #example, #motion, #jvm
This project is for focusing especially on the new library Hilt of implementing dependency injection.
Also fetching data from the network and integrating persisted data in the database via repository pattern.
#kotlin, #android, #pokemon, #example, #motion, #jvm
🔥1
This media is not supported in your browser
VIEW IN TELEGRAM
Lottie is a mobile library for Android and iOS that natively renders vector based animations and art in realtime with minimal code.
#swift, #ios, #apple, #rendering, #animation, #transition
#swift, #ios, #apple, #rendering, #animation, #transition
👏1
Do you listen to podcasts about programming and software development in general?
Anonymous Poll
42%
Yes, I do
30%
Nope
28%
I'd like to, but I don't know where to start
👍1
Awesome Podcasts.
List of podcasts which are helpful for software engineers/programmers.
For ones who don't know where to start.
#podcasts, #awesome, #list
List of podcasts which are helpful for software engineers/programmers.
For ones who don't know where to start.
#podcasts, #awesome, #list
👍1
TypeORM is an ORM that can run in NodeJS, Browser, Cordova, PhoneGap, Ionic, React Native, NativeScript, Expo, and Electron platforms and can be used with TypeScript and JavaScript (ES5, ES6, ES7, ES8). Its goal is to always support the latest JavaScript features and provide additional features that help you to develop any kind of application that uses databases - from small applications with a few tables to large scale enterprise applications with multiple databases.
#typescript, #orm, #node, #javascript, #js, #ts, #postgresql, #mysql, #sqlite, #database
#typescript, #orm, #node, #javascript, #js, #ts, #postgresql, #mysql, #sqlite, #database
👍1
Carp is a small programming language designed to work well for interactive and performance sensitive use cases like games, sound synthesis and visualizations.
The key features of Carp are the following:
• Automatic and deterministic memory management (no garbage collector or VM)
• Inferred static types for great speed and reliability
• Ownership tracking enables a functional programming style while still using mutation of cache-friendly data structures under the hood
• No hidden performance penalties – allocation and copying are explicit
• Straightforward integration with existing C code
#haskell, #lisp, #language, #realtime
The key features of Carp are the following:
• Automatic and deterministic memory management (no garbage collector or VM)
• Inferred static types for great speed and reliability
• Ownership tracking enables a functional programming style while still using mutation of cache-friendly data structures under the hood
• No hidden performance penalties – allocation and copying are explicit
• Straightforward integration with existing C code
#haskell, #lisp, #language, #realtime
👍1