Notices by 洪 民憙 (Hong Minhee) (hongminhee@todon.eu), page 17

PEP 723 is implemented in the latest version of pipx. Good to hear!

https://peps.python.org/pep-0723/

I'm using #FsCheck in C# for property-based testing, and it's pretty good so far. A few things I don't like:

• Since FsCheck is F#-based, it displays arbitrary inputs in F# syntax when it fails to satisfy a property.

• There is no way to print an intermediate evaluation of a property (like Hedgehog's annotate/footnote).

#dotnet

https://fscheck.github.io/FsCheck/

예전 할아버지에게 한자 배울 때 '고이 묘(猫)'라고 했었다.

@riemannulus 그나저나 그저께였나 이런 글을 본 게 떠오르네요.

https://irrlicht3d.org/index.php?t=1626

@riemannulus 그래도 WinUI 3로 만드는 게 가장 모던한 룩앤필이 나오긴 할 것인디… 흑

Reading "This week in Rust" inspires me and teaches me new things. Reading similar newsletters about C# just teaches me yet another way to do an EF query, why we shouldn't use the repository pattern, or yet another article about what event sourcing is...

@riemannulus 뭘 하시기에 WinUI 3를 쓰시는 건가요… ㄷㄷ

@quadr 근데 Copilot 써도 문제 해결 능력 떨어지면 문제 못 푸는 경우가 대부분이라 저는 크게 걱정 안 하는 편이예요. (이른바 답을 알려줘도 못 알아듣는 경우.) 유의미하게 도움 받는 지점이라면 시간이 부족해서 못 푸는 문제를 풀 수 있게 되는 경우나, 알고리즘의 디테일이 가물가물할 때 정도일 것 같습니다.

@nki Yeah, 中 jung 央 ang.

I wish Apple Music for Windows also could stream music to AirPlay speakers. 😞

Apple Music for Windows now finally supports AirPlay streaming!

@annyeong 전자적독가…! 😂

I've been donating monthly to the Internet Archive, and now I'm going to have to increase my donation.

https://arstechnica.com/gadgets/2024/02/google-search-kills-off-cached-webpages/

@annyeong 적탭가(積탭家)시군요!

It's really annoying that in C#, the semantics of T? change depending on whether T is a value type or a reference type.

T? where T : struct → Nullable<T>
T? where T : notnull → [AllowNull] T

I used to be comfortable with Rider > Visual Studio > VS Code in the order when coding in C#, but now I seem to be more comfortable with VS Code > Rider > Visual Studio. This is probably because my experience has improved a lot since the release of the C# Dev Kit for Visual Studio Code.

자료들이 거의 전산화되니 인쇄자료들은 점점 볼 일이 없어진다. 작년까지 책장 하나를 버렸다. 그중에서도 못버리겠는 것은 내가 직접 작성한 노트들이다. 그리고 대학때 손때 묻은 교재들.

https://www.khan.co.kr/opinion/column/article/202312112028035

Submitted an API proposal to the .NET runtime repository.

https://github.com/dotnet/runtime/issues/97940

Why doesn't System.Uri implement IEquatable<Uri>?

https://learn.microsoft.com/en-us/dotnet/api/system.uri