Search
14 results for “markhermeling”
-
I have been running some benchmarking on c-to-SPARK translation and the difference between opus and sonnet is astonishing.
Sonnet is okay for the translation to #Ada, but has a hard time lifting to #SPARK Silver. Opus is strong in simple algorithms, but needs more guidance in more complex code bases.
-
For anybody doing #Ada or #SPARK work with LLMs, here is a GNATprove and Alire skill. Test with both Claude and Codex:
https://github.com/AdaCore/skills
This will help your LLM create projects easier (say rPi Pico for example) and reason more about how to lift code to SPARK Silver to prove the absence of runtime errors, #AoRTE
-
One of my fun tasks for the next 2 days: Getting #Zephyr to work on an #STMicroSTM32 Nucleo-H563ZI using a #Tasking iC7 pro.
-
@markhertling Sir, it is vital that voices of experience such as your's are heard widely on many platforms to prevent any 'Ukraine Fatigue' amongst supportive Nations, especially if news headlines fill with stories of how "slow" the progress is of the Ukrainian counteroffensive. As there is no need for negativity as both Sun Tzu & Clausewitz agreed that Time in prolonged conflict benefits the Defender over the occupying Invader. #SlavaUkraini #DemocraciesVsAutocracies #WillToWin 🌻🇺🇦
-
I’ve read somewhere that the M-1s are explicitly being purchased (ordered) for Ukraine. Sure, having done that they might get someone to give theirs to Ukraine and accept new, replacement M-1sin a year or two.
But it all read, to me, as an official commitment to Ukraine which served to #FreeTheLeopards now. Germany wanted the US in “first” to provide cover. Which is fine.
-
@markhertling
Trump and the #TrumpRepublicanNaziThugKlan he inspires/feeds/and directs are a clear & present danger to #OurDemocracy;
Justice demands Trump #accountability --- &the Justice Department needs to act,
no Respect for the Rule of Law/Civility/Decency exists in #TrumpCult -
@markhertling
Pleased to meet you. We share several interests and look forward to your toots and engagement!
#LeadWithPurpose
#NeverTooOldToPhD -
The Trump administration is offering shifting explanations for the Iran strikes as the conflict expands, U.S. troops are killed, and lawmakers question whether any “imminent threat” ever existed. #JohnBrennan and #MarkHertling join #TheWeeknight with analysis. youtu.be/4UCR5Izd8VI?...
Ex-CIA Director: War with Iran... -
The Trump administration is offering shifting explanations for the Iran strikes as the conflict expands, U.S. troops are killed, and lawmakers question whether any “imminent threat” ever existed. #JohnBrennan and #MarkHertling join #TheWeeknight with analysis. youtu.be/4UCR5Izd8VI?...
Ex-CIA Director: War with Iran... -
The Trump administration is offering shifting explanations for the Iran strikes as the conflict expands, U.S. troops are killed, and lawmakers question whether any “imminent threat” ever existed. #JohnBrennan and #MarkHertling join #TheWeeknight with analysis. youtu.be/4UCR5Izd8VI?...
Ex-CIA Director: War with Iran... -
yes! please do.
Certainly, we, who like it here in the #fediverse should not be shy talking about, why we like it - and at the same time sending out invitations and encouragement for others to join.
I started doing this already a little with specific people like e.g.: #TimothySnyder or #MarkHertling, but started to slowly focus more on public organizations, media & non-profits…
(the Org‘s have less reason to hesitate because of large follower numbers)
-
Retired US Commanders React to Ukraine’s ‘Pearl Harbor’ Attack on Russia https://www.byteseu.com/1065926/ #Conflicts #JamesStavridis #Kyiv #MarkHertling #Moscow #NATO #PearlHarbor #Russia #RussiaUkraineWar #RussiaUkraine #RussianInvasionOfUkraine #RussoUkrainianWar #Ukraine #VladimirPutin #VolodymyrZelensky
-
@tuckerteague
#RedBrigades were still active in #Germany in the early 90s. Heavy in the #Nuremberg area. In the 3 years I was there we had 2 US #military #kidnapped, a club bombing, #grenades thrown into our kassern, and a #bomb planted in the luggage section of the PX.All claimed by Red Brigades.
I'm sure @markhertling could tell a lot more interesting things about them. He was #European commander for a while so got to see their activity from a macro point of view.