skysight-inc/HackerNews huggingface dataset:
I personally think idiots get elected because people want them in charge. If they suddenly got smarter, they'd be replaced. That was my conclusion from Brexit and Trump voters: they're choosing to be arseholes, but want to pretend they're just ignorant. This is a variation on the "trump gives his followers something no one else can: permission to be their worst selves".

The same applies to Global warming but on both sides.

That's just my opinion though.
Cool, I worked on the same quiz bowl apparatus as a pet project around 20 years later. I remember the available commercial options ca. 1998, generally made by small shops. One popular one must have been a similar S-R latch design, and another was probably based on a microcontroller, as it tested the lights and buzzer when it was turned on.

I am impressed with arbitrary daisy chaining. Mine was limited to 4 per side, but had a shared cable.
"...if Congress has not acted to raise or suspend the debt limit by early June, and potentially as early as June 1,"

This is not an assessment of the likelihood of raising the debt ceiling, as the headline implies. It's an assessment of how soon they have to solve the problem, which has gone from "now" to "right fucking now".
The idea is about the LLM trained in a programming language should use as queries the functions, and learn to detect the keys (arguments to the functions) and the value matrix could be related to a memorized version of the computed function with those arguments. So the sequence of learning in transformers is like:
1) query = is this a function?, what function?
2) keys = where are what are their arguments
3) values = embed the memorized result of computing the function with the given arguments.
Bright sides: It’ll make new billionaires and industrial centers.

Oh right, forgot where I was commenting.
The only one I know of and have experience with that matches your description is Equinix [1] but they are by no means for anyone on a tight budget. They have decent physical and data security procedures and meet most compliance requirements [2]. I do not know their current capacity but historically they could meet any power and cooling requirements which should accommodate your GPU's.

Here [3] is a list of some colo's in Miami but I know nothing about them. I'd imagine some of them are more affordable than Equinix.

[1] - https://www.equinix.com/data-centers/americas-colocation/uni...

[2] - https://www.equinix.com/data-centers/design/standards-compli...

[3] - https://www.datacentermap.com/usa/florida/miami/
I think some folks are misreading the authors intentions(possibly due to aforementioned snark): they’re not advocating for sticking to existing C codebases over rust.

They identify FFI as an area where it is easy to make mistakes which lead to undefined behavior, argue that it is the result of competing assumptions between C and rust, and then propose a formal system implemented in both in C and in Rust to resolve those issues.

Sure, the problems they identify wouldn’t exist if everything was rewritten in Rust, but on a large enough / old enough codebase, that may impossible to do all at once. This paper attempts to find a way to make rust better within those organizational constraints.

The audience here is not engineering managers deciding in your next tech stack, but programming language researchers.
Ukraine had seen proxy war just for a few months in spring/summer 2014, until Russia moved in its regular troops to save its sponsored para-militaries in Donbas. Right now it's a war of invaded nation against invader nation, non conspiracist mr refused_cov_vax.
Yeah, you can do it the right way...or you can just tunnel layer 2 and forget about it. I see it done a fair bit for both Bonjour/Avahi and DHCP (why?).
Gardening and Time Travel with Google Earth
This feature depends on MSIX. My company makes Conveyor which amongst other things generates/signs MSIX files without using Microsoft's toolchain so you can ship apps from your developer laptop or Linux CI. As almost all modern/maintained Win32 apps are actually built on cross platform frameworks, being able to cross-build packages using a tool that understands Electron/JVM/Flutter build system config is quite convenient. By this point my guess is that we have more experience with MSIX in the wild than many of Microsoft's own teams do.

Surfacing this new sandbox feature looks very easy from the instructions, but before it's worth doing I'd want to talk to the product teams involved and get answers to some questions:

1. What's the purpose of this? Is it to let users install potentially malicious apps in the same way you can browse to untrusted web pages? Or is it like how Apple pitches their app sandbox on macOS, purely an opt-in security feature to reduce the blast radius of exploits? The big difference is whether permissions are surfaced in the UI.

2. If you want permissions to be visible somewhere in the UI, then presumably that would be in App Installer. Conveyor replaces App Installer with its own installer that drives MSIX via the API because App Installer is too buggy to rely on. What's the plan for fixing that?

3. Relatedly, Conveyor contains a large number of workarounds for bugs in the Windows app container and package management system, especially older versions. This has ended up being a significant part of the value the product provides, even! It seems faintly ridiculous, but the Windows package manager does actually provide a lot of useful features like silent background updates (Chrome style) and it's core to Microsoft's platform strategy. But unless Microsoft's plan is to tell everyone to buy my product (yes please) they will need to fix the bugs. Are you going to do that? Otherwise devs will bounce right off it just as they have with every other feature Microsoft adds to Windows that relies on package identity.

4. Not only fix the bugs but also, will you backport the fixes to Windows 10? I can't stress this enough. Shipping MSIX packages outside the MS store without using Conveyor is just flat out impossible if you're targeting Windows 10, because you'll quickly hit bugs that Microsoft know about but never backported the fixes for.

Microsoft people - if you want to talk, feel free to email. Address is in the profile. We can tell you what issues people hit in the wild when they ship apps this way, and maybe work together on making this a success.
It removed the print and returns a list instead.
Let's just admit it. We're f@cked.

If we can convince governments and corporations to step up, that's something.

But there's such a huge percentage of people who either couldn't give af, or if there is even the smallest disturbance to their daily life will resort to conspiracy theory.

People would rather lie to themselves than face a minor inconvenience or change to to their lives for the greater good.

Where are all the heroes? Are they just p!ssing around on Tiktok?
Are porn actors actually famous? I think the only one I could name off the top of my head is Brent Corrigan.
Bitcoin was about getting rich; using it for money transfers was just a fig leaf.
It's not only unlikely, it's unpossible.

If you're using chemical propulsion, you're not going to get much more than 20km/sec even with a whole lot of stages.
TBH, I don't have a problem with Rust so much as I have/had a problem with a section of the rust community.

The shouting fanbeings of rust put me off looking into it for years, because when I kept getting "rewrite it in rust!" as the answer to "there's a problem with $THIS_CODE" when talking with colleagues, _even when those colleagues had minimal rust experience_, all I could conclude was that the whole thing was an empty promise and that no-one knew how to solve the problem, but everyone "knew" that the New Cool Language was the way to fix everything.

Generalisation from incomplete data - no doubt there was a sensible majority in the rust community, but the fanbeings were _loud_.

FWIW I was wrong: I'm getting into rust now and I like what I see, and the discussions around it online and with colleagues are pretty sensible. But, it's taken a while to get there and when you've been in tech for a couple of decades you see this hype cycle and get jaded to it. Erlang is the new hotness ... OCaml is the new hotness ... Java is the new hotness, rewrite everything in Java, wait C# is the new hotness...

I suspect rust is here to stay, and I'm gonna learn more about it, and I regret some of my past words about it. But my problem was never with the increased memory safety, or the language at all, pretty much, just the early community.

TL;DR: Other humans are the worst, bug reported, fix unlikely :)
In my experience a memory error is often the result of a logic bug - that is the "first failure" of an existing issue in C++ is a memory error, but the originating logic error still exists and would just cause a different issue under "memory safe" languages. It would still be a bug, and may cause security issues.

IMHO the big advantage here is not languages that are memory safe, so much as catch many of those misunderstandings at compile time, or runtime in a better way than "Crash" or worse - silent corruption (Much of this is available for c++ in static analysis and sanitizers and other runtime checks, but them being non-default options seems to make them oddly ignored). I feel them being non-default also means there isn't the same focus on performance - and it's an everything-debug-and-slow-as-hell with a UX purely designed around the dev debugging their own code, or no-checking-at-all-no-brakes rather than in between.

The classic "memory errors" that are purely local and just not checking the bounds of an array or similar have been pretty much eliminated if you actually use the features (containers, iterators etc.) of the c++ standard library.
This is very exciting! One possibility that is, I think, covered up by all the hype around "AI works like our brains" (which I disagree with) is that: our brains are too complex for us to understand and ML may allow us to build more capable interfaces that we still don't understand - but which are easier to understand than the brain. It's an extremely promising new avenue for incremental progress.
I don't think it's only effect will be good PR.

A likely (although not sure) consequence might be for other governments to pick it up. If not directly, then at least as putting some pressure.
These who believe the governments work in a mostly reactive way should be happy. Here is something other govs can react to.
Elon Musk Urges More Companies to Shrink Like Twitter
Yes, if you believe in modern software.
Careful with the therapist part.

https://www.brusselstimes.com/430098/belgian-man-commits-sui...
I've been on and off Omeprazole, which helps immensely but makes me paranoid about long term effects (like a decade+ - I'm in my 30's).

One thing that has helped a ton is Gaviscon Advance imported from the EU, which contains Sodium Alginate. This was recommended to me by a GI specialist at MGH; the sodium alginate floats to the top of the stomach and forms a sort of physical barrier for a few hours to prevent acid from coming up (alongside other antacids like you'd find in tums). For reasons I don't understand almost nothing is marketed in the US containing it.

The tablets like these (https://www.amazon.com/gp/product/B08GCN88WX/) are honestly pretty palatable - I chew them a couple times and then wash down with water, and it avoids some of the gumminess reviewers describe.

There's also a liquid that I think might find a bit more effective, but less palatable and convenient on-the-go (https://www.amazon.com/Gaviscon-Advance-Aniseed-500/dp/B01N4...).
Biochar as a negative emission technology: A synthesis of field research
Please explain why. If I grow a tree outside I’ve carbon-sunk the same amount as when I burn it 20 years later. The EPA agrees.
Well, one is a research language with the explicit goal of trying out new language features, so the comparison falls flat imo.

Also, doing only GUIs is quite a bit more restrictive than general purpose programming and not every fancy feature may make sense there.
Or does it offer insight on how he exerts control?
Yes, but I thought they still required pairing with a iPhone to set up. Once set-up is complete they can be used independently, but my impression is that it requires pairing to an iPhone, at least initially.
I would like Rust a lot more if it got rid of methods. Instead of writing something like...

args.into_iter().skip(1).and_so_on...

Which I can't stand to look at, I'd vastly prefer something like...

for arg in args[1..*] { ... }

Though my true preference would be S-expressions, but I realise that people lose their marbles when they see something like...

(for-each do-something
(slice args #:from 1))

Of course Common Lisp is one of the faster slow-as-molasses languages, but having a language that uses S-expressions which can compile down into a small, fast binary would be the dream. Carp would be interesting if it didn't use Clojure syntax.
Many don't, and I suspect searching for "how to do on VPN" yields "turn on Layer 2 tunneling."
This reads as though these are already deployed. If that is so, why have we not seen them being used in Ukraine? Surely the ground based, city defenses lasers he mentioned would be invaluable there?
https://archive.is/9gf9g
A Cessna 172 will use ~10GPH cruising. A large motorboat might use 15-30GPH. Neither one usually has a lot of emission control devices on board.

Chances are that boat pulling some water skiers all day is dumping more emissions in an afternoon than a Cessna flying for a few hours.
Poor Archos. Went from making some of the earliest, coolest portable media players on the market to the worst android devices.
Your files will be uploaded to Azure, decompressed in the cloud, and downloaded as uncompressed files.
Hey, I’ve bought three EVs since 2008 and have put solar on all my vacation homes! I’m doing my part!!
Great, let them do whatever they want
My wife’s nephew interned there, for a year or so.

Smart kid –like, really smart. I think he got his Ph.D from CalTech, or maybe it was his undergrad. He’s a math professor at Penn State, these days.

Not sure what teams he worked with.
It’s a security boundary. It lets you control the resources an application has access to. For example, if that cool weather app you just installed asks for access to your Documents directory, or your camera or microphone, you can say no.
Humans struggle to differentiate imagination from reality
> FAANG and friends would just get together and come up with some kind of...

I think the DOJ frowns upon that kind of behavior.
And to top it all off, even WPF has quirks. I can tell which apps on my Windows gaming tower are built with it because for some reason the framerate on my cursor drops to 60FPS or below on my 240hz monitor when it's within the bounds of a WPF window.
I do expect constraints to emerge, in the form of regulatory capture and copyright challenges from content owners.
>> If AGI is a computer passing a test, then AGI was achieved a long time ago.

> AIs couldn't even pass a third-grade reading comprehension exam until about 5 years ago. Computers being able to pass tests designed for humans is a very new thing.

You're narrowly defining what a "test" is. And therefore the "until 5 years ago" doesn't make any sense. A test is not just written exams like a "third-grade reading comprehension exam." Is playing chess against the world champion not a test? A trad AI computer program beat him 25 years ago, not 5 years ago. Is diagnosing patients with a particular disease better than the average untrained human not a test? An expert system did that 50 years ago.

Your point is not a refutation of the parent post.
ACLU creating an emotionally charged presentation makes sense if they:

1. Know the SC is going to decline anyway

2. Want press coverage and as much visibility on this as possible regardless

ACLU knows what they're doing. They're using the opportunity for (good) PR
Industry associations creating certifications w/ testing?
Although the paper's title and abstract seem to be intentionally trying to stir controversy and annoy people, the core issue of FFI unsafety is real.

C has many subtle behaviors, and a type system that doesn't describe them well. It also can't express its API's ownership or thread-safety, and there's no true immutability. Correctness of the ABI isn't enforced in any way, so you just smush symbols together and hope for the best. That is ripe for errors, especially when you try to add extra guarantees on the Rust side that C may or may not actually provide.
Fair enough, you're right, it's his life, but that doesn't mean we shouldn't call out predatory behaviour when we see it, even when the person themselves doesn't see any wrongdoing. One simple change would be to not give 40+ hours of their labour to companies like Meta and google, who operate solely for the profit of their shareholders, just because they have cool massage chairs and free food.

I'm sure for someone at his level of technical ability there are plenty companies that would offer him an internship that also don't actively make the world worse for many people, like facebook does. Or he could work to unionise and give more leverage to the workers at such companies, and then use that power to fight against some of facebooks more predatory business practices. Facebook, the company is nothing without it's developers, but the working class would not be nothing without facebook.
There are different kinds of app containers. The low level container tech doesn't care what high level APIs you use, it just blocks or redirects stuff, but if you want things like file brokering, implicit grants based on powerboxes and stuff like that then it wasn't previously available. That's what this project is adding to Windows.

edit: To clarify, all MSIX packaged apps run in an app container called Helium, but it's a very soft one that isn't meant to sandbox anything. It just redirects file IO to a special directory so installs/uninstalls are clean. You can make app containers stricter. The Chrome sandbox does that, UWP sandboxed apps do that, and now they're adding support for more strictly sandboxing ordinary Win32 apps which would otherwise break when they tried to open a file in the user's home directory.
According to their blog they use AMP: https://blog.archive.today/post/675805841411178496/how-does-...
Ya, SHA384 is the way to go. By discarding some bits, the internal state isn’t public and length extension becomes impossible.
And many of the people who are working in tech now, have never known anything but boom times and got high on their own supply thinking they are special snowflakes.

I saw my BigTech job that I got late in my career as just another job. I was just as prepared to get laid off, pip’d as I would be for any other job.
> a good ARM CPU

Is Raptor Lake not close enough to the M1?
This link made my ad blocker (uBlock Origin) go haywire, and then it demanded a bunch of permissions before it even loaded up the page. I don't feel comfortable proceeding, especially given what the subject matter is supposed to be.

Best of luck though.
It's also (at least partially) intentional. Microsoft keeps you so busy on the treadmill you don't stop to ask "wait, should we be doing this?"
> The architecture is pretty dumb, the secret is the training data

If this were true, we could throw the same training data at any other "dumb" architecture and it would learn language at least as well/fast as transformers do. But we don't see that happening, so the architecture must be smartly designed for this purpose.
It's a good way of distracting people from what actually puts CO2 in the air. It's not airplanes or even cars for the most part. But hey, most people know about cars and airplanes so it is more relatable
For a short while the book "The Citizen's Guide to Fifth Generation Warfare" was being suppressed on Amazon.

People complained and it was quickly made available again.
In the meantime, I guess Macron is using a private flight for going everywhere, short haul and long haul.
The network is the computer, yay!

Lower level, but there's also a Wayland compositor being written for the web. Many caveats apply, different effort, but also interesting, https://github.com/udevbe/greenfield https://news.ycombinator.com/item?id=29239781
Like any serilus study before during the past 30 years came to exact the same conclusions, it's not a surprise, those laws are drafted by lobbyists.
Depending on the extent to which surveillance and state control become embedded, it may require the advent of the Second American Republic to achieve their dissolution.
We also send smart people with smart teams that know how to appeal to the below-average voters back home, and they’re very successful at that. Are there dumb politicians? Absolutely. But I strongly believe that many play it up so their bases identify with them more strongly as a way to secure power then go on to do whatever benefits them and their wealthy donors / friends.
> Just upload your documents or add a link to your website and get a ChatGPT-like chatbot for your data. Then add it as a widget to your website or chat with it through the API.

But, that means they are uploading customer data to OpenAI servers, right? Umm, wonder the legality of that if you don't mention this point in your Legal Terms section (I just quickly searched for OpenAI and couldn't find anything)
One thing I always hated about chatbot sites when they were the craze and the the AI help bot sites now is the fact that these sites do no provide a chatbot for their own site. I mean, why isn't there a CommandBar for commandbar.com?

I actually see that commandbar.com has an intercom chat widget.
"Dressing up Snarky Blog Posts as Academic Papers" Considered Harmful
https://en.wikipedia.org/wiki/List_of_Relic_Entertainment_ga...

They make video games like homeworld Warhammer and company of heroes
I will continue to purchase from them, but their buying experience is just horrid. Take a page from Apple and consolidate your offerings + offer less customization.
Intel also plays in the datacenter space.
No, concentration. It need 3x the current CO2 in the air to reach it.
A lot of successful SaaSes are this way. Niches are things that other people might not have solved already, and big players may not even want to bother solving. If you're happy with not eating the world, you can make a good business in a niche
Yes, which is why it’s important to track signals for the questions/asks and answers.

Also, the document collection and strategy for prompt building is likely more important than the UI or framework.

I’ve been working on a project that uses keyterm extraction for building smarter prompts for document exploration, without any opinionated frameworks: https://github.com/featurebasedb/DocGPT
It's odd that it failed; https://en.wikipedia.org/wiki/VMware_ThinApp was doing this literally 20 years ago and worked just fine. (I used it myself.)

IIRC, it used a filesystem driver shim that rerouted all FS writes during installation into an overlay filesystem image; and then generated a self-unpacking executable, embedding that overlay image, that unpacked the core EXE and spawned it shimmed to read from the overlay image.

What did Windows 10X do that was different than that?
There are also people who truly enjoy science while wanting to provide for a family.
If you're getting paid for a job, it's a professional job.
Sounds like you need an AI assistant that filters everything you read to include answers to the prompt,

"tell me some relevant statistics about the parties involved in this article"

Yeah?
Morale of the story, build a proxy and call it a vpn?
I see, it lets me install random .EXEs from sketchy web sites on my Windows machine without having to worry. Sounds safe.