Posts

• 
  Deavmi 10 months ago

  Merry Christmas to all, have a blessed year ahead.

  • 4

  1
• 
  Deavmi 10 months ago

  @Joe How long do alerts stay in storage. I had some but after longging in after months they were gone.

  • 1

  2
• 
  Deavmi 1 year ago

  I graduated last year 2022 in November, but I decided y'all should receive late spam.
  
  More big things in the works, stay tuned :))

  • 7

  1
• 
  Deavmi 1 year ago

  My research and development project that I worked on during my honours year of 2022 was on the topic of “Explicit sequencing of C programs” whereby I looked at ways to improve the current state of Software Verification in Lazy-CSeq with regards to the underspecified evaluation ordering of function arguments and binary operators in the C programming language. The transformation module was written in Python2 (as is standard with CSeq).
  
  https://deavmi.assigned.network/research/

  • 5

  0
• 
  Deavmi 1 year ago

  Vibes

  

  • 3

  0
• 
  Deavmi 1 year ago

  Some good times from university, Afrika hits different I tell you - in the heard of the Boland.

  

  • 3

  0
• 
  Deavmi 1 year ago

  Announcing the CRXNxDN42 inter-connect!
  
  https://deavmi.assigned.network/blog/announcing-crxn-dn42-interconnect/

  • 1

  0
• 
  Deavmi 1 year ago

  Me: Roman Catholic siesta enjoyer with a Protestant work ethic

  • 1

  0
• 
  Deavmi 1 year ago

  🪵️ Birchwood - A sane IRC framework for D
  
  https://deavmi.assigned.network/blog/birchwood/

  • 2

  0
• 
  Deavmi 1 year ago

  🏗️ jstruct - Struct JSON serializer/deserializer for D!
  
  https://deavmi.assigned.network/blog/jstruct/

  • 2

  0
• 
  Deavmi 1 year ago

  💀️ Guillotine - A modern executor framework with pluggable backends
  
  https://deavmi.assigned.network/blog/guillotine/

  • 1

  0
• 
  Deavmi 1 year ago

  OC
  

  

  • 1

  2
• 
  Deavmi 1 year ago

  Well, guess it's time for a new profile picture - holy moly

  

  • 2

  0
• 
  Deavmi 1 year ago

  Hey all, been a good number of months - how you all doing?

  • 2

  1
• 
  Deavmi 1 year ago

  New blog post out: TLang Update: Extern support works! 🎆️
  
  http://deavmi.assigned.network/blog/tlang_extern_support_working/

  • 2

  0
• 
  Deavmi 1 year ago

  Biggest insult to the monarch yet, from war hero to todger ointment enjoyer

  

  • 4

  0
• 
  Deavmi 1 year ago

  A lot is going on with my compiler, it emits code and works, focus on literal encodings is next, type checking (which is easy enough) and so on - it's been 2 years in the work so far. It will be open sourced new year end or so, it should be near completion then with the OOP I want to add.
  
  NO LLVM USED, all hand-created! Thumb sucked algos too :)
  
  http://deavmi.assigned.network/projects/tlang/

  

  • 2

  0
• 
  Deavmi 1 year ago

  Simple and modular logging library
  
  Check it out! http://deavmi.assigned.network/projects/dlog/
  
  #dlang

  

  • 0

  0
• 
  Deavmi 1 year ago

  A TUN/TAP OOP-based adapter for use in D-based applications
  
  It needs some love but it works atleast!
  
  #dlang

  Read more ...

  

  • 1

  0
• 
  Deavmi 1 year ago

  Worked on a library for #pocketbase (that new firebase open source clone) in #dlang!
  
  Check it out! http://deavmi.assigned.network/projects/libpb/

  

  • 0

  0
• 
  Deavmi 1 year ago

  Worked on a library for JSON-to-struct deserialization and struct-to-JSON serialization using meta-programming in #dlang!
  
  Check it out! http://deavmi.assigned.network/projects/jstruct/

  

  • 0

  0
• 
  Deavmi 1 year ago

  My research and development project into Lazy-CSeq and C underspecified behaviour http://deavmi.assigned.network/research/

  • 1

  0
• 
  Deavmi 1 year ago

  The end of an era: http://deavmi.assigned.network/blog/thanks_again/

  • 1

  3
• 
  Deavmi 1 year ago

  New website: http://deavmi.assigned.network

  • 1

  0
• 
  Deavmi 1 year ago

  Also, been working on my tlang compiler. Damn I really did take a hiatus. I have done so much since I last logged in (well, a bit of a lie, but since I last really interacted with y'all).

  • 2

  0