YAMAMOTO Yuji （HN: すがすがC言語）
LightNews LightNews
igreque.info
YAMAMOTO Yuji （HN: すがすがC言語）
@igreque.info
760 followers 870 following 3.2K posts
プリキュアと音ゲーとポムポムプリンとプログラミングが大好き
Loves PreCure, rhythm games, computer programming, and Pompom Purin!

Personal Website: https://the.igreque.info/
Misskey: https://rhythmisskey.games/@igrep
GitHub: https://github.com/igrep
旧Twitter: https://twitter.com/igrep
Posts Replies Media Videos
igreque.info
困ったらあるべきところに __init__.py を置いておけばいい感じになったな
December 4, 2025 at 8:54 AM
igreque.info
まあ、やろうとしてることは概ねparinferでできちゃうんだよなぁ
December 3, 2025 at 12:18 PM
igreque.info
後Vも、と思ったけどVは難しそうだなぁ。
December 2, 2025 at 3:10 AM
igreque.info
makeMistakesToLearnHaskellの更新 github.com/haskell-jp/m...

Haskell-jp Blogの記事のレビューで見つけた点を直した
github.com/haskell-jp/b...
(WIP) Update ex17 · haskell-jp/makeMistakesToLearnHaskell@203bfc4
Next: 実はすでにある: `Maybe`型
github.com
November 30, 2025 at 9:10 AM
igreque.info
何となく敬遠してたけど、確かにmirroredにしたらうまく行ってるっぽいね。GitHubでの反応見る限り今後はmirroredを使えってことなんだろうか。
November 27, 2025 at 12:27 PM
igreque.info
mirroedでもダメだったケースもあるが。。。
github.com/microsoft/WS...
wsl2 - Network is unreachable with networkingMode=mirrored · Issue #11552 · microsoft/WSL
Windows Version 10.0.22621.3527 WSL Version 2.1.5.0 Are you using WSL 1 or WSL 2? WSL 2 WSL 1 Kernel Version 5.15.146.1-2 Distro Version Ubuntu 22.04 Other Software Forcepoint VPN 6.11 Repro Steps ...
github.com
November 27, 2025 at 12:10 PM
igreque.info
この辺読んでてもMirrorMode使え、が結論っぽいね
github.com/microsoft/WS...
WSL2 , problem with network connection when VPN used (PulseSecure) · Issue #5068 · microsoft/WSL
I'm using MS v. 2004 (build 19041) with UBUNTU linux on WSL2. When I don't use VPN on windows , everything is fine - I have internet connection on windows and wsl2 ubuntu. But when established conn...
github.com
November 27, 2025 at 12:08 PM
igreque.info
新しいインスタンスを作ってみてもやっぱりダメ。
WSL 2ごと再セットアップしなきゃか？
November 27, 2025 at 12:07 AM
igreque.info
Windows Firewallを無効にしてみたけど効果なし。案の定関係ないね
November 27, 2025 at 12:01 AM
igreque.info
覚えている限りの経緯
1. Windows側でLinuxがアクセスできる簡単なTCPサーバーを立てる
2. その時点では問題なかったが、スタートアップに登録して再起動したところ、使おうとしたポートがpermission deniedに。
3. stackoverflow.com/questions/48... を参考にwinnatを再起動すると問題なく件のサーバーを起動し、Linux側からアクセスできるようになった
4. その時点からかその後Windowsごと再起動してからかは不明だが、問題発生
Cannot bind to some ports due to permission denied
For the last 3 months or so I'm having random errors where I can't bind a specific port where our Identity server is running on my local development workstation. At first I thought it's my broken m...
stackoverflow.com
November 24, 2025 at 1:17 AM