SoyaCincauST: Delays for EV charger licence caused by incomplete applications #energycommission #ev #evcharger #evcs #evcslicence #news #st #suruhanjayatenaga
https://soyacincau.com/2024/01/25/st-why-evcs-licence-application-delayed-malaysia-ev-charger/
valkraider 
One thing that I am learning - gas stations typically have roofs. EV charging stations typically do not. Using fast chargers in the rain is not a pleasant experience. #EV #EVChargers #ElectrifyAmerica #EVCS #EVGo #ElectricVehicles #DCFastCharge #Shocking
Jan de Muijnck-HughesLast week I attended the _Eelco Visser Commemorative Symposium_ (#EVCS) [1], twas wonderfully orchestrated, and contained a great set of talks that highlighted Eelco's (& his group's) passions & ideas. I would recommend the proceedings
I talked with old friends, new friends, and acquaintances. With enough socialising that I managed to self invite myself back to Delft, and also to CWI, to talk about my work.
EVCS - Eelco Visser Commemorative Symposium - EVCS
5 April 2023, Delft, The Netherlands Eelco Visser (1966–2022) was Antoni van Leeuwenhoek Professor of Computer Science and Chair of the Programming Languages Group in the Department of Software Technology at TU Delft. His research career started with studies at the University of Amsterdam and CWI, followed by appointments at Oregon Graduate Institute and Utrecht University. He was highly influential in the software language engineering and programming language design communities. His many scientific contributions about meta-languages and domain-specific languages have been of high importa ...
Following on from our #EVCS dinner time chat about decidability and runtime error reporting. The issue that _I_ call _Being Positively Negative_, but is really a form of constructive negation.
Here is a blog post I wrote last Summer on the issue (aimed at beginners as well as experts).
https://tyde.systems/post/2022-06-02-posneg/
And a little Idris2 library exploring @bentnib suggestion of framing the _constructive negation_. I would recommend his MSFP talk (link is on the blog && github).
https://github.com/jfdm/positively-negative
I've been meaning to follow this through with a paper, but will have headspace in September as I need to address runtime relevancy in my construction.
Being Positively Negative.
We will need some helpers… import Decidable.Equality import Data.List import Data.Nat import Data.Zippable Being Truthful namespace Intro Predicates and their decision procedures are a core technique in dependently-typed programming to represent truth (predicate) and a way to discern if something holds (the decision procedure). Take for example, existential quantification that an element is in a list. Standard functional programming techniques would represent this as a boolean test. isElem : Eq type => (x : type) -> (xs : List type) -> Bool isElem x [] = False isElem x (y :: ys) = x == y || isElem x ys Predicates hold the Truth namespace Predicates We can make this programme stronger using dependent types.
Arie van DeursenGrateful to the many participants and authors of the Eelco Visser Commemorative Symposium in Delft last week. Read all papers, and listened to all talks. Presented my opening talk reflecting on Eelco’s way to get things done. All papers, including mine, available as open access, via https://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=16272
Huge thanks to the organizers of this impressive day, especially @pdmosses!
Peter MossesEVCS: the list of accepted papers for the Eelco Visser Commemorative Symposium is available at https://symposium.eelcovisser.org/#event-overview. #EVCS
EVCS - Eelco Visser Commemorative Symposium - EVCS
5 April 2023, Delft, The Netherlands Eelco Visser (1966–2022) was Antoni van Leeuwenhoek Professor of Computer Science and Chair of the Programming Languages Group in the Department of Software Technology at TU Delft. His research career started with studies at the University of Amsterdam and CWI, followed by appointments at Oregon Graduate Institute and Utrecht University. He was highly influential in the software language engineering and programming language design communities. His many scientific contributions about meta-languages and domain-specific languages have been of high importa ...