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.

242 Followers  |  1,286 Following  |  22 Posts  |  Joined: 09.11.2023  |  2.3303

Latest posts by kritoke.bsky.social on Bluesky

GHC 9.14.1-rc1 is now available. This includes an important fix which ensures compatibility with macOS 26 and later. This fix will be backported to GHC 9.12 and 9.10 in the coming months.

Happy Haskelling!

https:/ /www.haskell.org/ghc/blog/20251030-ghc-9.14.1-rc1-released.html

#Haskell

31.10.2025 09:10 β€” πŸ‘ 15    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

Microsoft says it’s aware of the Task Manager bug and is β€œworking on a resolution for this issue”

31.10.2025 22:39 β€” πŸ‘ 67    πŸ” 10    πŸ’¬ 6    πŸ“Œ 1

The Kickstarter is off to a great start!! It would be huge to reach the second stretch goal, including Rebar in OTP would get rid of the #1 problem people run into when getting started with Gleam and Erlang ⭐️

www.kickstarter.com/projects/pee...

06.09.2025 13:28 β€” πŸ‘ 9    πŸ” 3    πŸ’¬ 0    πŸ“Œ 1
Deep in a cave, two people stand inside a vast underground space with a circular pattern in the cavern ceiling, far above them. A headline reads This Cave in Kentucky Was a Smelly Disaster. Now It’s Spectacular.

Deep in a cave, two people stand inside a vast underground space with a circular pattern in the cavern ceiling, far above them. A headline reads This Cave in Kentucky Was a Smelly Disaster. Now It’s Spectacular.

For generations, Horse Cave, Kentucky, smelled awful. Miles of caverns and waterways underneath the small town brimmed with sewage that sent a putrid stench up from the depths and across downtown. Then came an audacious vision, a bit of money and a lot of grit. www.nytimes.com/2025/08/20/c...

02.09.2025 01:23 β€” πŸ‘ 212    πŸ” 27    πŸ’¬ 10    πŸ“Œ 4
Preview
Optimising for maintainability | Gleam programming language A case study of Gleam in production at Strand

β€œWe do have systems that are written in mainstream programming languages like Python and JavaScript, but our strategy is to pick the best tool for the job, not just the most popular. Gleam was a good fit for our requirements.”

Read the whole case study here: gleam.run/case-studies... ⭐

28.08.2025 13:09 β€” πŸ‘ 54    πŸ” 10    πŸ’¬ 2    πŸ“Œ 4
A graphic showing many cute pink stars and the message "Thank you from Gleam, 20,000 GitHub Stars"

A graphic showing many cute pink stars and the message "Thank you from Gleam, 20,000 GitHub Stars"

Gleam just broke 20,000 GitHub stars!
Wow that's a lot of Gleamlins πŸ’–

26.08.2025 09:36 β€” πŸ‘ 99    πŸ” 20    πŸ’¬ 4    πŸ“Œ 0

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 β€” πŸ‘ 89    πŸ” 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 β€” πŸ‘ 31    πŸ” 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 β€” πŸ‘ 35984    πŸ” 6775    πŸ’¬ 496    πŸ“Œ 475
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 β€” πŸ‘ 6    πŸ” 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 β€” πŸ‘ 566    πŸ” 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

@kritoke is following 20 prominent accounts