Merovius

Big Dan the Downer energy.

Pronouns: He/Him
Blog: https://blog.merovius.de/
Bookwyrm: https://bookwyrm.social/user/Merovius
Github: https://github.com/Merovius

Public Key

npub14gmzm62uslgt7ddu0k4zqj3r4tv07fe04rf9u7zgyf8xgcz6457q0aqrdf

NIP-05 Address

merovius_at_chaos.social@momostr.pink

Profile Code

nprofile1qqs25d3da9wg059lxk78m23qfg364k8lyuh635j70pyzynnyvpd260qlycxgg

Author Public Key

npub14gmzm62uslgt7ddu0k4zqj3r4tv07fe04rf9u7zgyf8xgcz6457q0aqrdf

Show more details

Last Notes

2024-09-02 14:17:42

- reply

And I don't have "a phrase". I want a way to search for text in a text file without having to bend over backwards. It's a fairly common thing to want to do. If I just wanted to do it once, I could just… bend over backwards, once. It's because it's so common, that I'm so confused there is no halfway decent way to do it.
For now, my solution is to open the text file in Firefox and use Ctrl+f. It's not ideal, but it's better than anything else, it seems.

2024-09-02 14:16:18

- reply

In my experience, pretty much every text contains line breaks. Just searching on github, here are some examples:
https://github.com/GeraldWodni/forth-standard.org/blob/e0dc9235f37fa3774cb0f22c60ec63bdec0353de/draft/v2.txt?plain=1
https://github.com/fogus/tori-lisp/blob/146f9f3cd0c7a33a882cfba373fd6c1778b41f7f/tut.txt?plain=1
https://github.com/DLR-SC/repository-synergy/blob/115e48c37e659b144b2c3b89695483fd1d6dc788/data/readme_files/sdaps.sdaps.md?plain=1
I don't know if I ever saw a text file that did *not* break lines after some reasonable number of characters. vim even has a keybinding to automate it.

2024-09-02 04:39:04

Is there a simple Linux tool to do full-text search? I just want to search for a phrase in a file without having to worry about case, or line breaks. Ideally even with typo-correction and stemming.
It feels like this has to be a solved problem, but whatever I type into a search engine, I only find a gazillion articles telling me how to write regular expressions for grep, which I really don't have the time for. I'm just an idiot who wants to find some text in a file.

2024-07-08 01:33:51

- reply

Yeah my point was really just "I wish firefox would just tell me which font is actually used". Like, I'm not really interested in how I can compute that CSS rule myself.
And it turns out I can, it's just a bit hidden.

2024-07-07 23:55:56

From the firefox web inspector: What does this mean? I really just want to know what font is *actually used to render this element*. Which of these is it?
[edit] ah, there is a "font" tab and it says "Liberation Sans Bold", which is not in the list but does look right.
https://assets.chaos.social/media_attachments/files/112/747/902/021/622/338/original/ae2c8c4b6b12dc39.png

2024-06-18 05:02:30

- reply

FWIW a thing like that already made the rounds a few months ago. So if you haven't seen interesting abuse by now, I don't think there's good reason to expect it happening soon.

2024-06-17 11:28:24

Weiß wer, was das für eine Flagge ist?
Hängt derzeit von mehreren Häusern in Heidelberg Neuenheim. Bin neugierig, aber meine Internetsuche war nicht erfolgreich.
[edit] Lol vierte Person die ich hier gefragt habe sagt Handschuhsheim, obvious in hindsight 🤦
https://assets.chaos.social/media_attachments/files/112/631/698/730/587/891/original/f860a8dac462078b.jpeg

2024-06-16 06:31:42

- reply

Bei Zusammenschnitten schaut man zumindest größtenteils gute Dinge. Wenn man durch TikTok selbst scrollt schaut man größtenteils garbage.

2024-06-05 11:37:48

😂
https://www.lightroastcomics.com/comics/links-final-form
https://assets.chaos.social/media_attachments/files/112/563/802/516/031/694/original/855f070dabf546a4.jpeg

2024-05-31 19:56:45

- reply

Deswegen “Spell slot theory”, in Anlehnung an D&D 😁

2024-05-26 10:13:05

- reply

Ha, hab auch ein JBL Go und bin damit zufrieden. Hätte es ja auch fast empfohlen, wenn ich nicht gedacht hätte "hab ja eh keine Ahnung".
Glaub ich hab das mit @npub1s05…tnkj tatsächlich irgendwann mal auf einem trip gekauft, weil wir im Hotel videos mit sound schauen wollten =D Also, so "in den nächstbesten Elektromarkt und da irgendwas kaufen" ^^

2024-05-20 19:19:45

- reply

"We don't? Why not?" =D

2024-05-17 07:58:21

- reply

Ich glaube das ist ein recycling-ding und kein "du brauchst den Deckel bestimmt noch" ding

2024-05-06 04:38:52

- reply

Nach Wacken ist vor Wacken

2024-05-04 11:49:56

- reply

Ich glaube die einzig ernsthafte Kritik die ich persönlich tatsächlich an Discord habe ist, dass es proprietär ist. So technisch finde ich es tatsächlich einfach in jeder Hinsicht besser als Matrix 🤷

2024-04-29 16:34:55

- reply

I was rather surprised that you found ~1s of query time impressive, TBH. But didn't think more of it, because I'm not familiar enough with the domain-specific problems that might explain them.

2024-04-20 11:25:13

- reply

I'm not all that pessimistic, FWIW. I wouldn't call myself a socialist, if I wouldn't believe that abolishing capitalism is feasible, within my lifetime.
I'm a huge fan of Solar Punk, exactly because I am in favor of optimistic extrapolation about the near future and believe it has power.
So I wasn't really trying to ruin the fun - I was mostly trying to make a joke.

2024-04-20 07:50:19

- reply

AIUI, the issue isn't so much whether the pessimism is correct, but how it makes [@scy](https://chaos.social/@scy) feel. Which is fair enough and why I just backed off.

2024-04-19 11:51:55

- reply

Problem is, that this will only work if your screen, phone, network access point… are all from the same vendor. There'll be sixteen different vendors to choose from, one produces a good phone and only crap otherwise, one a good screen, one a good AP…

2024-04-18 04:30:59

- reply

Fühl ich auch regelmäßig. Problematisch, aber trotzdem gutes Kino.

2024-04-09 20:51:02

- reply

OTOH is it though?

2024-03-31 10:42:53

- reply

Bei mir ist es "Nur ein Agent" aus Matrix.
Und die gesamte deutsche Übersetzung von Harold und Kumar.

2024-03-28 21:46:14

- reply

also, ich krieg jetzt nicht mal mehr hin, überhaupt Werbung in den Folgen zu bekommen, geschweige denn die, die ich suche 🤷 sorry.

2024-03-28 21:42:09

- reply

ist natürlich alles hervorragend reproduzierbar mit diesen dynamischen ads… weil dadurch z.B. ja auch nicht in der Beschreibung was steht oder so 🙄

2024-03-28 21:37:35

- reply

ich schaue gerade, ob ich es nochmal finde.
Also, vielleicht ist das auch ein durchgängiger typo, aber mich hatte das auch immer gewundert und dann wurde das einmal buchstabiert und ich dachte "huh? okay"

2024-03-28 21:35:58

- reply

Das ist kein Fehler. Das wurde in anderer Werbung auch buchstabiert und soll wirklich nicht "Podcast" heißen, AIUI

2024-03-26 21:37:56

- reply

Pro tip: Vokabel-lessions (aus dem Wiederholungsbereich) dauern <1m pro session und es ist extrem einfach >90% zu erreichen ^^