I'll be here for the next 6 hours. As usual, there are countless possible topics and I'll be guided by whatever you're concerned with but as much as possible I'd like to focus on the recent changes and potential changes in U.S. immigration law, policy, and practice. Please remember that I am limited in providing legal advice on specific cases for obvious liability reasons because I won't have access to all the facts. Please stick to a factual discussion in your questions and comments and I'll try to do the same in my responses. Thank you!
Comments URL: https://news.ycombinator.com/item?id=43363056
Points: 18
# Comments: 19
Jelentkezéshez jelentkezzen be
EGYÉB POSTS Ebben a csoportban
Article URL: https://research.swtch.com/diffcover
Comments URL: https://news.ycomb
Article URL: https://arxiv.org/abs/2504.17192
Comments URL: https://news.ycombinator.c
Article URL: https://arxiv.org/abs/2504.11651
Comments URL: https://news.ycombinator.c
Article URL: https://curry-lang.org/
Comments URL: https://news.ycombinator.com/item?id=4379721
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Ru
