Kritoke's Avatar

Kritoke

@kritoke.bsky.social

IT Professional, lover of functional languages. Currently building a side project in Elixir. Learning Haskell, Ocaml, Gleam, and others.

234 Followers  |  1,260 Following  |  22 Posts  |  Joined: 09.11.2023  |  2.0265

Latest posts by kritoke.bsky.social on Bluesky

Can confirm.

29.01.2025 21:36 β€” πŸ‘ 16    πŸ” 6    πŸ’¬ 1    πŸ“Œ 0
Looking for Maintainers / Moderators for the OCaml Cookbook Hi everyone, after we added the OCaml Cookbook on OCaml.org, we got into a position where we had contributions sitting around for a while because we did not have the capacity to review and moderate...

discuss.ocaml.org/t/looking-fo...

🧑🐫

14.04.2025 13:57 β€” πŸ‘ 12    πŸ” 6    πŸ’¬ 4    πŸ“Œ 0

It’s also a great reminder to all #fsharp devs that wanted β€œofficial” LSP/VSCode-extension from MSFT…

Ionide and FsAutoComplete may not be perfect, but at least I won’t fuck around with licenses.

09.04.2025 23:24 β€” πŸ‘ 10    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1
How the TypeScript Compiler Compiles - understanding the compiler internal
YouTube video by orta therox How the TypeScript Compiler Compiles - understanding the compiler internal

Fun fact: according to @orta.io, a prehistoric version of #TypeScript was actually implemented in #FSharp (youtu.be/X8k_4tZ16qU?...).

19.03.2025 13:41 β€” πŸ‘ 6    πŸ” 3    πŸ’¬ 2    πŸ“Œ 1

Not being owned by a corporation is a blessing and a curse. Please consider supporting us if you like Gleam!

13.03.2025 12:39 β€” πŸ‘ 14    πŸ” 5    πŸ’¬ 0    πŸ“Œ 0
Dashbit plans for 2025 - Dashbit Blog Dashbit announces expansion of its subscription team and their open source goals for 2025

We, at Dashbit, just announced expansion of our subscription team and our open source goals for 2025: dashbit.co/blog/dashbit...

19.02.2025 09:50 β€” πŸ‘ 90    πŸ” 21    πŸ’¬ 3    πŸ“Œ 1
Digital Detox: Young Adults Flock To London 'Offline' Nights

www.barrons.com/news/digital...

20.02.2025 03:21 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Neat idea. Meditation retreats are always digital detoxing for me, nice that it’s catching on with younger folks who grew up online.

20.02.2025 03:21 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Hello 2025 TL;DR: Serpent OS is facing funding challenges but development continues. Alpha2 is coming soon with an improved installer. We’re seeking community support through donations and volunteers for key rol...

πŸš€ Big news from Serpent OS: State of the Project 2025

β€’ Alpha2 coming soon with improved installer
β€’ Seeking community support & key contributors
β€’ Technical roadmap revealed: versioned repos, immutable OS features & more

serpentos.com/blog/2025/02...

07.02.2025 11:02 β€” πŸ‘ 32    πŸ” 9    πŸ’¬ 0    πŸ“Œ 1
Learn Programming with OCaml

🐫 Learn Programming with Ocaml

New Ocaml book just dropped!

usr.lmf.cnrs.fr/lpo/

12.02.2025 23:28 β€” πŸ‘ 27    πŸ” 8    πŸ’¬ 1    πŸ“Œ 2
Post image

πŸ•΅οΈ Comfortably monitor your Internet traffic!

> Most of the network analyzers out there are cumbersome to use, while one of Sniffnet's cornerstones is to be usable with ease by everyone.

sniffnet.net?utm_source=c...

05.02.2025 13:17 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Preview
Bookshop.org enters the e-book arena, giving indie stores a new way to compete with Amazon "Everything Amazon can do, we want to do as well or better," says CEO Andy Hunter on boosting indie sales digitally.

This is VERY good news. Love bookshop.org and all the stuff they do!

www.salon.com/2025/01/28/b...

05.02.2025 01:34 β€” πŸ‘ 36232    πŸ” 6845    πŸ’¬ 500    πŸ“Œ 480
How we accidentally built a better build system for OCaml A β€œbuild system” is one of the most important tools in a developer’stoolbox. Roughly, it figures out how to create runnable programs froma bunch of different...

How Jane Street accidentally built a better build system for OCaml https://blog.janestreet.com/how-we-accidentally-built-a-better-build-system-for-ocaml-index/ (https://news.ycombinator.com/item?id=42881724)

31.01.2025 15:45 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Preview
OpenSCAD Embraces Multicolor 3D Design with New Geometry Engine OpenSCAD is soon to have color capabilities. The post OpenSCAD Embraces Multicolor 3D Design with New Geometry Engine appeared on Fabbaloo.

OpenSCAD Embraces Multicolor 3D Design with New Geometry Engine: OpenSCAD is soon to have color capabilities.


The post OpenSCAD Embraces Multicolor 3D Design with New Geometry Engine appeared on Fabbaloo. #3dprinting #additivemanufacturing

09.01.2025 05:49 β€” πŸ‘ 8    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0
Preview
3DBenchy Starts Enforcing its No Derivatives License Nobody likes reading the fine print, least of all when you’re just downloading some 3D model. While printing a copy for personal use this is rarely an issue, things can …read more

3DBenchy Starts Enforcing its No Derivatives License

09.01.2025 12:30 β€” πŸ‘ 10    πŸ” 4    πŸ’¬ 0    πŸ“Œ 1
Bricklayers for Stronger 3D-Prints now Opensource!
YouTube video by TenTech Bricklayers for Stronger 3D-Prints now Opensource!

Brick style layers to increase layer bonding has been made open source by TenTech and is available for PrusaSlicer and OrcaSlicer.

Source: github.com/TengerTechno...

Video: www.youtube.com/watch?v=EqRd...

#3dprinting #slicer #layer #brick #bricklayer

23.01.2025 02:58 β€” πŸ‘ 19    πŸ” 4    πŸ’¬ 2    πŸ“Œ 1
CAD view of the frame, the motion and the side panels. The printed parts are in orange and the rest in gray.

CAD view of the frame, the motion and the side panels. The printed parts are in orange and the rest in gray.

The Jubilee is an open source 3D printer toolchanger that deserves to be better known. The extruder's locking system is on the frame to save weight. The design is well thought, it uses quality hardware and the doc is impressive.

➑️ www.jubilee3d.com/index.php

➑️ github.com/machineagenc...

21.01.2025 05:20 β€” πŸ‘ 25    πŸ” 9    πŸ’¬ 3    πŸ“Œ 1
Video thumbnail

#snow #louisiana Over 3 inches so far, have six hours left till it’s wrapped up. We get snow once every decade, but never this much.

21.01.2025 15:04 β€” πŸ‘ 5    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Saw this yesterday and was totally blown away. It's such a beautiful and earnest piece of art.

Having had the chance years ago to visit the studio & glimpse the work-in-progress, I'm amazed at what it's blossomed into.

Please see Flow on the big screen if you can!
flowthemovie.com/buy-tickets

25.12.2024 17:29 β€” πŸ‘ 567    πŸ” 39    πŸ’¬ 14    πŸ“Œ 6
Preview
'The funniest turn of events ever': China's RedNote tops the Apple App Store as the TikTok ban looms A large part of the user influx is general pettiness: The government takes a highly addictive app away due to national security threats, and people just find another one.

This Xiaohongshu move is HILARIOUS www.fastcompany.com/91259825/red...

14.01.2025 02:53 β€” πŸ‘ 64    πŸ” 12    πŸ’¬ 6    πŸ“Œ 1
Preview
Fluid Simulation Pendant Teaches Lessons in Miniaturization Some projects seem to take on a life of their own. You get an idea, design and prototype it, finally build the thing and — it’s good, but it’s not …read more

Fluid Simulation Pendant Teaches Lessons in Miniaturization

14.01.2025 02:00 β€” πŸ‘ 11    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Preview
Meta Is Blocking Links to Decentralized Instagram Competitor Pixelfed Pixelfed said it is "seeing unprecedented levels of traffic."

alright, then. #Pixelfed account created, beta iOS app installed… www.404media.co/meta...

14.01.2025 02:00 β€” πŸ‘ 14    πŸ” 6    πŸ’¬ 2    πŸ“Œ 2
Preview
Microsoft MFA outage blocking access to Microsoft 365 apps ​Microsoft is investigating an ongoingΒ Multi-Factor Authentication (MFA) outage that is blocking customers from accessing Microsoft 365 Office apps.

​Microsoft is investigating an ongoingΒ Multi-Factor Authentication (MFA) outage that is blocking customers from accessing Microsoft 365 Office apps.

13.01.2025 05:51 β€” πŸ‘ 12    πŸ” 7    πŸ’¬ 1    πŸ“Œ 1

Ya, this is rather annoying for those who frequently jump around to different devices. Then you have to auth your email or get the link to the device during the time limit.

13.01.2025 10:37 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail

The new @ash-hq.org installer builder is coming along really well! Still lots of work to do on the UI and some changes will be necessary for accessibility. I'm really happy with the experience, as it can also act as an overview of all the cool bits we've built for #ElixirLang developers!

13.01.2025 04:58 β€” πŸ‘ 43    πŸ” 5    πŸ’¬ 0    πŸ“Œ 0

I learned HTML for random stuff on Geocities. I don’t even remember what I wrote about then. Though I did eventually have a highly successful joke repository site with hundreds of visitors daily. It died under its own traffic and my lack of paid hosting before I was 20.

13.01.2025 10:30 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Well that’s not ideal.

13.01.2025 10:26 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
defprotocol UnknownImplFor do
  def foo(data)
end

defimpl UnknownImplFor,
  for: [
    Map,
    # Unknown # <-- This is the problem
  ] do
  def foo(data), do: data
end

# Compiling 1 file (.ex)
#     warning: you are implementing a protocol for Unknown
#     but said module is not available. Make sure the module
#     name is correct. If Unknown is an optional dependency,
#     please wrap the protocol implementation in a
#     Code.ensure_loaded?(Unknown) check
#     β”‚
#   5 β”‚ defimpl UnknownImplFor,
#     β”‚ ~~~~~~~~~~~~~~~~~~~~~~~
#     β”‚
#     └─ lib/protocol_types.ex:5: (file)

defprotocol UnknownImplFor do def foo(data) end defimpl UnknownImplFor, for: [ Map, # Unknown # <-- This is the problem ] do def foo(data), do: data end # Compiling 1 file (.ex) # warning: you are implementing a protocol for Unknown # but said module is not available. Make sure the module # name is correct. If Unknown is an optional dependency, # please wrap the protocol implementation in a # Code.ensure_loaded?(Unknown) check # β”‚ # 5 β”‚ defimpl UnknownImplFor, # β”‚ ~~~~~~~~~~~~~~~~~~~~~~~ # β”‚ # └─ lib/protocol_types.ex:5: (file)

defprotocol IncorrectImpl do
  def foo(data)
end

defimpl IncorrectImpl, for: [Map, Range, Bitstring] do
  def foo(nil), do: nil  # <--- This is the problem
  def foo(map), do: map
end

# Compiling 2 files (.ex)
#     warning: the 1st pattern in clause will never match:
#
#         nil
#
#     because it is expected to receive type:
#
#         dynamic(%Range{first: term(), last: term(), step: term()})
#
#     typing violation found at:
#     β”‚
#   6 β”‚   def foo(nil), do: nil
#     β”‚   ~~~~~~~~~~~~~~~~~~~~~
#     β”‚
#     └─ lib/incorrect_dispatch.ex:6: IncorrectDispatch.Range.foo/1

defprotocol IncorrectImpl do def foo(data) end defimpl IncorrectImpl, for: [Map, Range, Bitstring] do def foo(nil), do: nil # <--- This is the problem def foo(map), do: map end # Compiling 2 files (.ex) # warning: the 1st pattern in clause will never match: # # nil # # because it is expected to receive type: # # dynamic(%Range{first: term(), last: term(), step: term()}) # # typing violation found at: # β”‚ # 6 β”‚ def foo(nil), do: nil # β”‚ ~~~~~~~~~~~~~~~~~~~~~ # β”‚ # └─ lib/incorrect_dispatch.ex:6: IncorrectDispatch.Range.foo/1

Elixir 1.19 lands some new type checking, this time with protocols! If you implement a pattern-match inside of a protocol implementation that isn't possible, the compiler will now warn! It was also warn if you implement for an unknown (eg, misspelled) module.

#ElixirLang

28.12.2024 15:40 β€” πŸ‘ 79    πŸ” 15    πŸ’¬ 4    πŸ“Œ 0
IceWeasel on Haiku viewing a YouTube video from Action Retro titled "You Should Daily Drive Haiku OS"

IceWeasel on Haiku viewing a YouTube video from Action Retro titled "You Should Daily Drive Haiku OS"

IceWeasel on Haiku viewing Google Maps set to Paris

IceWeasel on Haiku viewing Google Maps set to Paris

Haiku Community Discord's #haiku-general channel shown in IceWeasel on Haiku

Haiku Community Discord's #haiku-general channel shown in IceWeasel on Haiku

Home page of meander.site (personal website) viewed in IceWeasel on Haiku, with its DOS-era aesthetic.

Home page of meander.site (personal website) viewed in IceWeasel on Haiku, with its DOS-era aesthetic.

An experimental @haiku.mastodon.xyz.ap.brid.gy port of Iceweasel (read: differently-branded Firefox) is now available on HaikuDepot:
depot.haiku-os.org#!/pkg/icewea...

#haiku #haikuos #firefox #iceweasel

09.12.2024 18:55 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Post image Post image

I do live painting with my band and these are two cat-inspired paintings I made during a couple of our shows. My band is called Pocket Vinyl (I’m working on getting us a Bluesky account)

03.01.2025 01:21 β€” πŸ‘ 278    πŸ” 48    πŸ’¬ 6    πŸ“Œ 1

@kritoke is following 19 prominent accounts