GNU social JP
  • FAQ
  • Login
GNU social JPใฏๆ—ฅๆœฌใฎGNU socialใ‚ตใƒผใƒใƒผใงใ™ใ€‚
Usage/ToS/admin/test/Pleroma FE

  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Mario ๐Ÿ”’ (mario@don.tbully.me), page 12

  1. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Monday, 13-Nov-2023 22:29:08 JST Mario 🔒 Mario ๐Ÿ”’
    tigerrrrrrrr :blobcatdab:
    In conversation about a year ago from don.tbully.me permalink

    Attachments


    1. https://eu2.contabostorage.com/ccd0347a13f443a59bbb9d743aecc06c:akkoma/0790a65ac459a2f82fc5f23befff221cc78a05fc0a6ae26e2505a037136083ee.png
  2. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Wednesday, 08-Nov-2023 23:18:49 JST Mario 🔒 Mario ๐Ÿ”’
    aaaaaaaaa
    aaa
    aaaaaa
    aaa
    aaa
    aaaaaaaaaaaaaaaaaaaaaaaaa~
    In conversation about a year ago from don.tbully.me permalink
  3. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Monday, 06-Nov-2023 20:48:44 JST Mario 🔒 Mario ๐Ÿ”’
    >go shopping
    >get 3 bags of (bery unhealth) potat chips, 2 bred, 2 mate
    >pay 40ct
    i fcking love pfand :blobcatoverlycute:
    In conversation about a year ago from don.tbully.me permalink
  4. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Monday, 06-Nov-2023 20:05:12 JST Mario 🔒 Mario ๐Ÿ”’
    time 2 bring away pfand and get $$$$
    In conversation about a year ago from don.tbully.me permalink
  5. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Monday, 06-Nov-2023 19:52:28 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Mer's pizza Mer's world :blobcatgooglytrash:
    @mer butbutbutbutbutbutbutbut fedi timeline goes on while you're not looking while group chats stay at the point you left off :sadcat:
    In conversation about a year ago from gnusocial.jp permalink
  6. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Monday, 06-Nov-2023 19:49:54 JST Mario 🔒 Mario ๐Ÿ”’
    how do people keep up with group chats? ๐Ÿฅด
    In conversation about a year ago from don.tbully.me permalink
  7. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Monday, 06-Nov-2023 17:41:04 JST Mario 🔒 Mario ๐Ÿ”’
    el catto :blobcat3c:
    In conversation about a year ago from don.tbully.me permalink
  8. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Sunday, 05-Nov-2023 10:03:48 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Sexy Moon
    • thegreatape
    • :verified_2:้˜ฒ็ฉบ่ญ˜ๅˆฅๅ€๐’”๐’๐’„๐Ÿถ
    @Moon @adiz @thegreatape maybe i'm just getting lucky with my ISP but I've been vpshosting my mails using mailcow for a couple of years and it works great.
    Had one case where gmail had but it in Spam before, but apart from that I had no issues whatsoever
    In conversation about a year ago from don.tbully.me permalink
  9. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Saturday, 04-Nov-2023 19:10:46 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Sexy Moon
    @Moon Maybe it's because I never had to seriously work with it, but the little pet projects I did using it suffered from their approach to abstraction. Pretty sure that's just my bias, but thinking about OOP design patterns gives me shivers.
    I'd rather just write a function that generates certain instances of a type instead of having a factory object i.e.
    In conversation about a year ago from don.tbully.me permalink
  10. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Saturday, 04-Nov-2023 19:06:09 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Sexy Moon
    @Moon Java is very weird and I am glad I don't encounter it often :blobcatuwu:
    In conversation about a year ago from don.tbully.me permalink
  11. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Saturday, 04-Nov-2023 19:03:33 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Sexy Moon
    @Moon at that point, why not just have an interface to C? :blobcatgooglytrash:
    In conversation about a year ago from don.tbully.me permalink
  12. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Saturday, 04-Nov-2023 18:51:56 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Sexy Moon
    @Moon >a high level library
    that sounds suspiciously close to a foreign function interface :blobcatgiggle2:
    In conversation about a year ago from don.tbully.me permalink
  13. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Saturday, 04-Nov-2023 18:47:41 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Sexy Moon
    @Moon I'm still very confus how one would go about the JVM in order to actually do something meaningful OS work (i.e. IO) with the Java pointers. Like you'd either need to expose the peripheral register address into the VM or need to escape it :think_nyan:
    C(++) is very nice for OS dev because of the simple syntax for low-level stuff as well as the little overhead it needs (if you're using a more minimal libc)
    In conversation about a year ago from don.tbully.me permalink
  14. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Saturday, 04-Nov-2023 18:44:30 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Sexy Moon
    @Moon Formally verifying an OS is a massive undertaking, that's why (usually) people don't verify the the system as a whole but certain functional properties of parts of the OS. This would make a functional language the best candidate for OS dev, however you lose a lot of versatility with a strict type system and at the end of the day it's more pragmatic to hackjob the OS in some language that implements easy to use concepts for OS dev and afterwards extract the relevant properties required to prove.
    People are currently doing that with Linux right now (gl :blobcatgiggle2:) https://arxiv.org/abs/1809.00626
    In conversation about a year ago from don.tbully.me permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: static.arxiv.org
      Deductive Verification of Unmodified Linux Kernel Library Functions
      This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. The formal contract of the functions was extracted from their source code and was represented in the form of preconditions and postconditions. The correctness of 23 functions was completely proved using AstraVer toolset, although success for 11 functions was achieved using 2 new specification language constructs. Another 2 functions were proved after a minor modification of their source code, while the final one cannot be completely proved using the existing memory model. The benchmark can be used for the testing and evaluation of deductive verification tools and as a starting point for verifying other parts of the Linux kernel.
  15. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Friday, 03-Nov-2023 17:00:16 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Mer's pizza Mer's world :blobcatgooglytrash:
    @mer normalize putting funny easter eggs in CVs :blobcat3c:
    In conversation about a year ago from gnusocial.jp permalink
  16. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Friday, 03-Nov-2023 16:54:54 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Mer's pizza Mer's world :blobcatgooglytrash:
    @mer tell them that you boycott CVs not written in LaTeX :blobcat3c:
    In conversation about a year ago from don.tbully.me permalink
  17. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Sunday, 29-Oct-2023 07:03:09 JST Mario 🔒 Mario ๐Ÿ”’
    One of my fetishes is heavy backpacks
    In conversation about a year ago from don.tbully.me permalink
  18. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Wednesday, 25-Oct-2023 04:53:00 JST Mario 🔒 Mario ๐Ÿ”’
    in reply to
    • Mer's pizza Mer's world :blobcatgooglytrash:
    @mer EPIC :blobcatfireeyes:
    In conversation about a year ago from don.tbully.me permalink
  19. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Wednesday, 25-Oct-2023 04:51:54 JST Mario 🔒 Mario ๐Ÿ”’
    gamer moment
    In conversation about a year ago from don.tbully.me permalink

    Attachments


    1. https://eu2.contabostorage.com/ccd0347a13f443a59bbb9d743aecc06c:akkoma/44fd620621177106a9f16c9af4a0d46426a16fa8bc3edecf245b20537c92daae.png
  20. Embed this notice
    Mario ๐Ÿ”’ (mario@don.tbully.me)'s status on Wednesday, 25-Oct-2023 02:18:42 JST Mario 🔒 Mario ๐Ÿ”’
    name our band
    In conversation about a year ago from don.tbully.me permalink

    Attachments


    1. https://eu2.contabostorage.com/ccd0347a13f443a59bbb9d743aecc06c:akkoma/1acd2e90905dc866b2adac59ed7d259acfff42c49305c9c2b7f6d8d49e6fd5c6.png
  • After
  • Before

User actions

    Mario 🔒

    Mario ๐Ÿ”’

    actual libertine antibully akkoma autoanthronekophile :100gay: dayjob is operating system dev, hobby is being a hardcore bottom chances are can find me at a given european floffcons near you, hit me up if you wanna meet up :ablobcatheart: moar private account, will only accept follows from folks i trust and who are from instances i trustall identities are valid. don't dream it, be it. consent is key. pragmatism wins every time.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          184470
          Member since
          10 Oct 2023
          Notices
          254
          Daily average
          1

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP็ฎก็†ไบบ. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.