WordofTheHour#imperative : expressive of command
- French: impératif
- German: dringend
- Italian: imperativo
- Portuguese: imperativo
- Spanish: imperativo
------------
Try Christian's word chain building game @ https://wordwallgame.com
WIST Quotations Has Moved!It is true, the bill is said to be founded on necessity; but what is this? Is it not necessity, which has always been the plea of every illegal exertion of power, or exercise of oppression? Is not necessity the pretence of every usurpation? Necessity is the plea for every infringement of human freedom. It is the argument of tyrants; it is the creed of slaves.
William Pitt (1759-1806) British Prime Minister (1804-06) [William Pitt the Younger]
Speech (1793-11-18), House of Commons, London
More info about this quote: wist.info/pitt-william/3164/
#quote #quotes #quotation #qotd #williampitt #control #emergency #excuse #government #imperative #justification #necessity #need #oppression #power #pretense #security #servility #tyranny
#imperative : expressive of command
- French: impératif
- German: dringend
- Italian: imperativo
- Portuguese: imperativo
- Spanish: imperativo
------------
Try Christian's word chain building game @ https://wordwallgame.com
Vivekanandan KS 
(vivek)@finner
#Nix became an awesome ecosystem, it's not just one thing now. All the projects of it doing awesome things.
Scripts are imperative, Nix idea is like declarative and atomic in nature no midway script fails and undo problems etc.
If u wanna read about nix shells have a look at this, I made this for a workshop few weeks back. It's almost like blog, so u get everything from basics.
https://docs.google.com/presentation/d/1sFSG0As2L9cWjJ8qcRS6O4XDrMPe-WSlbu2oKryPIWM/
#nix #shells #scripts #imperative #declarative #atomic #workshop #blog
A quotation from William James
Without any exception known to me, militarist authors take a highly mystical view of their subject, and regard war as a biological or sociological necessity, uncontrolled by ordinary psychological checks or motives. When the time of development is ripe the war must come, reason or no reason, for the justifications pleaded are invariably fictions. War is, in short, a permanent human obligation.William James (1842-1910) American psychologist and philosopher
Essay (1910-02), “The Moral Equivalent of War,” Popular Science Monthly, Vol. 77 (1910-10)
More info about this quote: wist.info/james-william/79447/
#quote #quotes #quotation #qotd #williamjames #inevitability #duty #obligation #aggression #holywar #humancondition #humannature #imperative #violence #war #warmongering
Moshville TimesNew post: Album Review: Various Artists – Imperative Music Compilation Volume 19 https://www.moshville.co.uk/reviews/album-review/2025/09/album-review-various-artists-imperative-music-compilation-volume-19/ #Imperative
@joepie91
#Declarative #manifests are great. But when #people start #practicing the declarative #idea they'll #love it. Coz almost all #programs from #shells, #terminals, #programs have #configuration #files, whose #workflow is kind of, do changes and apply and repeat, that's all. That'll be a good #future #practice too.
#Imperative workflows are currently okayish for #GUI #applications, eg: changing a #setting in GUI and it'll store in declarative #manifest. That'll #help us all move forward.
#Declarative #manifests are great. But when #people start #practicing the declarative #idea they'll #love it. Coz almost all #programs from #shells, #terminals, #programs have #configuration #files, whose #workflow is kind of, do changes and apply and repeat, that's all. That'll be a good #future #practice too.
#Imperative workflows are currently okayish for #GUI #applications, eg: changing a #setting in GUI and it'll store in declarative #manifest. That'll #help us all move forward.
Hacker NewsExperimental imperative-style music sequence generator engine
https://github.com/renoise/pattrns
#HackerNews #Experimental #Music #Engine #Music #Sequence #Generator #Imperative #Style #Renoise #GitHub
@thelinuxcast All the best. Hope u start understanding the #declarative way of doing things in #NixOS with #Nix
Here's a tip:
Set users mutable to false. So that u declaratively do #everything in the #config #file instead of #imperative methods. Also give #hashed #passwords if u are #porting between another PCs and want them to #work similarly.
To put it simply, do everything in nix #configurations to change the #state of the #system.
Here's a tip:
Set users mutable to false. So that u declaratively do #everything in the #config #file instead of #imperative methods. Also give #hashed #passwords if u are #porting between another PCs and want them to #work similarly.
To put it simply, do everything in nix #configurations to change the #state of the #system.
N-gated Hacker NewsAh yes, the thrilling tale of using a 13-minute read to discover the groundbreaking, Earth-shattering ability to verify a program that basically counts to ten! 😴✨ Who knew #imperative #programming could be so... imperative? 🤯🔍
https://markushimmel.de/blog/my-first-verified-imperative-program/ #humor #programming #software #verification #tech #news #tech #storytelling #HackerNews #ngated
https://markushimmel.de/blog/my-first-verified-imperative-program/ #humor #programming #software #verification #tech #news #tech #storytelling #HackerNews #ngated
My first verified (imperative) program
One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs. In this post, I’ll take a first look at this feature, show a simple example of what it can do, and compare it to similar tools.