Hacker Newsnew | past | comments | ask | show | jobs | submit | robcohen's commentslogin

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.


This is not a satire?

putflix is criminal theft. They pay nothing to people who make movies. You can drive the cost to zero by downloading torrents directly from pirate bay.

If you did want to pay the artists then you would pay for netflix of rent/buy from a number of places (amazon video, youtube, apple).

Your cryptocurrency fantasy is just a way to rationalize stealing.


> rent/buy from a number of places (amazon video, youtube, apple).

It's just "rent", there's no buy option from any of these people, no matter what their site says. If they can revoke your ownership at any time, for any reason, then you don't own it. And if you don't own it, then you're not buying it.

I get the motivation to not pay these crooks, and instead pay the actual people that made the movie direct.


> 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).


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

The authorities can also read your self-hosted email if they had a warrant to search your house. Even if you enable FDE they can do a cold boot attack.


I believe that you would not expect that level of interaction with LEAs for a "stop cop city" dude that hasn't even been charged with a crime.

I'd count that up as a hypothetical win of the self-hosted main in your own location.

If you are Dr. Evil, OTOH, other calculi apply.


Just out of curiosity, what is a cold boot attack?


https://en.wikipedia.org/wiki/Cold_boot_attack

tl;dr they pull the decryption keys from your computer while it's still running, which of course it is because your mail server has to be up 24/7.


Simple solution: put your server inside of a cabinet or enclosure that immediately powers it off if opened with a hidden micro switch. Additionally, write a little udev rule to immediately power off if any new USB device is connected or Ethernet is unplugged.


So a trip-switch for the server?

How would one access it if one needed to do config changes or, really, anything the server for legitimate purposes?


ssh in and shut down first (and/or just use a properly reliable filesystem).

Mail transfer can tolerate multi-hour interruptions. Imagine the drama if it couldn't!


If you can ssh in, couldn't they ssh in?


That is fascinating! Thanks for sharing!


What if you use encryption?


FDE stands for "Full Disk Encryption" in this context.


You always put trust in the vendor even if they use e2ee because the end clients are made by them.

They can just send things without e2ee from any of their clients (not just web).

> This type of attack could be targeted at the behest of authorities.

No? How can authorities tell them how to do their business?


Is even that needed? Nothing e2ee about the emails you receive normally, they could just read them right away if they really wanted to. And that is to say nothing about the metadata.


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


why does it seem like a very poor choice to you, exactly?

as for using an adapter, it's one extra thing to carry and also difficult to charge with simultaneously


What's wrong with 3.5mm headphone jack?


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.


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.


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?


'What if' is pointless. What if vegetarianism makes you stronger than eating meat? What if it increases your IQ by 20 points or makes you live 200 years? What if you can code faster drinking rare pygmy tree sap or the blood of certain albino poison toads?

> you can't prove that it's actually healthier, because the current state of dietary science is pretty poor.

Almost every decision in life must be made without proof, but with evidence and judgment. We know a lot about nutrition, and a lot of evidence points toward health benefits in eating more vegetables and less meat. We can also see lots of vegetarians in our communities and they don't seem sickly or shorter, etc. - we also see elite athletes in public who are vegetarians.

> a diet consisting of vegetables

Vegetarianim is much more than vegetables; it's everything but meat - legumes (generally beans), vegetables, fruits, grains, nuts - plus eggs and cheese. Vegans cut out the latter two items.

> What if being vegetarian makes you smaller and weaker physically (perhaps the case in some vegetarian countries now).

Where?

> evolutionary problems that could come from some humans going vegetarian while others don't.

What problems? How does diet affect evolution? We'll lose our hunting muscles over the next 500,000 years? Remember humans haven't changed much biologically in 200,000+ years.


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.


We don't need uncited, selective data. It would be relatively easy to directly measure the relationship between vegetarianism and height.

Also, height is determined early in life. Many people become vegetarian in adulthood. Becoming vegetarian at 30 won't affect your height, I'm pretty sure.


So you think the data is wrong?


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

As someone who eats meat, that's probably one of the worse arguments against vegetarianism/veganism I've heard. If eating animals is immoral, sure why not? If pillaging your neighbors makes your society better off, do you think a good objection to "maybe we shouldn't pillage our neighbors" is "Would you want your kids to be shorter and physically weaker than you are"?


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.


Do you want your kids to have colon cancer or heart disease because there is pretty strong evidence to suggest red meat contributes to these. And there's much stronger evidence for that than there is that suggests that vegetarian kids will be shorter and physically weaker (in fact I don't think there is much good evidence at all suggesting that).

Do you also have a problem with red meat?


This should be studied. People always come up with the exact same Nonsensical arguments against plant-based diets.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: