|
Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations
-
blog.janestreet.com
-
4 months ago
-
eng
I recently ported the Hardcaml_step_testbench library , one of the libraries that we use at Jane Street for Hardcaml simulations, from using monads to using algebraic effects, a new OCaml 5 feature. This blog post walks through what algebraic effects are, why you should consider using them in lieu of monads, and how to actually work with them using the Handled_effect library . One thing I’ve come to believe is that most of what can be don..
|
|
Back in October 2024, I got my hands on a Snapdragon Dev Kit . With a Qualcomm Snapdragon X Elite ARM64 CPU (the fastest model!), 32GB of RAM, and a 512GB SSD, it ran Windows 11 for ARM lightning fast. So I made it my daily driver, and it stayed that way until very recently. I even wrote a review of it one year later back in October.
|
|
A new year, a new Bending Emacs episode, so here it goes: Bending Emacs Episode 9: Time around the world Emacs comes with a built-in world clock: M-x world-clock To customize displayed timezones, use: (setq world-clock-list '(("America/New_York" "New York") ("America/Caracas" "Caracas") ("Europe/London" "London") ("Asia/Tokyo" "Tokyo"))) Each entry requires a valid timezone string (as per entries in your system's....
|
|
GPU Memory Allocation Bugs with NVIDIA on Linux and Wayland Adventures
-
nickjanetakis.com
-
4 months ago
-
eng
I'm using the proprietary NVIDIA drivers and applied everything the Arch wiki suggested, I went down every rabbit hole and I'm stuck.
|
|
Highlights on building effective cold email campaigns: hyper-specific offers, strong case studies, targeting 'Golden Geese' companies, iterative testing, follow-ups, and scaling with deliverability best practices.
|
|
Case Study | Vertec | IT Industry | SQL Parser to translate code to English
-
tomassetti.me
-
4 months ago
-
eng
About Vertec Vertec a Swiss company founded in 1996, provides an integrated CRM and ERP solution for service providers. Their PSA (Professional Services Automation) software has over 1,200 customers across Europe enabling them to optimize business processes and boost daily productivity. Challenge Originally targeting German language companies in Switzerland and Germany, Vertec now operates in […] The post Case Study | Vertec | IT Industr..
|
|
Another year, another wrap-up! I’m an absolute broken record on these things, but you haven’t read one in a year so maybe you don’t remember that I write basically the same thing every year. 2025 was definitely even better than 2024, which is hard to believe. Before I sit down to write these posts I […]
|
|
I really haven’t got much time or energy at the moment (I spent most of the Christmas break with an extremely painful back, which was exhausting and frustrating), but I wanted to post a very brief list of books I read this year. I read a total of 44 books this year, which includes re-reads […]
|
|
How have your guys' homelab setups been running? Are you doing anything new or setting up new services you'll actually use? I've spent the day trying to get my R510 to recognize this H200 I flashed and threw in earlier and to start iDRAC6. My plan is to run the machine with proxmox and ZFS for a house-wise NAS, jellyfin instance, and pi-hole for the people in my apartment who dont want to set up dnscrypt but want some blacklisting. I've ..
|
|
Wouldn’t it be nice to pull out the key ideas and action points from a book you have just read or are considering purchasing? Maybe get a reminder of the story line of a fiction book you read years ago?
|
|
Wouldn’t it be nice to pull out the key ideas and action points from a book you have just read or are considering purchasing? Maybe get a reminder of the story line of a fiction book you read years ago?
|
|
Whonix 17 End of Security Support and Deprecation Notice - All users should move to Whonix 18 as soon as possible!
-
forums.whonix.org
-
4 months ago
-
eng
As per Whonix Support Schedule , this post serves as the Whonix version 17 deprecation notice. Whonix 18 stable has been released for all platforms. Whonix 18.0.8.7 Released! Major Release Upgrade! Qubes-Whonix 18 Released! Major Release Upgrade! Whonix 17 will be deprecated on 06 February 2026. All users should upgrade! The more time that passes after the deprecation date, the harder or even impossible it might become to pe..
|
|
Kicksecure 17 End of Security Support and Deprecation Notice - All users should move to Kicksecure 18!
-
forums.kicksecure.com
-
4 months ago
-
eng
As per Kicksecure Support Schedule , this post serves as the Kicksecure version 17 deprecation notice. Kicksecure 18 stable has been released for all platforms. Kicksecure 18 Released! Major Release Upgrade! Kicksecure 18 for Qubes Released! Major Release Upgrade! Kicksecure 17 will be deprecated on 06 February 2026. All users should upgrade! The more time that passes after the deprecation date, the harder or even impossible..
|
|
In a New Year’s resolution-driven attempt to un-Microsoft-ify my life , I’m moving all of my repositories over from GitHub (owned by Microsoft) to sourcehut (owned by some dude ). This blog was the first repo to make the switch and was previously hosted via GitHub Pages, and now uses sourcehut pages instead. Here’s the config I created to make the CI-driven deployment work:
|
|
In a New Year’s resolution-driven attempt to un-Microsoft-ify my life , I’m moving all of my repositories over from GitHub (owned by Microsoft) to sourcehut (owned by some dude ). This blog was the first repo to make the switch and was previously hosted via GitHub Pages, and now uses sourcehut pages instead. Here’s the config I created to make the CI-driven deployment work:
|
My 2018 resolution was simple. Blog once a week. 2025 is over and I've been blogging weekly for 7 years.
|
Reviewing the months that were at The New Leaf Journal (and sister sistes) in November and December 2025.
|
|
I’ve always been curious, how do you and your team at REVSYS prioritize what to work on? Obviously client work pays the bills, but your team has been heavily involved in the Python and Django community for years, either serving on boards/working groups/committees/etc or helping maintain a myriad of open source libraries and helpful community sites. I figure each person has a certain level of autonomy to prioritize, but do ya'll have somethi..
|
|
DISCLOSURE: I received a review copy of this book from No Starch Press in October 2025. The following represents my honest opinions – I do not receive any sort of additional compensation including affiliate rewards from links presented herein. I purchased a physical copy of the book prior to this review. Almost 4 years ago I started this blog with a series on creating a Game Boy (specifically DMG) game from scratch using gbdk-2020 call....
|
|
README.md is that one file in every project that gets the princess treatment from GitHub, GitLab, and other source code hosting platforms.
|
|
DISCLOSURE: I received a review copy of this book from No Starch Press in October 2025. The following represents my honest opinions – I do not receive any sort of additional compensation including affiliate rewards from links presented herein. I purchased a physical copy of the book prior to this review. Almost 4 years ago I started this blog with a series on creating a Game Boy (specifically DMG) game from scratch using gbdk-2020 call....
|
|
Unbridled Enthusiasm Year 2004. It's my first year of university. I just started studying computer science and software engineering. I know nothing about the field. I only got my first computer 2 years ago. I was a geeky kid, but not a computer geeky one. Few months into my studies I'm sitting at the lecture. During the break I talk to my classmate about computers - I know very little since I didn't have them growing up and my family cou....
|
|
Unbridled Enthusiasm Year 2004. It's my first year of university. I just started studying computer science and software engineering. I know nothing about the field. I only got my first computer 2 years ago. I was a geeky kid, but not a computer geeky one. Few months into my studies I'm sitting at the lecture. During the break I talk to my classmate about computers - I know very little since I didn't have them growing up and my family cou....
|
|
Unbridled Enthusiasm Year 2004. It's my first year of university. I just started studying computer science and software engineering. I know nothing about the field. I only got my first computer 2 years ago. I was a geeky kid, but not a computer geeky one. Few months into my studies I'm sitting at the lecture. During the break I talk to my classmate about computers - I know very little since I didn't have them growing up and my family cou....
|
|
A practical guide to actively increasing your 'luck surface area' by focusing on hustle, strategic setup, cultivating creativity, and building capacity. Learn to engineer serendipity through networking, working in public, optimizing your environment, and developing key skills and a positive mindset.
|
If you think about emails as if they’re anything but the digital equivalent of a postcard–that is to say, postcards provide zero confidentiality–then someone lied to you and I’m sorry you had to find out from a furry blog that sometimes talks about applied cryptography. At the end of 2025, at the 39th Chaos Communications […]
|