skysight-inc/HackerNews huggingface dataset:
The government has always used privately owned companies (newspapers, news channels, news websites) to make announcements. Social media is just the latest iteration of that. The government operating its own websites is in fact the aberration, and I'd wager the vast majority of people don't even know they exist or visit them. So not sure what such a law would accomplish.
Should be, I play on AMD. I think Steam just requires something be put there, the real requirement is a 64 bit processor capable of running Windows 10 or newer (since Steam dropped prior versions this month) in 64 bit mode (no 32 bit release of the game exists). The latter bit can optionally be fudged on Linux by using the built in Proton compatibility layer in Steam.
Anybody else not buying the fact that they got hacked? Seems more like they fat fingered the tweet, we'll see tomorrow.
> There's nothing new here compared to JVM, Parrot, CLR, whatever other VM bytecode formats have been dreamed up.

WASM is far more low-level than those. It does not depend on the semantics of any existing programming language, and while it does sandbox the code it does not focus on providing mechanisms for establishing memory safety other than at the module level. The focus is almost solely on minimizing overhead compared to native code, even the GC implementation is kept as simple and efficient as possible.
Teenage engineering has been around long enough they won't go bust in 2 years.
> The difference is subtle, but significant. In the pull request model, you create a fork of the original repository, push changes to it, and ultimately propose to merge changes back. In the change proposal model, you prepare a change, and propose it. You do not create a complete fork and everyone contributes into the same original repository with what are basically lightweight, ephemeral topic branches

This is an odd distinction to make. Forking in GitHub is an entirely optional process - in my experience it's primarily used to invite outside collaborators to open source projects. I've never worked on a team that uses this process for their owned repos. I've only ever used GitHub Pull Requests according to the process described here as the "Gerrit way".

I've never used Gerrit so not sure if I'm missing something here: it sounds like they're just describing a process that works identically to PRs with the exception that the platform doesn't support forks?
Instead, you can lose access to your money just because you forgot your secret key.
It's likely a reference to the radix economy [0], however it's actually very minor for the cases where it works. And in "the best way to count"[1] there compelling arguments as to why the formulation used on Wikipedia is not necessarily correct for arbitrary precision numbers as well as being bad for human notation compared to binary.

[0]: https://en.m.wikipedia.org/wiki/Radix_economy[1]: https://www.youtube.com/watch?v=rDDaEVcwIJM
I wonder lately whether the pain is really the primary issue.

As I've gotten deeper into using Terraform at work, I've found it much, much more painful than Nix— so much so that it has me questioning whether I want to continue to work with cloud infrastructure at all. Yet Terraform is 'industry standard' and widely praised, where Nix is marginal and maligned for its difficulty.

Maybe it's because people think of NixOS more than Nix in all its broad uses, and when they do so they compare NixOS to desktop operating systems where those people don't see themselves as very interested in configuration management.

But I wish that many industry standard tools had comparable iteration times to Nix, or concise languages like Nix, reliable transitions between configurations like Nix, efficient caching like Nix, minimally destructive replacement of old resources like Nix, etc.

Most of the things people call 'immutable infrastructure' today are painfully slow and transparently mutable. I'm much happier when I'm reliably iterating on local Nix stuff than when I'm praying that `terraform plan`'s success isn't a fluke this time, and that the corresponding `terraform apply` will actually succeed. I'd rather spend an hour on the the thorniest Nix issues than spend 30 minutes fucking around trying to 'help' Terraform delete a resource that requires manual intervention to actually delete, for some godforsaken reason.
Andy is spot-on, as usual.

Wasm is a software-defined abstraction boundary, possibly the most bullet-proof software-defined abstraction boundary yet to date, given the formal specification and machine-checked proofs of correctness. It has memory sandboxing properties that are easily and efficiently implementable on hardware, and it is low-level enough to run low-level languages at speeds very close to native compilation.

Others in the thread make analogies to things like the JVM, CLR, Parrot, Ocaml bytecode, and other things. None of those things have the rigor that Wasm has or are low-level enough to be an abstraction over hardware. And all of those come with ambient capabilities or language concepts that implicitly couple applications with the runtime system and/or other applications. Wasm by its API-less core spec does not. This was 100% intentional.

Andy mentioned WALI briefly in the article. We designed WALI to be a similar kind of "just one step up from the bottom" abstraction; if you're running on Linux, then the Wasm engine exposes a memory-sandboxed Linux syscall set with the exact same semantics (effectively pass-through), that allows building abstractions and security one layer up (outside of the engine).
> "To me, this is like a Wright brothers moment," de Heer said. "They built a plane that could fly 300 feet through the air. But the skeptics asked why the world would need flight when it already had fast trains and boats. But they persisted, and it was the beginning of a technology that can take people across oceans."

Tangent: I always find comparisons to the Wright brothers kind of awkward, because everyone seems to overlook their subsequent patent war and how much damage that did to the aviation industry in general (tangent: similarly Edison really really stifled early innovation in lightbulb technology with patent trolling. Philips became as big as it is because there was a decade in the 19th century where the Netherlands didn't recognize patent laws, so was free to steal and combine every innovation out there. They also employed highly motivated former rivals of Edison whom the latter had put out of business)

Anyway, with that side-track out of the way: I don't want to sound to negative, I do hope this is the breakthrough it's hyped up to be!

[0] https://en.wikipedia.org/wiki/Wright_brothers_patent_war
I don't know about others, but I don't want something else to carry in my pocket.. especially something that duplicates what i can already do, just in a different way.

seems like it's connecting to external services but i'm not sure why siri couldn't do that.
But GC ref types have made it practical.
The legislation could be "just don't" because:

1. The government owns it's own top level domain(s) to be a primary source

and

2. There is the general media who can turn that into stories, and use whatever private companies they need.

This delineates official statement from general news, which people will be slightly more skeptical of.
You found support and documentation lacking? How so? The #guix and #nonguix channels are full of helpful people, and unlike Nix, it has a centralized, comprehensive handbook that covers about everything. Finding Nix documentation was a horrible experience in comparison.
Yes, there are more Nix than Guix packages, but that hardly matters to me due to how easy it is to create packages for Guix.
Devenv seems more or less like direnv?
I hope they succeed. Would buy this if it worked offline. Wish Pebble hadn't gone broke and had launched their Pebble Core device. Always thought it was a great idea.
Soooo I made the mistake of assuming all the "Samsung bad" quirks had been worked out when I bought a set last year. Yeah, never again.

The microwave door handle just fell off at the 6 month mark. The repairman said the entire door needs to be replaced, since the handle isn't replaceable.

The "icemaker" in the fridge begin not working. Turns out, there is a part that is nothing more than a plastic icetray with a tiny electric motor on it, and it had cracked all the way through and was dropping water into the bucket, making a big ball of ice. That part costs over $100. It's an ice tray - a small one at that. It's primary function is you know, not cracking. It's now making weird noises and barely a year old, I don't expect it'll last long. Luckily I'm selling the house this year, I wonder if I should write in disclosures that "I bought Samsung. I'm so sorry."
Regarding compilers, IBM had their C Set/2 compiler and then later the VisualAge C++ one. Borland also produced a C++ compiler and IDE as well.

Funny that you should mention Clipper because I developed Clipper software too that got to be too big (memory requirements) for DOS to handle without doing crazy tricks. At that point, I sucked it up and transitioned it to OS/2 PM. I wrote the GUI front end in Watcom's VX-REXX (an excellent product) and the back-end in C and using DB2/2. Fun times!
SEC says it did not yet approve Bitcoin ETF, X account was compromised
But a timer would. That's what I use for this sort of thing, personally. The amount of time it takes for a wash cycle is predictable.
It's a lot about popularity / stigma.

Microsoft developed both JScript and Node.js. They could've continued with JScript, but obviously decided against it because JScript didn't earn the reputation they might have hoped for. Even if they invested efforts into rectifying the flaws of JScript, it would've been just too hard to undo the reputation damage.

Microsoft made multiple attempts to "befriend" Python. IronPython was one of the failures. They also tried to provide editing tools (eg. intellisense in MSVS), but kind of given up on that too (but succeeded to a large degree with VSCode).

The whole long-term Microsoft's strategy is to capture and put the developers on a leash. They won't rest until there's a popular language they don't control.
What is "assistance with various things?" That's incredibly vague and unhelpful. What is "a companion device?" Again, vague and unhelpful. You haven't explained anything, and the web site fails to explain anything, and I'm being too harsh?

There is zero information on the web site except an overly long video badly aping Apple's product announcement style. Including as-seen-on-TV "doing things is so hard" crap.

Hell, the FAQ is entirely about purchasing, not about the "product." It's therefore also meaningless. Rather than harsh I'm being generous. This web site is useless.
my kids pour over the SCP foundation wiki. All fan made up content, very detailed and a lot of it. It's pretty amazing really what a community has put together and maintained without a profit motive behind it.

on an aside, i think a lot of regular websites are considered failures because the definition of success has radically changed. Unless you achieve complete internet domination in your domain then your site is failure.
An example might be that the government sets up its own very basic one-way tweet-like notification service, something as simple as or simpler than an RSS feed, with the official content accessible directly via a .gov hosted web page.

Whatever X is or becomes, as owned by private interests, is trusted with nothing more than scraping and rebroadcasting the original and authentic source.

A solution with less developer and user overhead ma ybe that government webs host a list of public keys by which any "gray or blue check mark" type of authenticatuon signal capability on any private service can be validated against, and the government can revoke keys at any time if for some reason there's a suspicion that a counterfeit message is being distributed via these private services. Maybe repurpose the creaky old atomic clock time sync radio signal that is deployed almost everywhere as a means to distribute a rotating secondary factor. just old PKI tactics proven to work for two plus decades.

But this approach is still open to exploiting human tendency to trust things that have been trustworthy for a long time, until they aren't. So I still think hosting official messaging feeds directly from a government run server, accessible by any barebones http client capable of displaying plain text with basic paragraph/item formatting at most, is the gold standard.

The current situation, where X or meta or google or even a mastodon instance is entrusted with the entire conduit from human input to broadcast output, is a terrible precedent to normalize.
All you need is HTTPs and HTML. Maybe RSS.
It's too late, the industrial base here is consolidated and run by finance. We need competition inside the walls too
GOG doesn't have a Proton equivalent like Steam does. If you're not familiar with that Proton is like a fancier packaged version of WINE supported by Valve as part of Steam, not a native version of the game.
The hardware was designed by Teenage Engineering but the company producing the device (and presumably operating the cloud services it depends on) is separate.
How do companies like this get funding? Do they get it before even having a prototype?
My experience is Wirecutter recommended process products most of the time, and isn't very clueful in how it evaluates them. It's that's Sharper Image vibe.

Best air filter would use standard home furnace filters. Those are cheap and good enough. Most of the money should be on the fan. High efficieny, high load, low noise fans are expensive.
The presentation does mention a "4G-LTE sim card slot". AI seems to be cloud based, indeed.
That may have made sense 8 years ago, but the problem has long since been solved. Coinbase can act as a custodian for your Bitcoin. Fidelity has its own service for it, as does every other fund/brokerage/bank of its scale. You can buy it as part of your 401k.
Ask HN: Any small single-purpose AI tools that improved your life recently?
Recently found myself wishing for a tool that keeps a project readme up to date with the cumulative changes of a project (architecture, run commands, expectations of environment, etc). and realized i'd use it if it existed but dont really have the time to build it myself.

Also have built little chrome extensions for myself on an ad hoc basis (it's in my post history, but not including a link bc the point is not to promote my stuff, i genuinely want to find new tools to improve my life).

i love little tools that aren't constantly trying to grow to be bigger than they should be. any AI tools like that to improve life?

Bonus if open source/source available/self hostable. I also currently run Alfred; is Raycast the new meta for tiny tools?
Barely makes an impression in the parade of crime that is web3isgoinggreat.com/
Not sure why they felt they needed their own hardware for this. They could have built it for multiple platforms to get more traction / usage.
Rust embedded-hal v1.0 now released
Everyone wants so badly to be first to market with the "next big thing" after smart phones. And all of them fail the "so it's a phone, but just less capable?" test.

A neat toy for hobbyists, but most people can't justify carrying two devices. And as soon as you add phone functionality to it... you've just made a new (more awkward) smartphone.
When the payout is say $100M from trading on the fake news, yes it is.
Ibogaine banishes PTSD, small study finds
The climate costs of war and militaries can no longer be ignored
More than 5% of global emissions are linked to conflict or militaries but countries continue to hide the true scale
What's interesting is... what did it achieve? A temporary 2% swing in BTCUSD price at best?
Btw.. if anyone wants to try it you can check it out through our website:

meetrics.ai

OR try it directly from the Chrome Webstore on your Google Calendar:

https://chromewebstore.google.com/detail/meetrics/nddolgdejk...
What makes you think that I'm arguing the method of distribution rather than the number of independent sellers?
yes, that's correct, but heat pumps do much better than that, as explained downthread
I'm sure Gensler will use this as another excuse of no BTC etf since digital security is hard.
Great article. Also note that git-bundle can be used to manually transfer a range of commits between two computers. Suppose the sender's repository is at version 10 but the receiver is at version 4. On the sender's side, you can request to create a bundle of versions 5 through 10 and save that as a single file. You can move the file to the receive using whatever method you choose. On the receiver side, you can essentially "git pull" that set of patches. This technique has helped me in quite a few environments.
>constant crawling, spam attacks

It seems a bit wild if those two could make any difference in costs. I mean, if you have one visit a month and pay per megabyte then sure, Google would maybe show up in stats, but otherwise?
If Postgres was already horizontally scalable and supported incrementally maintained recursive CTEs (like Materialize can do) then I could see how Rama would be mostly uninteresting to a seasoned SQL developer, but as it is I think Rama is offering a pretty novel & valuable set of 3GL capabilities for developers who need to build scalable reactive applications as quickly as possible. Capabilities which other SQL databases will struggle to match without also dropping down to 3GL APIs.

> A purely relational database that jettisons SQL doesn't have to have the limitations the author is poking at.

Agreed. Relational databases can take us a lot further yet.
Oh mean, should we look at the 2021 model year Ford Mustang to estimate the risk of 2024 model? What about different 2024 cars that were manufactured in winter vs summer? I'd say yes, but you're welcome to do what you want.
Is there any FLOSS washing machine software?
The UI is much faster than Github, which is great, big selling point for me. The "iterative change" approach is pretty much how companies use Github I think. Contributors are given push permissions for the repo, the main branch being off limits, and PRs are required an approval before they can be merged. The Github model with forks is not great imo, because forks get out of sync pretty immediately.

Some features I would like to see is ranking of repos by popularity, e.g. "Github stars".
Waymo needs ridiculously detailed maps before it can operate somewhere, so its expansion is necessarily slow, along with the legal impediments they face but they're expanding. Phoenix and San Francisco, and now LA and soon Austin. If no one else has the technology to do it as well as they do, that's a pretty strong moat. No one else has access to the same resources they do. Which, since they're owned by Google, we can assume Google is helping them a lot. Unfortunately Waymo can't ship a simpler intermediary because they refuse to do it, because that kills people. A self-driving car that works right up until the moment it disengages and you get into a car crash that kills you isn't a product they want to sell, unlike others in the market.

They have a product and it works and a lucky few can use it right now. Unlike other products, they can't just spin up a factory and make 10 million more and just sell them world wide like you can with an iPhone. They're undoubtedly working on a new vehicle platform that won't have a steering wheel or driver's seat.
Who ever comes up with these Teenage Engineering designs is an actual, real genius!
By your logic, all testing is invalid except for usage by real users. Two things:

- We stress-tested the hell out of our implementation well beyond Twitter-scale, including while inducing chaos (e.g. random worker kills, network partitions).
- We ran it for real when we launched with 100M bots posting 3,500 times / second at 403 average fanout. It worked flawlessly with a very snappy UX.

The second-system effect is a real thing, but there's a difference when you're building on radically better tooling. All the complexity that Twitter had to deal with that led to so much code (e.g. needing to make multiple specialized datastores from scratch) just didn't exist in our implementation.
thank you for the correction!
Wasm GC makes it much more practical to write DOM-based web applications now. I think we'll start to see more examples of them now that Chrome and Firefox are both shipping Wasm GC in stable releases.
It'll be marginable in a normal brokerage account
No major spoilers that I noticed. Really recommend reading the books, each was pretty mind blowing to me in a different way. The best kind of sci-fi - that which makes you think and wonder.
I assume by selling products to customers.
Why is it not easy? Your fund manager has to click a button to enable it. You have to click a button to buy it. How will an ETF make it easier?
Note that this is not a Teenage Engineering product.

This is a product sold by Rabbit - and they hired TE to help as a design agency.
I don't know about their other gear, but they sold a lot of OP-1s.
That's awesome. Wish more managers / directors did that and were that dedicated to improving meeting culture.
Can you explain how web3 is responsible for all the crypto nonsense for a layman?
Looks like someone has uploaded some episodes of Forensic Files, as well as other crime-related shows, to YouTube.
> On that note, read some Extended Mind philosophy if you haven’t, originally from Chalmers I believe

Literally considering writing a book on extended mind theoretic ideas. Highly recommend Andy Clark's "Supersizing the Mind" (2010).

> do you think this is self-treatment for attention deficiencies, or just an effective set of strategies? In other words, is this a life strategy or a work strategy?

Both. At first (~10 years ago) it was about managing deficiencies, but before long I was performing far above the average neurotypical knowledge worker.
are there any cl implementations that use jit? there are a lot of cl implementations so i assumed there must be one
There already are bitcoin ETFs you can trade anyway, they track bitcoin futures.

$BITO and $BITI
The "lifetime" warranty on Jansport bags definitely uses a creative interpretation of "lifetime", but in the consumer's favor. I ended up making a warranty claim on a external frame bag that I inherited from my grandfather after his death, such that the bag had outlived not only the purchaser, but also the retailer it was bought from, anybody involved in manufacturing it, the product line it was from, and rapidly it would seem the entire product style.
By using Twitter as a communications channel for official announcements, they are at least legitimizing it.

If they have any reason to be concerned about the security of their account (and it looks like they should have at least from now on), they should arguably reconsider their choice of platform.
Things that I have worked on will save lives in a future conflict. Being former military, I'd like my buddies to make it home safe.
"operates apps so you don't have to" -> "to use, use a different PC, open the browser app and log into spotify"

so... you also still have to have another PC and operate apps on it.
Is anyone else wondering what the password was?
I feel like I've seen this headline several times over the past couple years. Are there any profits left to further decline?
Fun with container images – Bypassing vulnerability scanners
git help -a

lists all available commands.

It's important to note that the git binaries are (usually) both client and server - by design what with the hole "decentralised" thing.

So the default package will let you run server functionality such as the http-backend (which allows the machine you run it on to serve http(s):// schema repositories)