HN user

5ersi

277 karma
Posts0
Comments97
View on HN
No posts found.

UltimaDB, a high performance full-featured MVCC transactional embedded database, with special focus for use on SMR clusters.

UDB has full transactions, selectable persistence (in-memory, eventual, strict) and consistency (SI, SSI). A lot of time was spent on performance.

Written in Rust, with 8k line of code and 15k lines of tests, 96% coverage. Formal verification with Lean 4 is in progress (see /formal), also consistency checking with elle/jepsen is in progress.

It uses phase change (solid to liquid) to store heat at about 200 kJ/kg. Compare this to heating water in a boiler from 10c to 60c - stores 209 kJ/kg.

So we already have an effective way to store heat which can work for decades without servicing and is also cheap to produce (in terms of money and energy consumption).

xAI joins SpaceX 6 months ago

Launching alone consumes about 75-150kWh per tonne of energy for fuels only (as per ChatGPT).

Planned lifespan of Starlink satellites is 5years.

LLMs are learning in a very similar way humans are learning. So if humans can read a text (or view a video), learn from it and then use the knowledge to produce something, so can LLMs?

Copyright laws have quite strict rules on what constitutes a copy, and this was tested in courts many times. This rules also apply to works produced by LLMs.

You must be using a dynamic language with a heavy framework? Rails maybe?

I code in Go mainly (also Java and Rust) and never experienced what you describe: simple addition of a field to a struct does nothing if not used in code. And the use is simply checked by compiler.

However, I did work alongside a Rails team which had major gripes with this. They called it brittle tests: whenever they made a simple change (like adding a field), half of their tests would fail. This really lowered devs' confidence in their codebase and slowed the changes to a halt.

If you are concerned by this proposals, then you should check out current CAs trusted by your browser - all those CAs can issue rogue certificates trusted by your browser, that can be used in MITM attack.

For example, CAs present in Firefox, that might give you pause: Beijing Certificate Authority, China Financial CA, Guang Dong CA

The CA system in browsers is inherently broken and it allows state actors to MITM you and see all your traffic if they: 1. have ability to capture IP traffic (requires cooperation with ISP) 2. have ability to generate rogue certificate via cooperation with CA

"government exists to represent the interests of the capital-owning class" - this is especially true for US, because US politicians need enormous resources to get elected (mainly for media access) and basically the only way to get them is via contributions from lobbyists. US politicians understand that what gets them elected are not people, but money.

So if US people want to change that they would need to focus on expelling money from election process: severely limiting donations, especially from business, compensating candidates for the election costs, and mandating equal access to media covering elections (most EU countries have that and it works pretty well). But, don't expect politicians and corporate owned media to support that in any way - you would need a major grass roots movement to change that. Unfortunately at the moment I don't see any major shift in this direction.

Nobody "decided" that housing is a market. If something can be bought and sold, then this is inherently a market.

Yes, we can and should regulate markets, and we probably all agree that the purpose of the housing is for people to have a roof over their head, as opposed to use housing as an (speculative) investment market. This can easily be regulated via taxes (on ownership and transactions), but it comes with a caveat: if something is over-regulated to benefit the user, then there is less incentive for investor/landlord to build housing, which makes housing scarcer and drives prices up.

water is an easy elemental source of hydrogen.

Sorry but this goes against the definition in elemental form (in this case it's H2).

Also there is no such thing as `cheaply obtained renewable energy`. If it was your electricity bill would be 0.

So this process is "CO2 hydrogenation" meaning that it needs elemental hydrogen, which is not naturally available (except in trace amounts). To make this work one needs to first produce hydrogen which is itself an energy consuming process.

So basically, we'd burn fossil fuels producing CO2 and then reverse this process via "CO2 hydrogenation" (with significant losses) to again get the hydrocarbons (aka gasoline) ?

This whole thing would only make sense if we had abundant source of elemental hydrogen. But then why burn fuel in the first place.

(This would only make sense if all fuel totally ran out and then we'd need this process to make hydrocarbons for material use: plastics, etc..)

macOS Monterey 5 years ago

Monterey seems to have fixed audio stutter I was constantly experiencing on Bluetooth headphones (AKG Y500). On BigSur every time the headphones reconnected I had to reset the Bluetooth module - btw, the reset option seems to be missing in Monterey.

So that's a big improvement in my book.

Shellac 5 years ago

I use shellac, an application is dry in about 20-30min.