rav

6 ms·

31.
by rav 2y ago
I don't think CSS resets make developing CSS easier for me... I'd rather have one set of bad defaults to develop on top of, than each project starting with its own set of good defaults that I then have to understand the strengths&
32.
by rav 2y ago
Can't you use ctrl-left click to deselect the selected file before using ctrl-right click to get the context menu?
33.
by rav 2y ago
I thought this was going to be about the physical notch switch on some floppies to switch them between read-write and read-only modes... That thought alone brought back some deep childhood memories!
34.
by rav 2y ago
According to a forum post [1], e.g. iPad Mini 4 was discontinued March 2019 and is stuck on iOS 15, which doesn't support nested styles. Perhaps the issue is that people want to continue using old tablet devices that are no longer gett
35.
Scale GPGPU Programming Language(scale-lang.com)
5 points by rav 2y ago|0 comments
36.
by rav 2y ago
Instead of a random string ID, you can devise a fixed secret key and expose the auto-incremented ID xor the fixed secret key as the public-facing ID. This saves you the separate index but still avoids the German tank problem. But it gives y
37.
by rav 2y ago
Perhaps the eminently useful <PLAINTEXT> tag hadn't been invented in 1994 :-)
38.
by rav 2y ago
Both programs and math proofs are allowed to be written in story mode where definitions can come after their usages. Unless you write in C. There's no story mode in C :-)
39.
by rav 2y ago
> After thinking far too long about how I can sort coordinates reliability, I chose the easy way out: In addition to the code, please also give a plain language description: "We ensure that the first coordinate is the lexicographica
40.
by rav 2y ago
You can use it with just a personal Google account - does that require a phone number? Alternatively, someone with a Google account can create a meeting ( https://meet.new ) and send you the link, which you can join without any Go
41.
by rav 2y ago
Meet is nice and nicer than Teams and Zoom in my opinion, but for 1-on-1 pair programming I think Facebook Messenger actually has the best experience - when you're on the same screen resolution, the screen sharing is 100% zoom (unlike
42.
by rav 2y ago
The Danish Address Register (DAR) assigns a UUID to everything in the addressing system - street names, postal codes, building addresses... It's a nice official database to have in Denmark but I don't know of any products that act
43.
by rav 2y ago
Looking at the CSS for a few of the pictures, it seems like it's more CSS backgrounds specified using lots of gradients. I wonder if it would be faster to implement an SVG-to-CSS-gradient compiler or implement the pictures directly usi
44.
by rav 2y ago
After typing "git init" in the terminal in the level called "The command line", I then wanted to try my luck so I typed "vim". Now the terminal is stuck. How do I exit vim?
45.
by rav 2y ago
> That said, a lot of what’s actually hard about IO is the error/fault handling, imposing timeouts and backoffs and all that jazz. Application-level timeout/backoff handling is always scary to me, because I don't know how
46.
by rav 2y ago
The stuff about flights is not clear to me. Is this about flights results in Google Search, or is it also about searching on Google Flights i.e. https://www.google.com/travel/flights - I use Google Flights in Europe a
47.
by rav 2y ago
> The backdoor relies on sshd being patched to depend on libsystemd to call sd_notify I remember when we added sd_notify support to our services at work, I was wondering why one would pull in libsystemd as a dependency for this. I mean,
48.
by rav 3y ago
I downloaded IrfanView and ran "strings" on the exe file, and one of the strings in there is "Microsoft Visual C++ Runtime Library" - so that would point towards C++ (although it's not certain from that alone).
49.
by rav 3y ago
Ah, I think I considered the article to be a supposed improvement to CSS animations - in which case both exponential smoothing and px/s transitions would be independent improvements.
50.
by rav 3y ago
But can't you then also change the units on the linear animations? "move 40px/s until you reach the destination"
51.
by rav 3y ago
> If you've used CSS transitions you'll have encountered the problem this solves. Okay, my duration is 400ms -- but why 400? Shouldn't it depend on how far it has to move? It seems to me that the "speed" paramete
52.
by rav 3y ago
It's a quite distinct GUI - there's not really any screenshots in the official materials, but if you do a Google image search for "ipe" "latex" then you can see what it looks like.
53.
by rav 3y ago
Ipe is a nice power tool - I learned to use it in grad school and have used it to draw technical illustrations that are essentially polished sketches. For example Figures 1 through 8 in this paper: https://users.cs.duke.edu/
54.
by rav 3y ago
There `isympy -I`, which runs an IPython REPL with a preprocessor that changes unknown variables into sympy symbols, but that only helps you for interactive usage.
55.
by rav 3y ago
> there's obviously no guarantees of solvability In fact, as the size of the maze goes to infinity, the probability of solvability goes to zero. Source: https://cstheory.stackexchange.com/a/32381/20581
56.
by rav 3y ago
> You come up with some topological order of states in abstract state-space If the state space is "subsets of V", then it's exponentially larger than the set of states actually visited in Dijkstra's algorithm. Dijkstr
57.
by rav 3y ago
In dynamic programming, the problem can be solved by solving subproblems, and those subproblems are solved by solving subsubproblems, and there is overlap between these subproblems. This allows us to solve DP problems in two ways, either by
58.
by rav 3y ago
> And many common algorithms are actually just the application of dynamic programming to specific problems, including omnipresent path-finding algorithms such as Dijkstra’s algorithm. Dijkstra's algorithm is an application of dynami
59.
Crowds gather in Copenhagen as Queen Margrethe abdicates(theguardian.com)
2 points by rav 3y ago|0 comments
60.
by rav 3y ago
Ah cool, somehow I didn't notice that! I've made an anonymized version of my guest list to try it out. Another thing that I noticed is that I put notes with some of my guests, and also some couples are in two groups - does your ap

More ›