Some <| CoolStuff()
60 subscribers
115 photos
44 videos
3 files
356 links
Pieces of interesting stuff
Admin: @slavonchick
Download Telegram
#prog #type_theory
Вот это хорошо, для знакомства
Forwarded from PONV Daily (Sergey Kucherenko)
123.pdf
175.2 KB
"It's Easy As 1, 2, 3" by Gharam Hutton.

Если вы учили теорию типов по мемам, эта статья для вас: поможет организовать знания.
#prog #job_discussion

В статье, вроде бы, известные вещи говорятся, и всё же можно подчерпнуть для себя идеи для реализации на галере

https://stackoverflow.blog/2021/02/17/the-pros-and-cons-of-being-a-software-engineer-at-a-big-tech-company/
#prog #dotnet
POH - Pinned Object Heap, отдельная куча для запиненных объектов, появившаяся в .NET 5. В статье рассказывается о том, как она работает.

https://devblogs.microsoft.com/dotnet/internals-of-the-poh/
#prog #dotnet #fsharp

Ооо, дааааа! Наконец-то, #r "nuget: ..." (возможность "на лету" загрузить пакеты в fsi) поддерживается в VS 2019!

https://devblogs.microsoft.com/dotnet/f-and-f-tools-update-for-visual-studio-16-9/
#prog #powershell

PowerShell становится ещё удобнее с фичей Dynamic Help. Это позволит читать доку не отрываясь от работы в терминале.

https://devblogs.microsoft.com/powershell/announcing-psreadline-2-2-beta-2-with-dynamic-help/
Forwarded from PowerShell
📌 v7.1.3 Release of PowerShell

Engine Updates and Fixes:
- Remove the 32K character limit on the environment block for Start-Process
- Fix webcmdlets to properly construct URI from body when using -NoProxy

General Cmdlet Updates and Fixes
- Fix PromptForCredential() to add targetName as domain

Build and Packaging Improvements
- Bump .NET SDK to 5.0.4