robcohen

Start charging more, cut down on CI, figure it out. You don't NEED to give away so much if it means your service is going down.

Yes I was (and am) precisely the same way. This is why I think I'm so awful at foreign languages.

> key organizer for the Islamist militant group al-Qaeda.

Yeah, I don't see a problem here. Due process, slippery slope sure... but this was a cut and dry case. I've got better things to do with my time than be concerned with this.

NixOS. Why would anyone use anything else except out of ignorance? Maybe QubesOS makes sense.

I'm working on rustledger https://rustledger.github.io a plain-text accounting software (Beancount spec implementation) in Rust.

Happy to let you know once I finish the LSRM course at rainbow aviation next year when I'll work on experimentals and Rotax engines. I'm waiting for the MOSAIC refresh that's expected this year to take the new course.

So the logical entailment here is what? That everyone should have the dexterity of a dental surgeon so we can save the 7000 dental surgeons 3 months of training? Am I missing something?

So right now, A&Ps make about 120-150 per hour, and they have the skills to get hired at dealerships where the hourly is above 200. There are not enough A&Ps.

I understand the logic you're using when you say you're happy that the standards are high. What you don't understand is how many A&Ps pencil whip annuals, or overlook corrosion or other safety issues all the time. They are overworked, and spend their time focused on a lot of box checking things that do not matter much and not enough time focusing on the things that do.

Let me make it clearer. If you used the same standards for your car, you'd have to get it fully reinspected every year and fix everything. A little corrosion on your hubcaps? Replace all of them (at 20x the cost you're used to). A chip in your windshield (replace the entire windshield at 10x the cost). Etc etc.

Source: I am studying for the A&P and I own a Cessna 182. The regs really do need to change for smaller certificated aircraft (such as changing annuals to semi-annuals). Look up Mike Busch and his videos on what reforms should look like.

I just had my plane in for an annual. No significant issues. Took 5 months. My plane was in the shop for 5 months. Remember, this is required ANNUALLY. That's how bad the shortage is right now. It's bad enough that I'm willing to take 6 months off work to go __become__ an A&P so I don't need to deal with them anymore.

Hey I'm working on a rust implementation of Beancount, if you get a chance check it out. https://rustledger.github.io .

I'm also hoping to put together a standards body that can formalize plain-text accounting standards too so others can more easily implement their own systems that conform to the standard.

This is just untrue. If someone cheats in lightning, and you demonstrate they cheated as you describe, then you get all of the locked BTC as a reward. This is on layer 1. Essentially you can easily prove your nonce was signed more recently.

If you had that system, and I was Elon Musk's kids, I would feel entirely justified in paying half the taxes society expects me to pay. Let's see if that logic works both ways.

Actually, yes, I do think that netflix could do their job much cheaper. I use putflix, which uses put.io for $0.99 per month. Better quality streaming than netflix, no forced ads, and they can make it work for $1. Maybe it's the model where my monthly subscription pays for their entire catalog that's broken. Maybe it should just be a la carte licensing.

Either way, until the industry lets me pay directly to the org that literally made the movie, I'll just pirate.

I do want to pay the artists that make the films. I think the most viable way to do this is via cryptocurrency associated with social media accounts, and then validate ownership by having owners post a magic validation link. This way I can send artists money and it's on them to go get it if they want it.

> Proton only has access to your IP and device ID, not your data.

I like Proton. I use Proton.

However, the problem with proton is that if you access your email via a web browser, there's nothing stopping protonmail (to my knowledge) from reading your email from within their webapp via JS. This type of attack could be targeted at the behest of authorities.

So, actually, Proton COULD read your email (IFF you use webmail).

Seems like a very poor choice to build in a headphone jack. Why not just use usb c to headphone adapter?

So you think the data is wrong?

https://github.com/rustledger/rustledger I'm building a Rust implementation of Beancount, the double-entry bookkeeping language. It covers the full Beancount syntax, all the booking methods, a BQL query engine, plugins (including rust and python). It works as both a CLI tool and a Rust library, and it compiles to WebAssembly too.

https://github.com/rustledger/rustfava This is a fork of Fava, the web UI that Beancount users know and love, but with the Python parser swapped out for rustledger running as WebAssembly. I packaged it up as a native desktop app using Tauri, so you just double-click to open your ledger files with no terminal or Python needed. It also works via Docker, PyPI, and Nix if that's more your thing.

https://github.com/rustledger/pta-standards I started this project to create proper formal specifications for plain text accounting formats, covering Beancount, Ledger, and hledger. It includes EBNF/ABNF grammars, JSON Schema and Protobuf AST definitions, tree-sitter grammars, Alloy models for invariants, and conformance test suites. The idea is to make it possible for anyone to build a correct, interoperable PTA implementation without reverse-engineering existing tools.

https://github.com/robcohen/peervault This is an Obsidian plugin that lets you sync your vaults directly between your devices over P2P connections, no central server involved. Has S3 fallback if you want. It uses Loro CRDTs so concurrent edits merge cleanly, and Iroh compiled to WASM handles the networking with NAT traversal and end-to-end encryption. Until iroh-docs or iroh-willow comes out with WASM support, this seems to be the best solution for obsidian syncing.

Interesting. I like the idea of reprinting classics to all look identical as a way of designing a library. Would be interesting to select a set of books for your kid, have them printed, and just put them in their room. I wonder if any startups are doing this.

Ah yes, the sybil attack. This is why establishing an identity is useful, and worthwhile. An identity with no proof is likely not a real person, and therefore has little value in being advertised to.

If you're a real person, then yes, it is valuable to show you things.

Want to know how I'm right? Because fingerprinting browsers and tracking people is how we establish that they are real in the current advertising world. Advertisers pay for that. Thus it has value.

The logical entailment is eventually your lineage will be wiped out on some timescale if they cannot compete. I guess this argument in null and void if you believe violence is obsolete.

Personally, I find it odd to have interactions with anyone just based of transactionality. I want to interact with people because I have relationships with them. I've always found it hard to figure out exactly how nice to be with someone you don't know. I don't think this is a maladjustment on my part, I think you probably shouldn't be overly nice to people before you establish trust with them... and that takes time.

India — 20-30% vegetarian — 167 cm avg male height

Taiwan — 12-13% vegetarian — 174 cm avg male height

Mexico — 10-19% vegetarian — 170 cm avg male height

Italy — ~10% vegetarian — 174 cm avg male height

Brazil — 8-14% vegetarian — 176 cm avg male height

UK — ~7% vegetarian — 178 cm avg male height

Australia — 5-6% vegetarian — 179 cm avg male height

Switzerland — 5-9% vegetarian — 179 cm avg male height

Austria — 5-9% vegetarian — 179 cm avg male height

Germany — 4-8% vegetarian — 180 cm avg male height

I mean, if you think height doesn't matter for men, I think you may want to think about it.

The problem I have with being vegetarian is that you can't prove that it's actually healthier, because the current state of dietary science is pretty poor.

Even if you could, you would also need to explain all of the evolutionary problems that could come from some humans going vegetarian while others don't.

What if being vegetarian makes you smaller and weaker physically (perhaps the case in some vegetarian countries now). If you had the answer, and it was clear a diet consisting of vegetables causes reduction in physical size, then I have to ask:

Would you want your kids to be shorter and physically weaker than you are?

Would you be willing to see an ad for $1000? A million? Sure no one would pay it, but you can set whatever limit you want.

No one would want this? Again I don't think you understand what I am proposing.

It isn't a a system that selects exclusively for ads. It selects for people you know, then people they know, and so on, and fades out how often posts show up the further away you get. If someone pays more, then more people will see their message in their network as it compensates people for their attention, starting with the people who value their attention the least.

No one would want this? You think people don't want to get paid for their attention? This is essentially what a job is.

You did not understand what my original post suggested. I'm not suggesting people pay to be certified. If a spammer wants to pay me $20 to see their message, I am happy to see it.

This isn't, and has never been a hard problem. Just pay for people's attention. People you follow don't have to pay, and make that transitive. Penalize people in your network who propagate spam by increasing the cost to get your attention.

How would this happen? Jets are significantly more maneuverable than anything else in the sky. The military could, you know, pilot the plane so it does not hit anything.

I just made the jump to PTA and it is really, incredibly slick. Finally escaped the financial system's grip on my data. Look into SimpleFIN to get data feeds, but I also used LLMs and browsermcp to download all my statements from all of my banks.

Really awesome to have control finally. I am very interested in extending PTA to be more like blockchain ledgers, with signing for every transaction and decentralizing the ledger. still mulling through how this would work, but it would essentially be KERI based.

It just seems to me that the entire purpose of school is not clear. What precisely is the purpose of "English" class? What? To read and speak English? Ok, then why can't kids test out of it most of the time? Is the purpose to be knowledgeable about a canon of literature? Why can't people test against that?

The truth is that pedagogy and instruction is just a lazy way of providing childcare. So who cares what they do with their time.

Tailscale uses wireguard, which is better in a lot of ways compared to OpenVPN. It's far more flexible, secure, configurable and efficient. That said, you probably won't notice a significant difference

Isn't that their job though? To find market opportunities for providing value by solving problems people have (or think) they have?

So on some level, it's literally their job to find solutions for problems.