irq-1

The best thing about this technology is all the existing systems. Experienced workforce, an established manufacturing and supply chain, global projects. And it all comes from the oil and gas industry that will decline with green power, so there can be transition instead of a huge disruption.

ok_or()

> There is also V8 isolates where tenants can share the same V8 process but in separate lightweight contexts, though I haven’t yet seen this in data systems.

Cloudflare does this. https://developers.cloudflare.com/durable-objects/api/transa...

I think a white listing system could work. Let each country have it's own set of tags (us-7, us-13, ca-violence) which websites can include in headers or meta-tags. Then browsers and (mitm-)proxies could be configured with an accepted list. It would work well for schools, kiosks, kids devices that the parents control, and home routers. Websites would have clear guidelines per country and incentives to comply and include the tags. Encryption and privacy would ensure that the rest of the web operates as it does today; current software wouldn't need to change.

> Godel's incompleteness theorem say that a system of sufficient complexity can not be both complete and consistent

You've made an important and very common mistake of not qualifying this: it only holds true within the system. If you are using the same logical/mathematical system to evaluate its own completeness or consistency, then Godels results apply. Using other systems we can examine and understand the truth of sentences; which is to say, a systems completeness and consistency.

Wikipedia includes this constraint:

> For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system.

Few programmers and other on the internet understand the significance, often making reasoning about it wrong.

> Practically, this means that there will never be a compiler that will tell you whether you program has a bug.

TLA+ and other "external" systems can evaluate whether a program has a bug.

My 2 cents: keep working with Go. Learn just enough about templates to start, JSON to struct mapping and URL routing. It's not a great backend, but the client is what you really need to learn. For the client look through browser tools F12. For the basics of HTML, CSS and JavaScript skim through https://www.w3schools.com/ [People HATE this site but it has very limited info, making it a quick read.] For actual documentation use MDN https://developer.mozilla.org/ and skip any framework/library until you have the basics.

> Top of that list would be intelligent standardization and regulation of transactional medical billing process.

Medical coding being different between every system, seems like the mechanism used to negotiate prices. Is that correct? Would standardizing on the VA medical coding[1] help, or just force the problem onto doctors to change their coding.

[1] One person told me the VA system was good.

Animal cameras would be a good fit -- the long hours that get cut out because nothing happens.

I'd like: drop 'try' and always allow and error to be returned, and ignored or checked at the users discretion. Optionally add "@error" or such, and let the tooling add or remove the annotation.

An FFI like luajit is asking alot, but inspired by it would be nice.

Found this:

https://download.qt.io/online/qtsdkrepository/

It has binaries from different compilers, for example:

https://download.qt.io/online/qtsdkrepository/windows_x86/de...

The online installer is the official way. Don't know if it can download binaries for other platforms.

https://www.qt.io/download-open-source

> Looking for Qt binaries?

> Find them in the Qt Online Installer. It will steer you to the right download version and help you install tools and add-on components that are available for your open source license.

Where can I download binaries for Windows and OSX?

For anyone who hasn't seen it: https://gleam.run/

> The power of a type system, the expressiveness of functional programming, and the reliability of the highly concurrent, fault tolerant Erlang runtime, with a familiar and modern syntax.

Haven't used it, but I'd like to hear about others experience.

> you can't like "fold in" arbitrary changes to a CRDT without following the rules.

Thanks. I was thinking a few simple rules, like last outside change wins, or monitoring changes and recording the time. But that wasn't realistic.

A separate service still seems like a big win, but I'll have to assume there are similar reasons for it being tightly tied to Postgres.

Wouldn't making a backend service be better all around? All CRDT data could be stored elsewhere. The service could be easily updated and changed, and without changes the database. Any database could be used. Could have LDAP integration and other services.

I'm sure I don't understand CRDTs. Can they be used with database changes that are not part of the CRDT history? That is, can they be added to an existing database with other clients?

So is there an F-Droid like service to update the OS? Can it be done manually?

> This solution uses the human-readable base58 encoding scheme.

How readable is base58 in Arabic or Chinese? I've concluded that only the standard numbers 0123456789, algebra symbols +-/*= and phone symbols #* are universal enough for a global encoding. Any other insights are welcomed!

Do you think this problem could be solved by having the backend service randomly redistribute packets? That is, if each service kept/processed a percent of the packets and randomly forwarded the remainder to other 'backend' service computers.

Membership and status would be easy: are they forwarding random packets to me? Then they're up and running. New computer sends packets? New service member, so tell them about members you know of. This would also allow multiple public ingress points (like running multiple simple load balancers) so clients could change which computer they send to, and bandwidth would be ~balanced.

website ran one core at 100% and I couldn't scroll. About what I expect from react.

> If you could choose only one of the following two inventions, indoor plumbing or [modern medicine], which would you choose?

It's an empty question that relies on the internet not being life-or-death.

What do people think of https://github.com/jellyfin/jellyfin ?

It's open and doesn't require an account like Plex.

This could have a market for editors and ghost writers.

The second project; it only does caching of the keys. It's a big advantage to use your software without any SDK or client code. You should make it clear that it's optional.

I looked at the golang code, and it's only needed for caching? You should make it clearer that the code integration is optional.

> Jeez, what buzzkills.

Sure, but what about the preceding sentence?

> Non-MIT courses and life experience are not counted towards completing the certificate. (emphasis added)

> The thing is, this is coming. There is literally nothing you can do to stop it. Your protests are meaningless next to the desire for some people at Google to sanitise the web.

We can stop this by having websites test for "Web Environment Integrity" APIs and refusing to serve clients that implement it.

Check out: https://github.com/nv-tlabs/GET3D

License looks open. Very demanding hardware requirements (8 A100s).

> JPL is also providing a technology demonstration instrument, Deep Space Optical Communications, to fly on Psyche. This instrument is designed to test high-data-rate laser communications

https://www.nasa.gov/mission_pages/tdm/dsoc/index.html

> ...increased data rates throughout the solar system with 10 to 100 times the capacity of state-of-the-art radio systems currently used by spacecraft.

.

> Ground systems: A high-power near-infrared laser transmitter at the Jet Propulsion Laboratory’s Table Mountain facility near Wrightwood, California, will uplink a modulated laser beam to the flight transceiver and demonstrate the transmission of low-rate data.

> The uplink laser will also act as a beacon for the flight transceiver to lock onto. The downlink data sent back by the DSOC transceiver on Psyche will be collected by the 200-inch (5.1-meter) Hale Telescope at Caltech’s Palomar Observatory in San Diego County, California, using a sensitive superconducting nanowire photon-counting receiver to demonstrate high-rate data transfer.

>In fact, the thrust is so gentle, it exerts about the same amount of pressure you’d feel holding three quarters in your hand.

US quarter is 5.670 grams * 3 = 17.01 grams

0.01701kg * 9.8 m/s2 = Force of 0.166698 Newtons

This is just an intractable problem: if there is any way for people to leave unused code, they will. If you want the code to be clean, you cannot have (for example) a debug mode that allows unused code, because the code will just be left in 'debug' format. Eventually the community shared code will have so much debug-but-it-works code that you'll never get a system of clean code.

And think of what the current strict rule has done: go is the only(?!) language that has a consistently clean ecosystem. When's the last time you looked at go code that huge chunks commented out?

That said... it is annoying. More annoying the less import the script, and the faster you want to test something.

> The setup processes to build courses, enroll alumns and place contents are slow, complex and involve many repetitive steps.

Thats what SQL is for. You can setup everything using their fairly simple tables, and keep it in sync with whatever registration system you're using.

Permissions however were confusing and forget about faculty understanding them.