​​JSON casting and validation library based on #elixir type specifications.

https://github.com/savonarola/edantic

> With the EoL of Python 2 being in line with development of #python 3.9 there were changes made to Python 3.9 that broke a lot of packages since many deprecation warnings became errors.

Well, Python is going to be broken again!

​​Introducing Mu for #haskell! This release comes w/ full support for building gRPC microservices, shifts a lot of checks to compile-time schemas & readily integrates with well-known Haskell libraries for many tasks. More here: https://www.47deg.com/blog/introducing-mu-haskell-0-1/

Docs: https://higherkindness.io/mu-haskell/

> Hi everyone! After exactly 365 days of very intensive development, I'm extremely happy to unveil the first stable release of Yarn 2. In this post I will explain what this release will mean for our community. Buckle up!

#js

​​ScalaPy: use #python libraries from the comfort of #scala

Notable features:

- Complete Ecosystem: Use any Python library you can dream of. Want to train neural networks on GPUs with TensorFlow? ScalaPy supports it.
- Strong Typing: Add type definitions for Python libraries as you go to catch bugs before they happen in production.
- Performant Interop: Compile to native binaries with Scala Native to unlock maximum performance with direct bindings to CPython.

https://scalapy.dev/

​​Learn languages with fun 🎉

Browser extension for learning languages with watching movies and TV shows. Has integrations with multiple video services.

https://easysubs.co/

#ts

> One of the strengths of Clojure is the ability to interoperate with and harness the power of the JVM. But this interoperability comes with its baggage. For one, we can never really ignore the JVM — things like class loading, garbage collection, byte code interpreter, JIT compiler— for another, we simply have to respect the semantics of the JVM. In this post, we talk about one such semantic — the shutdown sequence of the JVM, how it translates to Clojure programs and how best to productionise it, while keeping business requirements unhampered during the shutdown process.

#closure

Internet debates about typing disciplines continue to be plagued by a pervasive myth that dynamic type systems are inherently better at modeling “open world” domains. The argument usually goes like this: the goal of static typing is to pin everything down as much as possible, but in the real world, that just isn’t practical. Real systems should be loosely coupled and worry about data representation as little as possible, so dynamic types lead to a more robust system in the large.

This story sounds compelling, but it isn’t true.

​​Haskell, the pure and lazy functional programming language, has now been around for more than 25 years. It had a profound influence on many other programming languages on the JVM: Java, Clojure and Scala and elsewhere: Purescript, Swift, Go (just kidding, not Go :-)). In this talk you will discover which #haskell constructs have made it to mainstream programming languages and change the way you program today. You will also get a glimpse of the features which are yet to be transferred for our greatest benefit. Warning: after this talk you might be tempted to try the real thing!

​​A local development and DevOps tool for all your projects that is fast, easy, powerful and liberating.

Lando is for developers who want to:

- Quickly specify and painlessly spin up the services and tooling needed to develop their projects.
- Ship these local development dependencies in a per-project, lives-in-git config file
- Automate complex build steps, testing setups, deployments or other repeated-more-than-once workflows
- Avoid the built-in-masochism of directly using docker or docker-compose

https://github.com/lando/lando

Personal opinion: I don't like adding even more abstraction layers on top of docker-compose and docker, but I am interested to see where it goes.

#js #devops

Kotlin source code documentation management tool.

This is a tool that produces #kotlin source example files and tests from markdown documents with embedded snippets of Kotlin code. It also helps to add links to the API documentation website into the documents and has a few other helpful markdown-management features.

https://github.com/Kotlin/kotlinx-knit

Similar to doctests in Python. My ❤️ type of tests!

Understanding best-practice #python tooling by comparing popular project templates.

> I always find it difficult to have a balanced opinion about Python best-practices. The hype-driven tech world makes it difficult to filter signal from noise. A newly advertized tool often sounds great on paper, but is it actually making me a more effective engineer? Or is it just one more thing I need to look after, by adding more complexity than value?

Article itself: https://medium.com/@jonas.r.kemper/understanding-best-practice-python-tooling-by-comparing-popular-project-templates-6eba49229106

Spreadsheet with results: https://docs.google.com/spreadsheets/d/1W2I9Di-_PEPicMUR2_Kj9WRoeYCaOJLVBPSR8AsfZy8

​​Verchew is an embeddable #python script to check the versions of your project's system dependencies. Its only external dependency is any Python interpreter, which should already be installed on macOS and most Linux-based operating systems.

https://verchew.readthedocs.io/en/v1.0/

​​Diagrams as code!

Turn #python based DSL into beatiful graphics. Diagrams currently supports four major providers: AWS, Azure, GCP and Kubernetes.

https://github.com/mingrammer/diagrams

​​Official #github CLI.

https://cli.github.com/

​​D-Tale is the combination of a Flask back-end and a React front-end to bring you an easy way to view & analyze Pandas data structures. It integrates seamlessly with ipython notebooks & python/ipython terminals and PyCharm. Currently this tool supports such Pandas objects as DataFrame, Series, MultiIndex, DatetimeIndex & RangeIndex.

#python #react

​​Mint: The programming language for writing single page applications.
Mint has all the tools you need to write error free, easily readable and maintainable applications in record time.

Language features:

- Reusable components
- Styling
- Routing
- Global and local state handling
- Synchronous and asynchronous computations that might fail

Docs: https://www.mint-lang.com/
Playground: https://sandbox.mint-lang.com/

Personal opinion: I love programming languages. And I really respect people who build them. And I know that it is fun. But, a new language to color and move your buttons on web pages? Use #elm it has all the things you might need.

#js #css #html

> When we set out to rebuild our own website simplabs.com in 2019, we wanted to use that project as an opportunity to ignore all economic considerations (and reason you could say) and dive deep into what was technically possible. Doing so would allow us to build something that was super customized for our specific needs and highly optimized for performance. We ended up spending a lot of time and effort but are quite pleased with the result.

> While we cannot recommend anyone following our example as your time is most likely better spent elsewhere, this post explains the approach we took. I will be covering topics like static pre-rendering and client-side rehydration, advanced bundling and caching strategies as well as service workers.

> In most testing frameworks, you’re expected to write a lot of low-level tests and few high-level tests. The reasoning is that end-to-end tests are slow and expensive and only cover a tiny amount of the program’s state space. It’s better to focus on testing all the parts in isolation versus testing that they all work together.

> In practice, global correctness does not follow from local correctness. It’s possible for every part to be individually rock-solid but the system to be broken as a whole. One way this happens is with feature interaction (FI) bugs, where different features combine to break global properties.

​​Type Router: a flexible, type safe routing library.

First and foremost Type Route strives for excellent TypeScript support. An API designed for static analysis not only means the compiler has your back but also enables your editor to provide intelligent hints and warnings as you code.

https://www.type-route.org/

I had a blog post last year about problems in typing Vue and it includes router as one of the weakest points: https://sobolevn.me/2019/06/really-typing-vue

I am glad that people are working on it!

#vue #react #ts

​​Doorstop is a requirements management tool that facilitates the storage of textual requirements alongside source code in version control.

When a project leverages this tool, each linkable item (requirement, test case, etc.) is stored as a YAML file in a designated directory. The items in each directory form a document. The relationship between documents forms a tree hierarchy. Doorstop provides mechanisms for modifying this tree, validating item traceability, and publishing documents in several formats.

https://github.com/doorstop-dev/doorstop/

#python