5 DecaBit's Avatar

5 DecaBit

@decabit

2
Followers
12
Following
8
Posts
19.11.2024
Joined
Posts Following

Latest posts by 5 DecaBit @decabit

@sp.nl

Wat zijn jullie standpunten over Client Side Scanning en Digitale ID

28.09.2025 08:17 👍 0 🔁 0 💬 0 📌 0

"EU age verification"

yeah if this shit is gonna happen I'm gonna stop using the Internet altogether. These stupid companies already do have way too much data from users.

I'm not gonna upload my ID in order to buy anything digital or to use reddit etc. Fuck off!

03.08.2025 21:41 👍 23 🔁 2 💬 2 📌 0

Doesn’t mypy solve a lot of type issues in python?

08.09.2025 07:53 👍 0 🔁 0 💬 1 📌 0

I had to tell my AI something like:

You are an expert Rust developer who is forced to write typescript. You wish you could use Ocaml or Rescript, but you can't. Write TS as if it was actually a strongly typed language. You never use the "any" type or do type casting.

And it got better!

04.09.2025 01:04 👍 9 🔁 2 💬 2 📌 0

I have the same with #golang and nil pointers

07.09.2025 14:55 👍 0 🔁 0 💬 0 📌 0

using python for a web dev project after a few months of not using it and I really miss OCaml. Even with pydantic and pyright, I just don't trust the code the same way. There are so many more tests I feel like I have to write. how does anyone live like this

06.09.2025 00:52 👍 10 🔁 2 💬 3 📌 0

#kotlin is #functionalProgramming s biggest success and it did it by copying expressions not pure function purism, xkcd.com/1312 anyone xD

Not to mention Dart style nullish ? that #golang programmers get dr stranglove “iferrisnil” reaction to.

07.09.2025 08:37 👍 0 🔁 0 💬 0 📌 0
Preview
Why I chose OCaml as my primary language A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.

Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects!

xvw.lol/en/articles/...

I hope you find this interesting, and I welcome any feedback!

13.08.2025 18:06 👍 26 🔁 11 💬 1 📌 0
GitHub - leostera/minttea: A fun little TUI framework for OCaml A fun little TUI framework for OCaml. Contribute to leostera/minttea development by creating an account on GitHub.

github.com/leostera/min... is super fun to use and contribute to!

04.09.2025 11:58 👍 2 🔁 1 💬 0 📌 0
Preview
rescript-types-hono - npm ``` npm install --save rescript-types-hono ```. Latest version: 0.1.0, last published: 3 days ago. Start using rescript-types-hono in your project by running `npm i rescript-types-hono`. There are no other projects in the npm registry using rescript-types-hono.

www.npmjs.com/package/resc...

Hono ffi binding for rescript

#rescript #honoJS

24.08.2025 17:32 👍 2 🔁 0 💬 0 📌 0
Post image

Original post: mementomori.social/@rolle/11507...

24.08.2025 11:56 👍 0 🔁 0 💬 0 📌 0
** Fallacies of distributed Systems, extended version

1. The network is reliable
2. The network is secure
3. The network is homogeneous
4. Topology does not change
5. Latency is zero
6. Bandwidth is infinite
7. Transport cost is zero
8. There is one administrator

1. Hard disks don’t fail
   Files stay intact
2. Power is stable
3. IPs are reachable
4. Constant factors are negligible
5. APIs stay compatible
6. Textfiles are simple

** Fallacies of distributed Systems, extended version 1. The network is reliable 2. The network is secure 3. The network is homogeneous 4. Topology does not change 5. Latency is zero 6. Bandwidth is infinite 7. Transport cost is zero 8. There is one administrator 1. Hard disks don’t fail Files stay intact 2. Power is stable 3. IPs are reachable 4. Constant factors are negligible 5. APIs stay compatible 6. Textfiles are simple

Fallacies of #Distributed Systems -- extended version

(attached slide)

⇒ full talk: https://www.draketo.de/software/p2p-talk
⇒ full slides: https://www.draketo.de/software/p2p-talk.pdf

#p2p #decentralization #decentralized #software #programming #talk #lecture

22.08.2025 10:24 👍 1 🔁 1 💬 0 📌 0

A solid demo of how ReScript integrates seamlessly with popular JS tools!

20.05.2025 09:41 👍 14 🔁 2 💬 0 📌 0

Threads is more decentralized than bluesky

I’m leaving this space, bye

02.12.2024 11:23 👍 0 🔁 0 💬 0 📌 0

Now that the #VisionPro is discontinued #apple will opensource its firmware… right? Tim are you there?

19.11.2024 23:36 👍 0 🔁 0 💬 0 📌 0