Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Minsoo Choo :freebsd_logo:

@minsoochoo@mastodon.bsd.cafe
mastodon 4.7.3
  • Open on mastodon.bsd.cafe

Hacking kernels…

69 Followers
53 Following
17 Posts
Joined June 11, 2025
Website:
https://minsoo.io
Github:
https://github.com/mchoo7
LinkedIn:
https://www.linkedin.com/in/minsoochoo0122/
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 5mo ago

Just wrapped up my first co-op term as a Junior Software Developer Intern at the FreeBSD Foundation! Over the past four months, I worked on HMP scheduling (with a patch for the hmp(4) framework that I'll be presenting at BSDCan 2026) and brought LLDB kernel debugging much closer to feature parity with KGDB across FreeBSD's supported architectures — work that will ship in LLVM 23.

Huge thanks to everyone at the Foundation, the FreeBSD Project, and the LLVM Project for their support, mentorship, and thorough code reviews throughout the term. Read the full recap on my blog through the link below.

https://minsoo.io/first-co-op-term-recap/

minsoo.io
27
2
10
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 4mo ago

A new coop student at the FreeBSD Foundation is working on porting ROCm to FreeBSD.

We know that anything that involves the word “VM” (whether it’s virtual memory or virtual machine) is a fun thing to deal with!

https://racha.ca/myPosts/ROCmFreeBSD_pt3.html

racha.ca
5
0
2
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 5mo ago

Currently reading Computer Systems: A Programmer's Perspective (aka CS:APP).

Let's see how far I can get before school starts!

6
1
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 5mo ago
Bought “The Design and Implementation of the FreeBSD Operating System, 2:E” last year, but the third edition is coming later this year… Should’ve waited more. https://allanjude.com/publications/
allanjude.com
4
5
2
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 4mo ago

I might transfer from computer engineering to mathematical physics (BSc) at uWaterloo. Currently 70% of chance doing it.

After starting second term, I realized that programming as hobby and learning it for grades aren’t the same.

3
0
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 5mo ago

Swift is the language that I had least issues so far:

Javascript: cjs/ejs, node/browser, npm/pnpm/yarn/bun, nvm/fnm, webpack/vite, pure JS/JSDoc/TS, and much more. Sometimes dev tools become bottlenecks, not the actual code.

Python: Lack of good type checking. Mypy doesn’t always work when combined with other libraries. Performance issue due to GIL. pip3/poetry/uv, setup.py/hatchling/uv-build, black/flake8/ruff, etc. Again, too many dev tools out there.

The issue with JS/Python dev tools is that I need to install multiple programs to do the same job depending on the project I’m working on. If a new project uses different devtools, I need to spend extra time to install and learn them.

Golang: It’s bit off from traditional C-style syntax so I was never motivated to use it. But it’s loved a lot by network and container developers.

Rust: I like the idea, but the learning curve is steep and that’s kinda intimidating. Also I think it gets too much hype than it deserves.

Zig: Still in development. It might be good for embedded programming, but I find that code gets too long in some cases like I/O. Like Rust, I think it’s getting too much hype right now. I would give it a few more years to see how it ends up in 1.0.

C/C++: Header files, macros, and lack of dependency management. For build systems though, I think CMake/Ninja are doing well.

I’m not saying Swift is perfect. It has problems like lack of support for latest release from VSCode extension, broken compiler type check, not enough support for non-Darwin systems, and lack of good toolchain bootstrapping on Linux. When we go further up to macOS/iOS programming, there is Xcode SwiftUI preview crashing all the time.

But when it comes to enjoying the programming itself, Swift is the best language to me. Not only the language design is clean, I never had issues with dev tools as well because there is no dev tools hell like JS and Python.

This is why I would like to see something like FreeBSDKit by Project5BSD more in future.

https://github.com/5BSD/FreeBSDKit

GitHub

GitHub - 5BSD/FreeBSDKit

Contribute to 5BSD/FreeBSDKit development by creating an account on GitHub.

3
0
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 4mo ago

Weekend TODO:

- Catch up reading ECE 108 course notes (~50 pages)
- ditto for ECE 140 course notes (~100 pages)
- Review MATH 119 course notes (5 pages)
- Do more investigation on the ULE scheduler
- Finish BSDCan slides (should’ve finished this last week)

Gotta be a busy weekend…

2
0
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 4mo ago

I came to wrong university program.

I thought Computer Engineering will be full of fun courses, but the reality is that they are just boring. Now looking back at the curriculum, I find that Mathematical Physics (BSc) is more interesting than CE.

Computer Engineering has tuition of $19K/year. Mathematical Physics only has $9/year. This is ridiculous.

At this point, I would transfer to Mathematical Physics as a regular program. Why not co-op option? Most of the co-op postings on WaterlooWorks aren’t interesting. 70% of them are web frontend work and 90% of them are replaceable by AI. Moreover, as I continue exploring different fields of computing, I found that my only fields of interests are operating systems and microarchitecture. Since job postings for those are mostly external, there is no benefit of using WaterlooWorks to me.

Whether I transfer or not will be decided in a few months, but it’s clear at this point that Computer Engineering as a university program is not for me.

2
1
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 4mo ago

Great article on performance optimization on Swift programs!

I don’t think the Swift language is necessarily slow compared to C (as the article says, it does better than C compiler for SIMD optimization), but it wants programmers to use advanced data structures such as inline array to match or beat C’s performance.

https://www.cocoawithlove.com/blog/matrix-multiplications-swift.html

Training an LLM in Swift, Part 1: Taking matrix multiplication from Gflop/s to Tflop/s | Cocoa with Love
Cocoa with Love

Training an LLM in Swift, Part 1: Taking matrix multiplication from Gflop/s to Tflop/s | Cocoa with Love

10 implementations of handwritten matrix multiplication: from plain C and Swift through to Metal

2
0
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 7mo ago
Replying to
FreeBSD has a patch that converts minidump to ELF core dump: https://reviews.freebsd.org/D19253 Instead of reimplenting kvm in C++ for LLDB, how about converting minidump to ELF core dump during savecore(8) and debugging the dump with FreeBSDKernel plugin which inherits classes from ProcessElfCore/ThreadElfCore? This also opens door for cross-platform kernel dump debugging on GDB.
reviews.freebsd.org
3
3
1
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 5mo ago

I really wanted to finish Chapter 4 (Processor design) before leaving for university... but time's up! GG

1
1
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 7mo ago
Replying to
@jdevlieghere@mastodon.social Minidump in LLVM actually means Windows minidump that is produced after BSOD. The name is bit misleading since FreeBSD also has minidump that serves a similar purpose but has a totally different structure. llvm::file_magic::minidump_nt and minidump-nt as a plugin name would be better names. Another issue is that FreeBSD minidump is not stable which has versioning per architecture. Currently LLDB and KGDB don’t need to care about the versioning part as it is handled under the kvm interface. Generating ELF core from minidump reduces maintenance burden on the debugger side, so it’s better to handle minidump on FreeBSD and forget about it on debugger side.
1
1
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 4mo ago

No way Substack added code block right after I moved to Ghost.

https://support.substack.com/hc/en-us/articles/46860260687380-How-do-I-embed-a-code-block-in-a-Substack-post

support.substack.com
0
1
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 5mo ago

One downside of Chapter 3 from CS:APP is that it’s based on AMD64 assembly. I know it’s the best ISA for hands-on experience and thus suitable for labs, but the book wastes so many pages on explaining AMD64’s special cases.

For example, any operation that touches lower 32-bit (l) of a register sets upper 32-bits to zeros, and the readers have to keep that on mind while reading the book.

My personal preference would be RISC-V, but it wouldn’t be practical for a course that targets not only CS/CE students but also students from other faculties who wants to take an introductory CS course.

0
1
0
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 1w ago
Boosted by @oxy@social.bsdlab.au
LLDB/FreeBSD project is almost over and I just finished the hardest part (trapframe unwinding). I wrote a blog post on how I approached this issue. It’s not technical deep dive, but it’ll help people to understand how kernel debugging changes in future versions of FreeBSD. https://minsoo.io/p/freebsd-kernel-frame-unwinding-with
FreeBSD Kernel Frame Unwinding with DWARF CFI
minsoo.io

FreeBSD Kernel Frame Unwinding with DWARF CFI

Final Piece for FreeBSD Kernel Debugging with LLDB

0
0
1
0
Open post
Minsoo Choo :freebsd_logo: @minsoochoo@mastodon.bsd.cafe
· 8mo ago
Replying to
@emaste@mastodon.social Among the supported platforms in FreeBSD 13-15: riscv64, ppc64, and ppc64le are missing LLDB userland debugging support. The above plus ppc, armv7, and mips64 are missing kernel debugging support. (LLDB doesn’t have register enums on other architectures like mips32 and ppcspe) …and I haven’t heard any complaint or user feedback on this so far.
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 07:35:38 UTC