viscousviolin

7 ms·

31.
by viscousviolin 2y ago
I had the same thought - researchers who are used to having their workflows in VS Code, for example, could be missing out on a lot of tools that they are used to. I'm their description they talk about how they want to meet researchers
32.
Ask HN: Name and shame – did anyone receive LLM spam from dagworks.io?
1 points by viscousviolin 2y ago|0 comments
33.
by viscousviolin 2y ago
Yeah it feels like having a very focused editor with a polished workflow could help OSM get more people to contribute, although it would be very nice to maybe have an advanced mode I imagine. Places get new neighbourhoods all the time so it
34.
by viscousviolin 2y ago
I installed it last night and their flow seems very simple, yeah. Does it allow you to, for example, add missing streets or paths that aren't marked as missing? Because it sounds like it only lets you contribute to things that are alre
35.
by viscousviolin 2y ago
Thanks for all your input! How long does it usually take you to complete a single update? I'm curious about helping out with the effort in my neighbourhood.
36.
by viscousviolin 2y ago
Is git-based syncing something that's built into Obsidian? I'd imagine it's awkward setting up git management on a smartphone outside of Obsidian?
37.
by viscousviolin 2y ago
*Inkscape not Inkspace
38.
by viscousviolin 2y ago
That's one of the examples he goes into in his talk, at a high level anyway. I'd love to find a write-up of someone who has done the detailed calculations of how likely alignments and shape occurrences are. Another thing that woul
39.
by viscousviolin 3y ago
Bobbybroccoli over on Youtube made three massive episodes about the story that goes into it with a lot of detail - I couldn't stop watching them when I first found them. Here's the link if anyone is interested: https://
40.
by viscousviolin 3y ago
Thirty days of preventive detention is outrageous. Way to go Bavaria.
41.
by viscousviolin 3y ago
Does anyone feel like trying this out with some folks from here?
42.
by viscousviolin 3y ago
It's easy on the eyes and it can make reading lots of equations less awkward if done correctly. I remember finding out this was possible while I was working on an assignment in Latex - it looked amazing. It takes a little bit of work t
43.
by viscousviolin 3y ago
That's not my point. In the comment I made below the other post I talked about how Mathlib is just a piece of the puzzle, the way I see it [0]. I don't want to see Lean do symbolic computation - although I'm sure that would b
44.
by viscousviolin 3y ago
How about Lean? [0] There's a whole library of mathematics written down in Lean called Mathlib, which spans most of the undergraduate maths curriculum upto some cutting edge research-level maths. I've commented under the Part II p
45.
by viscousviolin 3y ago
I don't think it's as difficult as you think it is. It's still a lot of work to implement mind you, but not nearly impossible. I talked about Mathlib [0] in a reply to the grandparent comment, which is a library of mathematic
46.
by viscousviolin 3y ago
It's been on my mind lately as well. I was trying out `symbolics.jl` (a CAS written in Julia), and it turned out that it didn't support symbolic integration beyond simple linear functions or polynomials (at least back then, things
47.
by viscousviolin 3y ago
We're all tired of it.
48.
by viscousviolin 3y ago
Something that would help speed up development of new interfaces would be applications having more extensibility in general. It happens so often that I come across a piece of software where I want to change just one thing, but there'
49.
by viscousviolin 3y ago
Github's backup on Svalbard also uses some kind of film, and it's supposed to last 500 to 1000 years: https://en.m.wikipedia.org/wiki/Arctic_World_Archive
50.
by viscousviolin 3y ago
Forgetting so much is my current fear as well. What did you end up doing?
51.
by viscousviolin 3y ago
Selling data would be a bad move for sure. I can't seem to find anything when I search for it, do you maybe have a source I could take a look at?
52.
by viscousviolin 3y ago
I get that, which is exactly why you don't want any one browser having just under 70% marketshare like Chrome. If there are multiple options for people to switch between, then they can switch to another one if their current browser doe
53.
by viscousviolin 3y ago
Ah, I see what you mean. I'm personally not against this at all, since the Firefox devs need feedback on what's working and what isn't. But I completely understand that some people won't accept this. Only thing I can&#x
54.
by viscousviolin 3y ago
Are you talking about firefox not blocking website adds by default? I hadn't heard about the Mr.Robot fiasco, that's seriously troubling..
55.
by viscousviolin 3y ago
Oh interesting! Seems like a pretty specific requirement to have. Do you mind if I ask what you use those for? As for the tracking - I'm pretty sure Firefox blocks a lot of those by default, last time I checked it was plastered all acr
56.
by viscousviolin 3y ago
What makes you not trust firefox? I don't remember hearing about them acting in bad faith, but I'd love to hear if they did. What features do you need that only Chromium can give you?
57.
by viscousviolin 3y ago
Yes, it's not a problem. For now. There are so many software projects that depend on chromium for their basic functionality, and so many users that indirectly rely on chromium. It's hard to switch to an alternative if the need ari
58.
by viscousviolin 3y ago
Unrelated to the outage, but I'm curious nonetheless: would it be possible to hook up Tarsnap's encryption software to a Dropbox folder? I'm not sure if it even makes sense to use Tarsnap for this, but I'd love to have a
59.
by viscousviolin 4y ago
I can't wait until e-paper tablets become mainstream and more companies start making them. Having a generic OS like Android or Linux, instead of the closed off system of a kindle or whatever, would be amazing. Imagine how many differen
60.
by viscousviolin 4y ago
I found a book on folding algorithms a while back. It's called "Geometric Folding Algorithms: Linkages, Origami, Polyhedra" by Demaine and O'Rourke. I haven't gone through it myself yet, but I feel like they should

More ›