#Dafny hashtag - Bluesky

@bsky.tdunning.com

1 month ago

HPE Labs - Advanced Security Research Associate (Intern) HPE Labs - Advanced Security Research Associate (Intern) This role has been designed as ‘’Onsite’ with an expectation that you will primarily work from an HPE office. Who We Are: Hewlett Packard Enter...

I have a graduate level internship opening this summer in advanced security. The goal is to simplify security systems so that users can get it right and formally verify that fact.

ping me for info.

#security #formalverification #privacy #dafny #intern

hpe.wd5.myworkdayjobs.com/Jobsathpe/jo...

3 3 0 2

José A. Alonso

@jalonso.eurosky.social

5 months ago

Readings shared October 9, 2025 The readings shared in Bluesky on 9 October 2025 are: State management in Haskell. ~ Ajeet Grewal. #Haskell #FunctionalProgramming Haskell is the perfect fit for renewable energy tech. ~ Marc Jakobi.

Readings shared October 10, 2025. jaalonso.github.io/vestigium/po... #AI #CoqProver #Dafny #FormalMethods #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Programming

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

5 months ago

Languages. Formal Systems. Inference rules. Proofs. ~ Andrei Arusoaie. edu.info.uaic.ro/metode-forma... #FormalMethods #Logic #Dafny

1 0 0 0

José A. Alonso

@jalonso.eurosky.social

5 months ago

Languages. Formal Systems. Inference rules. Proofs. ~ Andrei Arusoaie. edu.info.uaic.ro/metode-forma... #FormalMethods #Logic #Dafny

2 0 0 0

GetNews.me

@getnews-me.bsky.social

6 months ago

Formal Verification of Minimax Algorithms Using Dafny

Researchers used Dafny to formally verify minimax search variants, including alpha‑beta pruning and transposition tables, and released the proofs and Python code publicly. getnews.me/formal-verification-of-m... #formalverification #minimax #dafny

0 0 0 0

Kiran

@kirancodes.me

9 months ago

Screenshot of the landing page of my website on the new blog post; The title reads "The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Towards Solving It)". The contents of the post read "All is not well in the land of automated formal verification." And then goes into the body of the article. There is a snippet of dafny code present on screen.

New blog post! The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Towards Solving It)

kirancodes.me/posts/log-pr...

#ProgrammingLanguages #Dafny #SMT #Z3 #Verification

17 4 3 2

José A. Alonso

@jalonso.eurosky.social

1 year ago

Readings shared November 29, 2024. jaalonso.github.io/vestigium/po... #ITP #Lean4 #IsabelleHOL #Logic #Math #Calculemus #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry #Haskell #FunctionalProgramming #Programming #FormalVerification #Dafny

2 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

dafny-annotator: AI-assisted verification of Dafny programs. ~ Gabriel Poesia, Chloe Loughridge, Nada Amin. arxiv.org/abs/2411.15143 #LLMs #Dafny #FormalVerification

1 0 0 0

José A. Alonso

@jalonso.eurosky.social

2 years ago