‘Are there occasions when Tap & Pay will not offer the cheapest fare?
It may be that by using Advance fares, Split Ticketing, Flexipasses or monthly or annual Season Tickets, customers can find a better value fare.’ Urgh
=> More informations about this toot | View the thread
ScotRail now doing ‘tap & pay’.
Currently a trial, interesting to see how it pans out…
https://www.scotrail.co.uk/digital-train-tickets/tap-pay
=> More informations about this toot | View the thread
For my course #cs886 we are looking at ‘Adv Security-by-Design’.
We are getting to the big point next week which is week3: Curry-Howard and Correctness-by-Construction a la Idris2. First week was topic introduction, last week was Design-by-Contract a la Dafny. From week 4 onwards it is applications all the way down.
My goal with the week 3 lecture is that we can forget about the idea of Theorem Proving, and replacing it with the idea of Programming with Theorems. But we are actually doing proving but we are approaching it as code. I planted the seeds when looking at Dafny, now dependent types makes the idea grow.
The more coding oriented approach (I.e, verification aware languages) is what I find beautiful with Agda and Idris2. Rather than having the user being blindsided by theory and tactics, which they might not be versed it, the user is made comfortable by familiarity. The ‘strangeness budget’ has not been quite spent!
=> More informations about this toot | View the thread
When life gives you lemons, you make lemonade. So when the veg box gives you Jerusalem artichokes, what then?
[#]cooking #JerusalemArtichokes #recipes
=> More informations about this toot | View the thread
Related, Moodle does have its problem for content delivery, but Module Management is okay.
Moodle can also be coopted for some business processes we have...
=> More informations about this toot | View the thread
I am no means a Microsoft Fanboy, however, I do recognise that for Businesses, they do provide useful services. I was intrigued with their Power Apps service.
If a business already has the requisite plans, they should try and make sure they get value for money.
Perhaps we should look at Power Apps for building our in-house online services rather than rely on custom bespoke software. Especially, if it means lower IT Support costs...
https://learn.microsoft.com/en-us/sharepoint/dev/business-apps/introduction-to-sharepoint-business-process-integration
https://learn.microsoft.com/en-us/power-apps/
=> More informations about this toot | View the thread
=> /toot/113917155132045982 More informations about this toot => /thread/113917155132045982 View the thread ### Written by Jan de Muijnck-Hughes on 2025-01-29 at 19:13 Not to mention this 'lecture' summary:
Jan discussed various programming concepts and techniques, focusing on the importance of specifications, testing, and efficient implementations. He demonstrated the use of Daphne, a multi-paradigm language, to illustrate concepts such as absolute value functions, polymorphism, and defensive programming. Throughout the discussion, Jan emphasized the significance of aligning specifications with implementations and the benefits of functional programming for code reasoning.
My setup was rather rudimentary compared to colleagues, but I am happy. => /toot/113913236121375871 More informations about this toot => /thread/113913236121375871 View the thread ### Written by Jan de Muijnck-Hughes on 2025-01-29 at 19:13 For instance (note I was talking about #Dafny and exploring Design-by-Contract) The first smart chapter summary:
[#] Exploring Daphne and Emacs Usage
Jan expressed frustration with computers and shared his preference for using Emacs over VS Code. He demonstrated how to use Daphne, a multi-paradigm language, emphasizing its object-oriented and imperative programming capabilities. Jan highlighted that Daphne's main method is where program logic resides and that functions can be side-effect-free. He also mentioned his intention to write a program that computes the absolute value of a number.
text/geminiThis content has been proxied by September (3851b).