Warning: mkdir(): No space left on device in /var/www/hottg/post.php on line 59

Warning: file_put_contents(aCache/aDaily/2025-07-19/post/randomstuffilike/--): Failed to open stream: No such file or directory in /var/www/hottg/post.php on line 72
Очень крутой доклад Domain Driven Design made Dependently Typed от Andor Pénzes: https://www.youtube.com/watch?v=QBj-4K-l-sg @dd if=/dev/stuff of=/dev/tg
TG Telegram Group & Channel
dd if=/dev/stuff of=/dev/tg | United States America (US)
Create: Update:

Очень крутой доклад Domain Driven Design made Dependently Typed от Andor Pénzes: https://www.youtube.com/watch?v=QBj-4K-l-sg
Слайды и пример кода к докладу: https://github.com/andorp/order-taking

dd if=/dev/stuff of=/dev/tg
Очень крутой доклад Domain Driven Design made Dependently Typed от Andor Pénzes: https://www.youtube.com/watch?v=QBj-4K-l-sg
Слайды и пример кода к докладу: https://github.com/andorp/order-taking
YouTube
Domain Driven Design Made Dependently Typed
For more details see; https://github.com/andorp/order-taking/
My talk about DDD and the high level overview of the Idris implementation of the Domain Modeling Made Functional Book, where I used dependent types to formalize the Bounded Context and Workflow…
hottg.com/randomstuffilike/894
4.89K views


>>Click here to continue<<

dd if=/dev/stuff of=/dev/tg





Share with your best friend
VIEW MORE

Hide Telegram Chats in a New Folder

Follow the steps below to hide full Telegram chats by creating a new chat folder and moving them to that location.On your mobile device, tap on the hamburger menu in the upper-left corner.

Очень крутой доклад Domain Driven Design made Dependently Typed от Andor Pénzes: https://www.youtube.com/watch?v=QBj-4K-l-sg

dd if=/dev/stuff of=/dev/tg TG
Webview: 894
Telegram TG Webview: hottg.com/randomstuffilike/webview
Telegram TG Channel: dd if=/dev/stuff of=/dev/tg
Telegram Updated:

United States America Popular Telegram Group (US)


Warning: Undefined array key 3 in /var/www/hottg/function.php on line 115

Fatal error: Uncaught mysqli_sql_exception: Can't create/write to file '/tmp/#sql-temptable-a06e-53315c-1d30.MAI' (Errcode: 28 "No space left on device") in /var/www/hottg/function.php:216 Stack trace: #0 /var/www/hottg/function.php(216): mysqli_query() #1 /var/www/hottg/function.php(115): select() #2 /var/www/hottg/post.php(351): daCache() #3 /var/www/hottg/route.php(63): include_once('...') #4 {main} thrown in /var/www/hottg/function.php on line 216