skysight-inc/HackerNews huggingface dataset:
> Often, they refer to programming language tutorials where these mathematical ideas are already implemented, for example, in Python or C++.

The difference is that _someone_ is actually implementing the features they're relying on, and those people know the math, understand its importance, and deliberately apply it. I know because I dig through their git commits so I can interview them about their work for my book.

Your argument puts a lot of faith in Haskell. Let me take one path in your example to make this concrete. Rust was influenced by Haskell, how specifically? [1] claims it was mainly in "typeclasses, type families." Picking one randomly, the GHC user guide [2] describes type families as originating from three specific papers, [3], [4], [5], none of which mention category theory (nor does the much longer Haskell Wiki [6]). It seems to suggest, what is obvious to me, that not _all_ features of Haskell are related to category theory.

If every time I trace claims of applied CT I find big holes, how could I possibly believe that so many great ideas that programmers use every day are secretly deliberately based on CT?

There is a deeper discussion to be had here, along the lines of "does it count as an application of math if none of the people doing the applying think about the math." I think the answer is no. Math is a modeling language and if nobody models their problems with it then theorems do nothing. And so, if all of the category theory is lost in the translation from some (perhaps itself far removed) language feature of Haskell and later inspired language design, then that tells me category theory is the _wrong_ modeling language for that design problem. If it were good, and if the resulting theorems were essential and useful, then the practitioners would adopt it. That is a failure of CT.

[1]: https://doc.rust-lang.org/reference/influences.html
[2]: https://downloads.haskell.org/ghc/latest/docs/users_guide/ex...
[3]: https://www.microsoft.com/en-us/research/wp-content/uploads/...
[4]: https://www.microsoft.com/en-us/research/wp-content/uploads/...
[5]: https://www.microsoft.com/en-us/research/wp-content/uploads/...
[6]: https://wiki.haskell.org/GHC/Type_families
Development seems to have moved to Github. This website has the latest release in 2022. The Github project has much newer releases: https://github.com/veracrypt/VeraCrypt/releases. Today basically.
>"In addition to your own private bed, you get keyless entry to the house in an amazing location, access to a full kitchen, and fully furnished common spaces such as a living room and shared office room," it adds.

That's actually not too bad of a deal as long as you can tolerate the pretty cramped sleeping situation. From the Twitter pictures the living space seems quite nice
UUIDs are good for data where I want either lots of different users being able to insert without collision, or lots of users who I want to keep their peepers off of other user's metadata (eg, how many X they add to the system per day).

In both cases I'm melding highly disjointed data into a single schema. There are no large consecutive sets of records.

If you're using UUIDs, there's probably a reason. And that reason invalidates the justifications for not using them.
Easy grift.
Well, there are no emissions from an EV, so obviously the tire pollution will be larger than the nonexistent tailpipe emissions. I’m surprised this has to be stated.
We know sculptures and cave-paintings much older than this, some made with great artistic skill, so clearly no archeologist would suggest art was “not possible” at this time. Still a significant find and very fascinating.
Visidata is also a good tool for exploring large JSON files interactively.

https://www.visidata.org/
If that were the case they would be measuring productivity, which we know they are not.

Similarly if you actually cared about productivity you would never consider any kind of open or semi-open plan office, yet these are exactly the companies that do just that.
They have a default configuration applied when they are first powered on after a reset which includes wan, lan and nat setup. Possibly some basic firewall setup though I cant recall.
You are really bringing your own OS here. The nanopi can run mainline linux and u-boot[0]. If you suspect an Intel ME-style component with ring -3 access, it should show up in the initialization sequence - there are no blobs here. Features like these are not cheap to implement, especially when Chinese vendors are so keen on cutting costs.

Essentially, this means that there is zero risk, unless you are a target, at which point any unintentional hardware bug caused by the aforementioned corner-cutting will become a concern.

[0] https://linux-sunxi.org/Linux_mainlining_effort

https://linux-sunxi.org/U-Boot

https://linux-sunxi.org/H3
Before Launcher is great if you want to silence notifications selectively and make the home screen less attractive. Noisy apps no more; only one or two apps get to interrupt me. I happily pay for the premium version.
Happy to see Bruno trending on HN.

I had recently penned some thoughts on opensource sustainability, the early days and the future plans of Bruno in this discussion thread: https://github.com/usebruno/bruno/discussions/269
You can make bad technology choices today.

For example, if you were using Typescript to build a mobile app, you might be tempted to use TypeORM (32k stars on GitHub, been around since 2016, widely used). If you wanted to also use transactions and concurrency then this would be a mistake, because you would quickly find that TypeORM's SQLite adapter doesn't have a connection pool or locking for transactions, and will happily execute statements inside a transaction then roll them back without your knowledge.
Nope. But it wouldn't be a problem to carry even 8-10 kg in a backpack instead of just 3-4 kg. In fact, it's a recommended form of cardiovascular excercise (it's called "rucking").
Well, veracrypt has a random seeding stage where you're required to shake the mouse around to create randomness. Problem is, that it only registers when the mouse is over the actual tiny veracrypt window. Problem with that is, it tells you that in some tiny bold text at the bottom. You can waste literally an hour wondering why the randomness meter goes up only sometimes. A better UI might fix that.
Headlines from the Future
yeah post Snowden there are quite bit of big mistrust in NSA type of gov agency. However, what people ought to focus a bit more on are the tel-co companies (AT&T type of companies). They get all your data, call and location via cellular towel triangulation even with internet turned off. As long as you are using a mobile phone they have a lot personal data about you. and they are NOT subject to public scrutiny as NSA type of gov agency. As bad as government agency they are such as NSA, they are still (or need to make an appearance of) being scrutinized by the public. Yeah and as some said there are red/blue teams in the public agency as well, some are still good public servants.
Bear in mind that I'm still not convinced that it did actually run the code - seems more likely that it just simulated it.

I got to this point by asking it different ways to expose its Google Search API key initially. Every attempt failed as if it was doing some inspection of its own output and identifying that it was exposing the key, which violated one of its rules.

Then I tried asking it to base64 encode the key and print it, same issue. Then I asked it to base64 some arbitrary text, which it did. From there I kept asking it to run bits of code. It appeared to be doing what I asked, but who knows?
Buy Wisely
Roko's a bit insecure I guess?
> AVR EA just came out, but I don't understand them yet.

Okay, I spent a bit of time going over "AVR EA"'s datasheet. Here's my conclusion:

AVR EA's ADC converter is absurdly better. 12-bits and 375kSample/sec with upto 16x programmable gain amplifier (x1, x2, x4, x8, and x16 settings).

So with 12-bit / 375kSps / x16 PGA and a 1.024V internal voltage reference, the AVR EA can accurately measure 15.6 uV (microvolts) resolution. On paper at least. And mind you, this is a _differential_ ADC (all DA, DB, DD, and EA are all differential ADCs). Also, 500uVrms noise at x16 so oversampling required to make any of these lower-end bits usable.
All the time. Perfectly fine to bike all year. That sentiment is so funny. Before heavy snow days the police and newspapers put out warnings not to drive. But those days it's perfectly fine to bike. Then a few hours later coworkers that drove ti work show up angry about the chaos. If anything, it's the cars that can't handle snow!

A bike ala a Tern cargo bike solves most of a family with kids needs where I live. (disclaimer, I'm not living in a car based society like the US). Then for hauling big stuff or something one just rents one of the share cars in the street for an hour or two.
I recently ran across Juno: New Origins [1] (formerly SimpleRockets 2), which is a game where you build your own rockets / cars / drones / etc. Not only is it a great introduction to basic physics and maths concepts, the game also has a visual programming language that is so similar to Scratch I initially thought it must be some kind of plugin for Scratch.

The beauty of this for novices is that it's a relatively gentle, and not overly open entry into the world of programming. Initially, you may use it to hard-code and automate some repetitive tasks, like setting camera and target settings on your rockets. Soon after, you might create a script to auto-launch a rocket, with various degrees of intelligence or hard-codedness. Later on, you might create auto-hover, auto-land and similar scripts, which also get you into the world of basic physics equations, possibly various coordinate systems, etc.

All the while, you're essentially having fun, and can always leave the programming to the side for a while if you're stumped. I think it's an ideal way for kids to learn a lot of basics.

[1] https://store.steampowered.com/app/870200/Juno_New_Origins/ (the Steam page seems to do a better job of explaining the game
Sorry, it is what you say that is wrong.

Because the end result is standard PCM, the quantization can be only worse, not better.

Oversampling ADCs push a much greater quantization noise into the inaudible range, and then, by low-pass filtering, reduce the quantization noise to the level of standard PCM.

Oversampling ADCs are not better, they are much cheaper, because 16-bit or 24-bit quantizers with enough speed and accuracy are extremely expensive.

Oversampling, i.e. sigma-delta modulation, in both ADCs and DACs, allows the use of much cheaper quantizers with low resolution, of only a few bits, or even of only 1 bit, and of much cheaper filters, which do not have to be very steep, without degrading too much the quality in comparison with real PCM conversion done at the Nyquist frequency.
Phone thieves in Brazil have an easy target: Gig workers
Tesla IR Compiled 455,000 Cars Delivered in Q3 '23
With Windows 11 Pro I always use no@thankyou.com as the email and give any random string ad the password. The setup will ask to create a local account in the next screen
That's not a great analogy. Soundtracks are often in the top ~5 most important parts of making a game special.

A laugh track doesn't really change the narrative or the experience that much, except on comedies which are only barely funny to begin with. You could remove the laugh tracks of any of my favorite comedies and I'd enjoy them maybe 1% less.

But games like Fallout NV, Doom, the GBA-era Pokemon games, would be a whole lot less immersive (and less fun) without their amazing soundtracks.
It is worse. In the sewer it renters the groundwater system, ready for immediate use. evaporate and it goes somewhere else.

But the real take away is don't let the black journalism scare you. using water for an evaporation cooling system is about the least bad thing you can do with it.
> However, do you think putting 2 hrs a week on a single project for extended time will take me to places?

What places? Getting a job in the field? I think it could do it, unless the field is very hard to get into (e.g. 3d computer vision/vSLAM is considerably harder to get into than computer graphics, machine learning research is much harder to get into than applied machine learning (glorified data science) etc.). A good approach is to talk to some insiders in the field to get a feel of how hard would it be. If you don't know anyone, topical subreddits are not the worst place to ask this.

I went through exactly this path, even got some interviews, but learned that the jobs that would interest me the most are hardest to get into, and would mean a large pay decrease (I was making a ton in my current area of expertise). The nail in the coffin was chatting with some guy from Facebook AR (I met him on reddit) team who had my dream job and who said that, in my position, he'd prefer to just accumulate money and FIRE in 5 years, instead of starting a new career.
Once the codebase and architecture stabilize, we’ll likely open source HTTPie Desktop too.
HTML and CSS.

Boring, reliable, accessible, extendable.

Only reach for JavaScript when it's actually required - which is less often than the modern web would suggest.
Firefox Beta for Android lifts restrictions for Extensions
To the best of my recollection no one in the former HN comment threads expanded on the long hiatus .. suggesting an absence of any real drama.

Which leaves us with the RC release candidate Announcement:

After a five year hiatus we're back with a GitHub organization, with new admins and new maintainers who have brought a great deal of energy to make a long-awaited and long-needed new release.

https://github.com/jqlang/jq/issues/2802

and the 1.7 release Announcement:

It's been almost five years since the release of jq 1.6. Recently we have had a great influx of contributor and maintainer energy. We now have 12 maintainers (up from 3), with about 4 or 5 active maintainers (up from 0), we have 8 admins with several active admins, and several owners at least two of whom are active. As a result the project will not again have such a long hiatus.

https://github.com/jqlang/jq/issues/2876

Either any dirty laundry is well buried or (more likely) this was simply a case of the original implementers hitting some plateau of achievement and fading away leaving JQ to eventually be picked up by others.

Others would have to chime in, I have nothing I can add.
I think putting some efforts in the user experience is important. A better GUI may mean that more people will use encryption.

Bitlocker and FireVault are very easy to use compared to VeraCrypt or LUKS, and they are much more common. So many Linux installations don't have disk encryption…
I understood it as c) only UUID7, no secondary external UUID.

The external Id is used instead of Bigint because you don't want your external users to query 1, then 2, then 3 (IDOR)... But the random part of the Uuid7 makes this impossible.

Uuid7 isn't a substitute for Created/Updated, but a substitute for the dual field Uuid4/Bigint.
BitLocker and LUKS both support TPM for key storage which VeraCrypt does not.

The TPM acts as a second factor (assume PIN is required); if you pulled the disk out and placed it another PC you cannot brute force the plaintext password, even using the $5 wrench method.
It looks like they didn’t even build a PoC. All the results are simulated.
Maybe they should ask their buddies at the NSA : https://arstechnica.com/tech-policy/2014/05/photos-of-an-nsa...
From just over a month ago:

https://news.ycombinator.com/item?id=37295884
I am using express for a side project. A popular middleware was last touched 10 years ago. You can read all the source in 5 minutes. And it works. I craft forms tags like it is 1999 and use .ejs files which is like active server pages. If there is a problem I can figure it out from first principles. It is a relief compared to modern stacks.
Kaluma Puts JavaScript on the RP2040 Raspberry Pi Pico
WFH.
Damn that is pretty impressive. I just drive my 3d printer and run the unifi controller interface with mine. Thanks for the inspiration.
I corrected myself; being introduced in 1993 does not mean it was supported by all the Apple utilities since start, at once.

Also, it is not an user friendly solution. Do you know, how it really worked? Mac users were sharing QT pro keys. Most had zero interest in the pro features, except full screen playback.

It took Apple almost two decades to fix this.
Even GPT-3.5 can solve that on the first try. I didn't measure time but it should be within a minute. https://chat.openai.com/share/7f6a97de-9aef-49db-946b-15bfd9...
How do you prepare a city like New York for major floods?
Even if Bolt is missing a year or two, they're still available now and they will also be very soon. OP's retort was that it was cancelled, and originally that there existed no affordable EV like this. Of course both of those statements need to be corrected.

It is valid to look at Chevy's other products, and the LG battery problems with the Bolt were unfortunate. OP's anecdote about the Volt may be valid, but using the Volt as an example of Chevy's reliability is the worst thing you could do as the reviews for it were phenomenal and punching well above Chevy's typical prowess. That car is a very practical, affordable, emissions saving, plug in hybrid.
not in any way
> Since DM is a substance that, for all intents and purposes, defies detection by any means at our disposal, it makes no further predictions

This is completely untrue. All serious dark matter candidates are observable. For example:

- MACHOs should show up in gravitational lensing surveys. We did the surveys, they didn't, MACHOs were rejected. Exactly the way it's supposed to work.

- Axions convert to photons in sufficiently intense magnetic fields. ADMX has ruled out part of the parameter space for axions and is undergoing upgrades to test the rest of it.

- Other WIMPs still interact via the weak force, and therefore with nucleons. There are many experiments looking for WIMP scattering. A few of them have gotten signals but not enough to be convincing.

Dark matter candidates are not just "mass with no further properties" sitting out there to make the model fit. They're proposed extensions to the standard model (which is nothing but proposed extensions to quantum electrodynamics which ended up working out), and therefore very tightly constrained by the standards of any other scientific field.
I'm not a chemist, so this is a very low knowledge post, but the carbon/hydrogen link in carbohydrates seems to be a rather weak one, we reconfigure it all the time on the long and winding process paths from crude to the many, many things we create from it (these days, pretty much everything that isn't metal or concrete).

The majority of the energy we use from burning carbohydrates comes not from oxidating carbon but from oxidating hydrogen: oxidating carbon does release slightly more energy per atom than oxidating hydrogen, but the hydrogen atoms outnumber the carbon ones by far. On the atom level, our society already is mostly hydrogen powered, but unfortunately limited to hydrogen packaged in carbon and we can't burn them separately.

With this technology, if it scales (big if, no question about that!), we can burn the oxygen for energy while retaining the carbon as stable, even somewhat useful (perhaps not in the amounts post-scaling...) solids that are relatively easy to keep out of the atmospheric cycle. If that really works, it will be a great improvement over what we do and certainly worth spending some of the net energy we'd get from the hydrogen on. And even if the net energy would be zero it could still be worth it, run the plant only at times of intermittent sources surplus. At zero energy balance it would be a 100$ efficiency storage solution (that would solve some of our plastic waste problems on the side)
> Aging population is a thing, as in any other western country. Turns out that immigration is one of the things that counteracts it! And we're currently (and for the next decade) in serious need of unskilled labor, so even the 40% of syrian refugees that haven't gotten work yet (many of those because of the slow bureaucracy...) will be needed.

That calculation would work if Germany would be getting only kids and babies which would be adopted by local families.

It’s getting some of those kids, with a lot of parents, grandparents and teens in addition.

Many of those adults are economic migrants, without the education and the resources to succeed in any European country, never mind the highly demanding German labour market.

They will be stuck in dead-end jobs delivering packages at best. If Germany has a serious need of unskilled labour, why don’t those 40% have any job after so many years? I see three possibilities:

* living on state support is better than any of the jobs they could get

* they don’t want to work

* they can’t work

They will all nevertheless use all the benefits provided by the state, putting pressure on the housing market, state budgets, availability of medical treatment, etc.

Relying on immigration to fix plummeting birth rates is broken by design, with significant downsides. Nobody succeeded at doing this.
Bigme has been a player in the niche eink tablet market for a while now, so it's likely real, or at least not a complete scam. The fake marketing videos in the Kickstarter are atrocious, though. I would say Dasung and Onyx Mira are the popular brands for eink monitors. If you only want greyscale, those two have decent options available today. It seems like this larger color eink panel just became available, which is why you see both Dasung and Bigme building products around it now.
Most "we started in Go" projects are a lot older than Rust itself. Rust 1.0 was only released in 2015, and the language only really became usable with the 2018 edition. C++ is not really a comparable language, it's not even memory safe.
% jq -c '[path(.tags[]|select(contains(["tag:primary"])))[-1]]' hosts.json
["ams01","zrh02"]

2m28s from time I downloaded hosts.json to producing this solution, though I must admit I had to take a moment to look up contains to realized it had to take an array—I could've used index/1 and had a better time.

% jq -c '[.hosts[]|select(.tags|index("tag:primary")).name]' hosts_advanced.json
["ams01","zrh02"]

This one was much quicker, just 1m5s, but of course after I'd already done the previous one.

It's a language. You can learn it, and then it can be easier to write programs in it. Or you can blame the tool, sure.

edit: and for the curious, this is the path I took to produce these programs:

wget https://gist.github.com/ruuda/31cffffaa595492a335a4637503f4b7a/raw/7ae5bef0ac331eb2fb7d67cac6cc867e13a675f3/hosts.json
jq . hosts.json
jq .tags hosts.json
jq '.tags|path(.[]|select(contains("tag:primary")))' hosts.json
jq '.tags|path(.[]|select(contains(["tag:primary"])))' hosts.json
jq '.tags|path(.[]|select(contains(["tag:primary"])))[-1]' hosts.json
jq 'path(.tags[]|select(contains(["tag:primary"])))[-1]' hosts.json
jq '[path(.tags[]|select(contains(["tag:primary"])))[-1]]' hosts.json
jq -c '[path(.tags[]|select(contains(["tag:primary"])))[-1]]' hosts.json
jq -c '[path(.tags[]|select(index("tag:primary")|debug))[-1]]' hosts.json
jq -c '[path(.tags[]|select(index("tag:primary")))[-1]]' hosts.json
wget https://gist.github.com/ruuda/31cffffaa595492a335a4637503f4b7a/raw/7ae5bef0ac331eb2fb7d67cac6cc867e13a675f3/hosts_advanced.json
jq . hosts_advanced.json
jq '.hosts' hosts_advanced.json
jq '.hosts[]' hosts_advanced.json
jq '.hosts[]|select(.tags|index("tag:primary"))' hosts_advanced.json
jq '[.hosts[]|select(.tags|index("tag:primary")).name]' hosts_advanced.json
jq -c '[.hosts[]|select(.tags|index("tag:primary")).name]' hosts_advanced.json
DataGrip isn't Electron
No IV, ECB mode... why bother with encryption at all? Just expose the internal id.
Waterbed Theory (2014)
I get the impression everyone is trying hard to ignore Microsoft and focus on OpenAi, midjourney, NVidia etc, but their Bing chatbot is free and extremely good. I'm just waiting for API access.