All streams

There have been many discussions about which programming language is better in terms of security and correctness of source code (by "correctness and security" we mean the absence of various errors in the program that manifest themselves at the stage of its execution and lead to the issuance of an incorrect result or unexpected behavior). And some programming languages, such as SPARK or OCaml, were even specially developed to facilitate the proof of program correctness.

Is it possible to write programs without errors at all?

Postgres Pro Enterprise 17 introduces major improvements in performance and scalability. The key feature of this new release is the proxima extension, which combines connection pooling, proxying, and load balancing within the database core. Developers also gain improved tools for managing message queues, optimizing queries, enhancing security, and utilizing smart data storage. Want to know how these and other features can impact your applications and simplify database administration?

This article provides a brief overview of the release, accompanied by the links to more detailed information.

Are you looking for a free alternative to ChatGPT? If so, you’re in the right place! In this article, I will introduce you to HuggingChat, an open-source AI chatbot from Hugging Face. Unlike other AI models like ChatGPT or Gemini, HuggingChat runs on various open-source models that you can explore, modify, and even fine-tune according to your needs. Let’s dive in!

Portfolio is one of the most important things a UX designer should have - it plays a defining role during the job application process. In professional circles it is even called a designer’s “calling card”. Portfolio is not just a collection of your work - it’s your way to present yourself, your problem-solving skills and your talent. No matter whether you’re a freelance designer who posts their portfolio online to attract clients, or if you prepare a portfolio for the HR team at a job interview, you should try to make it look both serious and interesting, while not overloading it with too much information. In this article we’ve collected a list of components that a good portfolio should contain and mistakes that should be avoided when compiling it - let’s discuss them.

Statistically, September CommitFests feature the fewest commits. Apparently, the version 18 CommitFest is an outlier. There are many accepted patches and many interesting new features to talk about.

If you missed the July CommitFest, get up to speed here: 2024-07.

Obsidian is one of the best note-taking apps available today. It provides a powerful, Markdown-based experience with local-first storage. However, there is one problem: the official sync feature costs around $8 per month. What if I told you there’s a way to sync your notes across multiple devices completely free? In this guide, I will walk you through a method using GitHub and Git that allows you to keep your notes in sync without spending a dime.

This article is an author's and AI-assisted translation of the russian one ( https://habr.com/ru/articles/864770/ ) into English

Cars are among the most technologically advanced consumer-level devices on the market. They have been shaping lifestyles, laws, supply chains, and many other aspects of human society's evolution.

But today, we’re witnessing a silent revolution – one driven not by hardware, but by software. Modern cars are no longer just machines; they’re dynamic, evolving platforms powered by code. This transformation is reshaping every aspect of the automotive industry, from design and manufacturing to ownership and recycling.

In my latest article, I explore six levels of evolution brought about by software’s growing role in vehicles and related fields:

Capabilities - Over-the-air updates and digital twins unlock new features and extend hardware lifespans.
Design - Digital platforms replace manual processes, enabling faster innovation.
Architecture - Modular systems open doors to new partnerships and revenue streams.
Engineering - Agile, feature-centric paradigms align hardware and software development.
Manufacturing - Factories become dynamic, software-driven ecosystems for flexibility and sustainability.
Lifecycle - Software extends vehicle lifecycles, from supply chains to closed-loop recycling.

This transformation isn’t just about technology – it’s about reimagining the industry itself. Do we need a revolution to achieve a better, more sustainable future, or do we already have the tools to evolve?

The automotive industry is at a crossroads. For engineers, it demands fluency in code. For industries, it requires agility. For the planet, it offers a roadmap to reconcile mobility with sustainability.

The road ahead is coded, but the destination is open-ended – shaped by collaboration, innovation, and the choices we make today.

The Reason Your Presale is Broken 

I’ve been asked by the men that I work with in Russian IT companies to write down the reasons pre-cell meetings are not succeeding. 

What classically happens is that the company does very well in the:

- initial contact of the client

- Looking professional and gaining the trust of the client

- Having the client open up and discuss their pain points

DeepSeek R1 is an exciting AI model that you can run locally without relying on cloud services. In this guide, I’ll show you step-by-step how to set up and run DeepSeek R1 Distilled using Ollama and Open WebUI. By the end, you’ll have a fully functional local AI chatbot accessible via your web browser! If you are ready, then let's get started! ;-)

In recent years, discussions about the environmental impact of information and communication technologies (ICTs) have largely revolved around hardware — data centers, electronic waste, and energy consumption. However, an equally important factor has been overlooked: the software development methodologies themselves.

When I read the UNCTAD “Digital Economy Report 2024”, I was struck by the complete absence of any mention of how programming methodologies impact sustainability. There was no discussion of whether developers use algorithm-centric or code-centric methodologies when creating software, nor how these choices affect the environment.

This realization led me to introduce the concept of Eco-Methodological Sustainability — a new approach that highlights the role of structured software development methodologies in shaping an environmentally sustainable future for the digital economy.

Memory leaks in Node.js can be silent killers for your applications. They degrade performance, increase costs, and eventually lead to crashes. Let’s break down common causes and actionable strategies to prevent or fix them.

Up to a certain point, I sincerely believed that in today’s world manual CAPTCHA recognition was gradually becoming an anachronism, especially when it came to such simple CAPTCHAs as image-based ones—where one merely needs to read text off a photograph and input it as plain text. But as it turns out, things aren’t quite so straightforward (no matter how it may sound).

Do you want to use a local LLM inside Obsidian, similar to ChatGPT, completely free? If yes, then this guide is for you! I'll walk you through the exact steps to install and use DeepSeek-R1 Model in Obsidian, so you can have an AI-powered second brain right inside your notes.

Intro:

This document is designed to assist managers and teams in crafting high-quality OKRs that maintain focus on executing the company's strategy and achieving ambitious results.

It is recommended to use these quality checklists during quarterly planning when formulating OKRs for the new period.

They will help you find potential areas of improvement and strengthen your OKRs.

As someone who's always curious about the latest advancements in AI technology, I discovered DeepSeek. It's an AI model that has been making waves in the tech community for the past few days. In this article, I'll share my experience with DeepSeek, covering its features, how it compares to ChatGPT, and a practical guide on installing it locally.

tl;dr; in the modern TS/JS landscape and overall tooling trends, better stick with static code generators, they are more performant in many ways, easier to integrate into apps, other tools and the multitude of modern JS runtimes. My new tool is as good as other static code generators, but it also produces strictly type safe code and unit tests for you.

This post goes into a rather deep comparison of my new tool Type Predicate Generator (from here just Generator) to other runtime type checkers, also giving a rather broad overview of the related topics. To get a sense of what it does try checking the Playground first.

If you're about to create your first tool for the TypeScript ecosystem the insights in this article will help you hit the ground running.

I wanted to come on here and tell all of you that we should be expecting a big increase in international business in the next short period of time. I would expect this increase within these next few months. 

Changes are happening right now in America that are World sweeping. Just today the news is extreme about the ending of the war and promoting of international business.

It’s extremely important that if you are running an IT company that you are ready to take advantage of this. 

Написал лонгрид на английском о текущем состоянии открытых средств проектирования ASIC-ов. Заодно познакомил англоязычных читателей с практиками шаманов Сибири и фигурой Ивана Сусанина. Упомянул планируемые семинары в Мексике и Армении.

A text on the current state of Open-source ASIC design tools. Includes side discussions of the upcoming hackathons in Mexico and Armenia, Docker and Python, Static Timing Analysis and RISC-V, Siberian shamans and treacherous swamps in Belarus.

Obsidian is a powerful note-taking app with a ton of features that can boost your productivity. Here, I’ll walk you through some of my top features and how you can use them effectively. Each feature includes a simple explanation, tips for use, and examples to help you get started.