اشتراک‌ها
اف استار، زبان جدیدی از مرکز تحقیقات مایکروسافت

F*: A Higher-Order Effectful Language Designed for Program Verification 

F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types.  

اف استار، زبان جدیدی از مرکز تحقیقات مایکروسافت
اشتراک‌ها
استفاده از NET. در نرم افزارهای سازمانی صنایع هوایی

Tesla and SpaceX 

Elon Musk holds the conviction that technology should help business to move faster and that Microsoft products are designed with this idea in mind. This is is probably why both his famous enterprises use Microsoft Web Platform for enterprise software development.

استفاده از  NET. در نرم افزارهای سازمانی صنایع هوایی
اشتراک‌ها
6.1 PowerShell Core متشر شد.

PowerShell Core is a cross-platform (Windows, Linux, and macOS) automation and configuration tool/framework 

6.1 PowerShell Core متشر شد.
اشتراک‌ها
درک مفهوم شردینگ دیتابیس

یک الگوی طراحی دیتابیس در حالت پارتیشن بندی افقی است. بیشتر برای زمانی مفید است که توسعه دیتابیس به صورت پویا مدنظر باشد.


Any application or website that sees significant growth will eventually need to scale in order to accommodate increases in traffic. For data-driven applications and websites, it's critical that scaling is done in a way that ensures the security and integrity of their data. It can be difficult to predict how popular a website or application will become or how long it will maintain that popularity, which is why some organizations choose a database architecture that allows them to scale their databases dynamically. 

درک مفهوم شردینگ دیتابیس
اشتراک‌ها
کوئری در معماری CQRS

A read stack essentially consists of two components: a collection of Data Transfer Objects (DTOs) to deliver data up to the presentation layer and a database context to perform physical reads and populate DTOs 

کوئری در معماری CQRS
اشتراک‌ها
croc ابزاری است که به هر دو کامپیوتری امکان انتقال ساده و ایمن فایل‌ها و فولدرها را می دهد.

croc is a tool that allows any two computers to simply and securely transfer files and folders. AFAIK, croc is the only CLI file-transfer tool that does all of the following:

  • allows any two computers to transfer data (using a relay)
  • provides end-to-end encryption (using PAKE)
  • enables easy cross-platform transfers (Windows, Linux, Mac)
  • allows multiple file transfers
  • allows resuming transfers that are interrupted
  • local server or port-forwarding not needed
  • ipv6-first with ipv4 fallback 
croc ابزاری است که به هر دو کامپیوتری امکان انتقال ساده و ایمن فایل‌ها و فولدرها را می دهد.
اشتراک‌ها
معماری Vertical Slice بهتر است از کار با لایه‌ها!

Vertical Slice Architecture, not Layers! 

Why Vertical Slice Architecture? Nobody wants to deal with a system that is hard to change and easy to introduce bugs because it's a spaghetti code mess of various technical concerns. Clean Architecture is popular because it separates concerns into many different layers. But why are we organizing code by layers? Does adding a new feature require you to modify files across multiple projects in your UI, business, and data access layers? Vertical Slice Architecture is about how you organize code and focus on features instead of technical layers will make your system easier to change. 

معماری Vertical Slice بهتر است از کار با لایه‌ها!