vzaliva

11 ms·

181.
by vzaliva 2y ago
I assume a VPN should mitigate these attacks?
182.
by vzaliva 2y ago
The new emerging hybrid model of non-profit foundations paired with for-profit businesses is certainly interesting, as it combines some "greater good" principles with the ability to build products and run businesses in a modern co
183.
by vzaliva 2y ago
One consideration in choosing a proof assistant is the type of proofs you are doing. For example, mathematicians often lean towards Lean (pun intended), while those in programming languages favour Coq or Isabelle, among others.
184.
by vzaliva 2y ago
Okay, they could not be held accountable for contract breach because there is a small print somewhere in a FAQ linked from TOS, but perhaps they could be sued for misleading advertisement? One car reasonably argue that "the price will
185.
by vzaliva 2y ago
I love that they use machinelearning.apple.com not ai.apple.com
186.
by vzaliva 2y ago
Look like a nice, very polished product. It is a commercial product with free Community Edition. Unfortunately for me the restriction on not supporting Yubikey ssh authentication on free edition is a show stopper. I do not consider Yubikey
187.
by vzaliva 2y ago
Such a missed opportunity to cite "Alice's Adventures in Wonderland" in References section!
188.
by vzaliva 2y ago
It was in the nineties, shortly after the fall of the Soviet Union, and there was a fair amount of lawlessness. Many shops had their own security, often from criminal organizations. The shop I wrote accounting software for had such goons on
189.
by vzaliva 2y ago
It's a longer story, but the gist is that one night I got a call saying some code I'd written wasn’t working properly, and they wanted me to come and fix it. When I tried to refuse, I was told they would send someone to break down
190.
by vzaliva 2y ago
Decoding these signals should be a fun 1st project for Software Defined Radio. Google search shows several projects which did just that.
191.
by vzaliva 2y ago
I think it's a very nice concept, but sometimes when you present, you have to use other people's computers, and I am wondering if it's possible to generate a PDF from this and use it for presentations? My second thought is th
192.
by vzaliva 2y ago
Charging an EV is straightforward if you have a home parking spot. However, "According to the 2017 American Housing Survey, 66% of all occupied housing units in the United States had a garage or carport." For those living in big c
193.
by vzaliva 2y ago
This is a wise short-term solution to prevent potential legal exposure. Long-term, I think we will need to figure out how to deal with IP in AI-generated code.
194.
by vzaliva 2y ago
In screenshots he uses Signal messenger to talk to the device. How this was achieved?
195.
by vzaliva 2y ago
I get a bit annoyed when people focus too much on the "functional" aspect when discussing Haskell. True, it's a significant part of it, but there are other functional languages that go back as far as Lisp. What sets Haskell a
196.
by vzaliva 2y ago
I work a lot with academic papers on iPad and PDF expert is the best! https://pdfexpert.com/
197.
by vzaliva 2y ago
Given the easy availability of so many titles, we clearly need better ways to find what to read. We don't want to be at the mercy of big publishers' marketing machines telling us what to read. I spend a lot of time looking at Amaz
198.
by vzaliva 2y ago
Another issue with these forms is that the communication method is asymmetric. You fill out the form to contact the business, but their only way to respond is by sending you an email.
199.
by vzaliva 2y ago
The question is: how widespread is it in 2024? P.S. I am always using a VPN on Hotel/Cafe WiFi.
200.
by vzaliva 2y ago
what does it mean "new track almost all in the median of Interstate 15"? Do they plan to run a train in the middle of highway? Is there is enough width there for a train?
201.
by vzaliva 3y ago
The most interesting part of this news is that it gives is the exact number of Cybertrucks sold so far. It is under 4000.
202.
by vzaliva 3y ago
In CHERI, the `data` pointer in your example is not merely a 64-bit pointer (assuming ARM Morello architecture) but a special 128-bit data structure called a `capability`, which encodes within it the bounds of the memory block allocated to
203.
by vzaliva 3y ago
Unless you watch movies online. I remember switching away from my Comcast/Xfinity DNS and immediately experience significant degradation of Netflix/Amazon video quality. Apparently they use DNS for traffic optimization when video
204.
by vzaliva 3y ago
It looks like a good choice for access to small embedded devices. Except the missing port forwarding feature.
205.
by vzaliva 3y ago
I did the similar thing with exported list of books with my ratings from Goodreads. ChatGPT-4 gave me some good suggestions.
206.
by vzaliva 3y ago
What's worrying about the article is the fact that electronic editions of ebooks expire, meaning libraries can't keep them indefinitely. It's reminiscent of the Hollywood blockbuster model, where there's only a short win
207.
by vzaliva 3y ago
I use Wyze cameras with SD cards, so while WiFi will jam online monitoring, there will be a record of the bulgrary.
208.
by vzaliva 3y ago
"The consideration will be paid in a combination of: (i) a cash equivalent of at least RUB 230 billion" This money will go to Russian economy and will indirectly support the war. Instead these money should have been frozen in an e
209.
by vzaliva 3y ago
One missing feature which caught my eye is water-resistance. It is pretty much standard on modern phones and for me it is critical. I still remember times when you can ruin your expensive iPhone by "water damage" not covered by th
210.
by vzaliva 3y ago
"Using your voice to send an email" - how's that not useful?! E.g. running late for a meeting and send a quick email from your car.

More ›