Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Cyph0n
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
26 ms
·
511.
▲
by
Cyph0n
2y ago
Because entry is handled by CBP - Customs and Border Protection. Immigration - which is the process of becoming a US permanent resident and/or citizen - is handled (mostly) by USCIS. Other visas are handled by the State Department (for
512.
▲
by
Cyph0n
2y ago
Coincidentally, I use Immich as an example for my demo in the overview video: https://youtu.be/hCAFyzJ81Pg?t=281
513.
▲
by
Cyph0n
2y ago
NixOS OCI containers are a powerful way to run apps that are not packaged for Nix or NixOS. And because they’re ultimately systemd units, you can customize virtually everything without having to fiddle with the container runtime. If you wan
514.
▲
by
Cyph0n
2y ago
Genuine question: wouldn’t server-based frontend JS apps be susceptible to the same issue? Of course, if your JS app isn’t server-based and can run non-trivial logic on the client, then it’s going to work better than a LiveView app.
515.
▲
by
Cyph0n
2y ago
In Sunni Islam, the Hadith is essentially a companion source to the Quran - in particular, Sahih Bukhari and Sahih Muslim. But I should have been more specific. I think Shia art has the same restrictions though - could be wrong.
516.
▲
by
Cyph0n
2y ago
In the context of Islam: art that depicts living things, especially humans.
517.
▲
by
Cyph0n
2y ago
Well put. It’s also quite ironic how the violent struggle for liberation is encouraged in the world of fiction - from Star Wars to Hunger Games - but is emphatically denounced as soon as it bleeds out into the real world. Funnily enough, I
518.
▲
by
Cyph0n
2y ago
1. Israel de facto controls the Rafah border. 2. Due to (1), and clear & consistent messaging by Israeli officials on Gaza resettlement as a goal, Egypt understands that “temporary” refugees will be unable to return - i.e., a repeat of
519.
▲
by
Cyph0n
2y ago
Astroturfing and moderator controlled subreddits have ruined Reddit for me. /r/worldnews is one example of the latter.
520.
▲
by
Cyph0n
2y ago
+1, Podman is great. I have been running it for a while on NixOS. But Compose doesn’t mesh well with the overall NixOS configuration system. So I ended up building a custom tool that can convert your existing Compose project into a NixOS co
521.
▲
by
Cyph0n
2y ago
I was just reading about the Greece incident linked on the wiki page. Absolutely staggering stuff - none of which I heard of before!
522.
▲
by
Cyph0n
2y ago
Does this mean that they were able to (ab)use LI infra? https://en.wikipedia.org/wiki/Lawful_interception
523.
▲
by
Cyph0n
2y ago
It was indeed the topmen. Damn, yeah, completely missed those then haha.
524.
▲
by
Cyph0n
2y ago
I had to make a few educated guesses of identities towards the end of the game - I think among the last 5 or so people. Now I am wondering which clues I missed.
525.
▲
by
Cyph0n
2y ago
If you’re just starting out, then sure. But if you cook a lot of rice, it’s a noticeable step up in both quality and consistency. They are extremely common in Japan afaik.
526.
▲
by
Cyph0n
2y ago
+1 to both. If you want more consistent rice, invest in a fuzzy logic rice cooker ($150-$300).
527.
▲
by
Cyph0n
2y ago
By controlling the water pressure.
528.
▲
by
Cyph0n
2y ago
TMDB, TVDB, AniDB & Anilist (anime)
529.
▲
by
Cyph0n
2y ago
I think the fact that Twitter is still running is nothing but a testament to the brilliant work done by the engineers who built and documented these systems. I would guess that, going forward, companies should expect less of this kind of qu
530.
▲
by
Cyph0n
2y ago
So is it a form of property checking? That is, your model defines certain properties which your program is checked against. Or is it some form of symbolic execution? This I doubt because I believe the performance is not there yet. I will re
531.
▲
by
Cyph0n
2y ago
Layers of interpretation = surfacing the bias of the editorial team so you can look for it in the non-oped sections of the paper
532.
▲
by
Cyph0n
2y ago
In my opinion, vaguely handwaving that model checking makes C as effective as Rust invites nothing but skepticism to anyone who knows C and Rust. Typically, if you’re advocating for a relatively unknown technology that you want others to ad
533.
▲
by
Cyph0n
2y ago
Unless you have some insider info, I think you’re oversimplifying why Linux is giving Rust a chance. Also, model checking - at least as you’re portraying it - sounds too good to be true. If it was anywhere close to the realm of practicality
534.
▲
by
Cyph0n
2y ago
I am sure it is “possible”, but we are talking about practicality here. Why doesn’t the Linux kernel embrace model checking instead of experimenting with Rust?
535.
▲
by
Cyph0n
2y ago
Safe C is harder than safe Rust.
536.
▲
by
Cyph0n
2y ago
I would expect any response to (among other things): a) adhere to international law (which we now know is a complete farce thanks UNSC veto) b) not involve ethnic cleansing/forced displacement of Palestinians for a 3rd time in the last
537.
▲
by
Cyph0n
2y ago
Feel free to share your objections to what I wrote. Unfortunately, it is hard to discern legitimate interest vs. someone wanting to engage in a debate for the sake of it. And I am not interested in wasting my time figuring out which is the
538.
▲
by
Cyph0n
2y ago
But beheaded babies and babies in ovens portrays a different level of atrocities being committed. This kind of fictional atrocity dissemination is very similar to the approach used during the Gulf War[1]. More importantly, the point is that
539.
▲
by
Cyph0n
2y ago
The bigger problem is that these lies spread “like wildfire” via Western media outlets - with zero fact checking or confirmation. These images were then used to justify the rampage in Gaza. As far as I am aware, not a single Western media r
540.
▲
by
Cyph0n
2y ago
IPC/shared memory overhead?
More ›