home.social
Sign in Create account

Search

6 results for “markhermeling”

  1. Mark Hermeling @markhermeling ·

    Success! My IoT garage door opener application is running on Zephyr on an @st_world Nucleo H563ZI and connected to a Tasking iC7.

    Next: (Oh, and making it work :)

    #ada #spark
  2. Mark Hermeling @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 , but has a hard time lifting to Silver. Opus is strong in simple algorithms, but needs more guidance in more complex code bases.

    #ada #spark
  3. Mark Hermeling @markhermeling ·

    For anybody doing or work with LLMs, here is a GNATprove and Alire skill. Test with both Claude and Codex:

    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,

    #ada #spark #aorte
  4. Mark Hermeling @markhermeling ·

    One of my fun tasks for the next 2 days: Getting to work on an Nucleo-H563ZI using a iC7 pro.

    Extended goal: and on top of that.

    #zephyr #stmicrostm32 #tasking #ada #spark
  5. Patrick McLaughlin @[email protected] ·

    @markhertling

    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.

    #freetheleopards
  6. DR. SURFERCHIC @[email protected] ·

    @markhertling
    Pleased to meet you. We share several interests and look forward to your toots and engagement!
    #LeadWithPurpose
    #NeverTooOldToPhD

    #leadwithpurpose #nevertoooldtophd