@Wire_Daemon

Formal Methods, Programming languages, Specifications. she/her 🏳️‍⚧️

Joined August 2013
  • Tweets635
  • Following188
  • Followers211
40Media
Kristin Rutenkolk retweeted
gabby@GabriellaG43917 Oct 2024
I am the witch from @mercury
2
1
28
2,060
Kristin Rutenkolk retweeted
gabby@GabriellaG4392 Oct 2024
can't decide if starbound is terraria, stardew valley, pokemon, or armored core
1
1
11
1,105
Kristin Rutenkolk retweeted
gabby@GabriellaG4393 Sep 2024
I created a pure Haskell implementation of tiktoken, so now you can accurately count tokens if you do prompt engineering in Haskell (especially retrieval-augmented generation) github.com/Gabriella439/tikt…

GitHub - Gabriella439/tiktoken: Haskell implementation of tiktoken

Haskell implementation of tiktoken. Contribute to Gabriella439/tiktoken development by creating an account on GitHub.

github.com
3
7
65
3,282
Kristin Rutenkolk retweeted
gabby@GabriellaG43929 Aug 2024
I wrote up a post explaining how to jailbreak hosts behind restrictive firewalls using various privilege escalation tricks: haskellforall.com/2024/08/fi…

Firewall rules: not as secure as you think

A post outlining tricks for firewall privilege escalation

haskellforall.com
3
2
18
1,288
Kristin Rutenkolk retweeted
Atif Mashkoor@atif_mashkoor28 Jun 2024
As #ABZ2024 @ABZ_Conference concludes, a huge thank to Elvinia, @angelogargantin, @SilviaBG_IT, @pscand, and the entire team @UniBergamo for the fantastic hosting! Looking forward to seeing everyone at @HHU_de for #ABZ2025! #Bergamo #Düsseldorf – at Bergamo, Lombardy
1
4
11
543
Kristin Rutenkolk retweeted
Catherine@whitequark28 May 2024
praise-driven development
3
1
49
3,228
Kristin Rutenkolk retweeted
henry
@arithmoquine1 May 2024
there's actually one datatype that's even cuter this is the tiniest float type that still follows all IEEE standards:
henry
@arithmoquine30 Apr 2024
8-bit floats are literally the most adorable thing i've ever seen
31
157
18
1,500
108,420
Kristin Rutenkolk retweeted
Connor/코너/コナー@OreXda2 May 2024
2
776
24
3,893
393,675
Kristin Rutenkolk retweeted
ABZ Conference@ABZ_Conference25 Apr 2024
The 11th Rodin workshop, co-located with #ABZ2024, will take place on Tuesday, 25th June 2024 in Bergamo, Italy. The deadline for abstract submission is the 30th of May! More information available at: abz-conf.org/site/2024/works… #Rodin #EventB

ABZ 2024 – 10th International Conference on Rigorous State Based Methods | ABZ

Workshops ABZ 2024 will host the two following workshops. Rodin workshop Event-B is a formal method for system-level modeling and analysis. The Rodin Platform is an Eclipse-based toolset for Event-B...

abz-conf.org
4
5
305
repost if it's floor time
4
55
2
364
16,782
Kristin Rutenkolk retweeted
shy goat@zzzygote18 Apr 2024
just shut up and let a good life happen to you
2
2
1
38
1,539
Kristin Rutenkolk retweeted
Arnaud@dr_c0d316 Apr 2024
I am genuinely convinced that formal modelling languages and tools should play a much more significant role in software engineering but we should improve the maintainability of proofs, just like we work hard to improve maintainability of code
1
3
26
1,592
Kristin Rutenkolk retweeted
ABZ Conference@ABZ_Conference16 Apr 2024
Meet Philipp Körner, the PhD Symposium Chair for #ABZ2024. As a post-doctoral researcher at Heinrich Heine University @HHU_de, he focuses on embedding formal methods into programming languages, particularly, a meta-programming approach to transform formal models.
3
3
240
Kristin Rutenkolk retweeted
Alex Toussaint
@alextoussss11 Apr 2024
Update: It works!!! We’re able to see a 2mm wide plastic ball at 30 centimeters, with only 1/1300th of our planned transmitting power. This validates our SNR budget and gets us closer to our final goal: tracking and killing mosquitoes at a 3meters range
Alex Toussaint
@alextoussss10 Feb 2024
Currently working on a 3D ultrasonic sonar for mosquito tracking. Prototypes are in the factory right now!
149
641
107
8,689
1,103,913
Kristin Rutenkolk retweeted
ABZ Conference@ABZ_Conference7 Jul 2023
The case study for ABZ 2024 about Mechanical Lung Ventilators has been announced (abz-conf.org/site/2024/cases…). With the ongoing healthcare challenges, exploring advancements in respiratory care is crucial. Looking forward to your solutions now. #ABZ2024

ABZ 2024 – 10th International Conference on Rigorous State Based Methods | ABZ

Case Study - Call for Papers As successfully practiced in previous editions of ABZ, the 10th edition of ABZ will include again special sessions dedicated to a shared real-life case study.

abz-conf.org
6
1
11
1,236
Kristin Rutenkolk retweeted
Atif Mashkoor@atif_mashkoor2 Jun 2023
ABZ 2023 has come to an incredible end! Huge appreciation to @merydominique for brilliantly organizing this unforgettable event. Can't wait to reunite in Bergamo for another remarkable year! 🙌🎉 #ABZ2023 #ABZ2024
10
1
13
1,440
Kristin Rutenkolk retweeted
Atif Mashkoor@atif_mashkoor1 Jun 2023
David is presenting our work on "Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations" @ABZ_Conference. #IVOIRE #ABZ2023
2
7
367
Kristin Rutenkolk retweeted
Tomáš Grošup@tomasgrosup28 Nov 2022
In #fsharp, (# .. #) syntax is used to emit IL instructions. This is from the Fsharp.Core code #learnedFromFsharpCompiler
3
5
1
29
Yesterday, @michaleuschel won the first Alain Colmerauer Prolog Heritage Prize for the ProB Tool, which is developed at @hhu_de by the STUPS Group. Congratulations Michael!
2
8
Kristin Rutenkolk retweeted
William Rose@dodecahedra2 Nov 2022
Very strong opening to a math video. Ok, you have my attention.
723
5,026
1,590
40,231
Load more