skysight-inc/HackerNews huggingface dataset:
It evaluates the build plan for everything we have, and then searches the things that were evaluated.

The new unstable CLI has an evaluation cache at least.

What most people do today is look for keys in the object and just evaluate what they need. (The Nix language is lazily evaluated so you can explore like this pretty well out of the box in the repl.)

Or, they just grep Nixpkgs :D.

-------

All of this, problems and solutions alike, is a weird situation to be in. I still stand by "just get rid of nix-env -i", but I want there to be better solutions too.

Nixpkgs seems overly complex, and is in some ways, but the fact its trying to herd a gazillion upstream packages that don't meaningfully coordinate makes this harder to fix than it should be.
It looks great
I cannot login to the account without 2FA to an email address I no longer have access to (even though they can somehow send me annual renewal notices at my current email address), that's my problem.
What registrar do you recommend as ethical, competent, and treating their customers well, with good UI?
Spherical cows in a vaccuum
This is using the Checkm8 exploit which takes advantage of an unfixable BootROM vulnerability that exists on all devices between iPhone 4s to the iPhone X. This includes all ipads and other iOS devices using Apple silicon from the same generation. https://checkm8.info/blog/checkra1n-jailbreak-exploit
I've had these problems for everything Apple since before Swift was even a thing, documentation is basically 'Google things up and pray you find something that's not only relevant, but recent', since every September you're basically forced to migrate breaking changes of everything. But SwiftUI really is the right move.
Sure but if the goal was to block youtube-dl usage, wouldn't they target the vastly more common usecase without authentication?
There are third party repair places that may be able to fix your iPad for you although if it's the digitizer or screen, it may cost more to fix than the iPad is worth.
Funnily enough, i wasn't aware of ObjectiveFS - i guess it's because i can't find a research paper for it.
HopsFS on S3 is similar to ADLS on Azure (built on Azure block storage). Internally, ADLS and HopsFS are different - HopsFS has a scaleout consistent metadata layer with a CDC API, while ADLS doesn't. But ADLS-v2 is also very good.
If I recall correctly, the checkm8 exploit they use is a bootrom exploit, meaning it occurs at a low-enough level exploit that it can only be patched with new hardware. Every iOS version on vulnerable hardware will forever be exploitable.

See “iDevice Compatibility” on this page: https://pangu8.com/jailbreak/checkm8/
This work came out a few months ago, and we discussed coverage in Science:

https://news.ycombinator.com/item?id=23984568

I'm not sure if the Quanta article adds any technical content, but it's certainly a nice read.
Depends. If the image is signed/ encrypted it would be fine.
Not saying either way, but something to chew on when it comes to Domain models: https://www.cosmicpython.com/book/chapter_02_repository.html

I love this book and it explicitly addresses a lot of painpoints in designing complex systems. For example, business counterparts might request writing to CSV instead of database. You want to decouple domain models from RDBMS.
> why even bother with Apple hardware?

1. It's nice hardware (slim, good build quality). 2. Linux often supports hardware well after official support ends, prolonging its usefulness and keeping more gear out of the landfill.
For better or worse, Larabel does a great job of adding excitement to otherwise fairly humdrum activity. On the whole I think he's a major net benefit to free software, few people cover the goings on in random backwater mailing lists in such a public manner besides him and LWN, and AFAIK Larabel's audience is much less specialized, and his writing style can be considerably more vibrant.
Android is a real Linux in the same way that iOS is a real BSD Unix.
The load tests were done on the chinook database[1].

> Thats a really vague statement you did there.

Yeah, it's lacking details, sorry about that. We'll publish a more detailed write up soon.

[1]: https://github.com/lerocha/chinook-database
Yes, this paper did not compare small file performance in HopsFS with EMRFS/S3. But HopsFS on S3 also supports storing small files on NVMe disks in the metadata layer. Previously, we have shown that we can get up to 66X higher throughput for writes for small files versus HDFS (peer reviewed, of course) -
https://www.logicalclocks.com/blog/millions-and-millions-of-...
Ergonomics to me means "what is the moment-to-moment experience of a user of the language, in particular frictions between what the user wants to say and how it must be said." For someone who does not care much about constructibility, it is better not having to do anything differently depending on whether or not something is constructive. The workaround for such people could be to always include at least one negation for every statement, but that's a pervasive reminder of questions of constructibility! If practitioners are going to be using this transformation by default, then the language would be more ergonomic if it was just automatic.

I don't think having to think about constructibility all the time is more ergonomic than accepting that the system has a well-accepted axiom. There doesn't need to be a one-true system, of course, and for people interested in foundations, reverse mathematics, constructive mathematics, higher category theory, and homotopy type theory, there are other systems. Most mathematicians don't study these things, and accepting LEM is natural for them.
I read this as “Postgres functions are 9x faster in Citus” but it seems to actually be “Postgres functions in Citus 9 are 9x faster than in Citus 8” - because Citus 8 has round trips that standard PG doesn’t. Or did I miss something?
> Buy Almost Always Beats Build

The devil is in the "Almost". I agree 99.9% with the examples the author chose (db, k8s -- if you even really need it).

But a lot of third party code is rife with gotchas -- often excellent as development scaffolding but risky in deployment. npm is notorious in this regard.

What does "buy" buy you? 1 - hopefully a lot of people are using the code in question so it will have fewer bugs. 2 - hopefully time to deployment

But in exchange you may be using a piece of software that might be robust in domain X but not in yours. You're signing on to a piece of code that may be excessively general for you, or inversely make assumptions that shoehorn you down an inconvenient path.

And of course now you're on someone else's config and development timeline.

So it's a balance like any other.
Kind of. Who ever is on call should be able to deal with the issue. Your highest level of escalation should be your engineering manager, VP of engineering or CTO. Your product manager should care about team health checks, and how much you are getting paged, then prioritise engineering time to reduce it. Its about collaboration. If it doesn't work out, maybe you could put your product manager shadow on call too. I haven't ever had to do this, but it could be fun.
I maintain the python bindings for the other way to interact with X, xcb. I remember when I wrote the binding from scratch six and a half years ago, I thought "why am I doing this? We're all going to be using wayland in a year". And yet I'm still maintaining it today, and there's no real sign that I'll stop in the next year, if not the next five. It'll happen some day...
Even if you don’t get new OS versions, you still get OS patches and security update for several more years. Also the App Store still seems to support devices seemingly forever. I was still able to download apps on my iPhone 3G seven years after I bought it. In terms of useful working life, these things are incredible.
Those people are right.

The data does not support the idea that student debt should be a top priority for anyone trying to maximize the impact of raining dollars onto the public. I'm presenting data not for the purpose of showing that there's a better way to distribute loan relief, but to show how incredible it is to claim this is motivated by desire to give relief to needy people (and therefore given top priority)

It's decidedly not the needy who'd receive the most relief from this policy.
Show HN: AtBuild – write JavaScript that generates JavaScript
> This work is likely to take months still before there is a complete tentative protocol, and probably years until these features are available in your favourite Wayland desktop environments.

I really appreciate the realistic timelines and honesty here.
> So, is there really no standard way to save a web page as a single page any more?

I'm feeling pretty confident about the browser extension 'Singlefile'[0].

I had already tested saved files on a number of browsers (the usual modern browsers) including a few minimal ones like Dillo and elinks. The pages had no problems displaying.

Out of curiosity, I just finished testing with two old DOS browsers I had in DOSBox. The results are here: https://imgur.com/a/ScpJqaK

Also uploaded here:

Knots HTML Viewer: https://ibb.co/3Tf9VTk

Dillo for DOS: https://ibb.co/mqsF8kp

Knots was a simple HTML viewer released in 1996. I was surprised it loaded the page. From the image: it was unable to scroll past a certain point. Singlefile embeds all assets within the page (so I had to scroll past all the CSS). It stopped scrolling soon after the CSS.

This was a real (unfair) torture test of Singlefile and I think it passed with flying colors. Knots had trouble even with pages written in 1993 - it was useful for only the simplest of html tags.

The other image is of Dillo for DOS (released in 2011). Really nice job displaying the Singlefile page.

These were the only two DOS browsers I had on the system (for now...)

[0] https://addons.mozilla.org/en-US/firefox/addon/single-file/

> I swear, browsers have gone downhill since the days of Opera 12...

LOL. In 100% agreement:-)
Where would you find ISO 25000?
where would you find the SO/IEC 25000 SQuaRE (System and Software Quality Requirements and Evaluation) series to read about them for free ?
> EdgeFS is one I was looking at recently

Do you have any additional info? EdgeFS's github[1] doesn't work; does repo access require a Nexenta sales call?

We're also looking into asynchronously replicated FSs, I think built-in caching + tiering is slightly nicer than cron + rsync; would love to know what other solutions you looked into.

[1] https://github.com/Nexenta/edgefs
Anything in the testing category is mostly "barely works"
A quick read of ObjectiveFS, and it doesn't appear to be a distributed filesystem. It appears to be a single service (log -structured storage on a service) that is backed by S3. Am I wrong? (HopsFS is a distributed hierarchical FS).
Or there is a bug, and it's not even running on those cores in the benchmark.

In SPECint2017, performance goes from 21.60 to 28.85 when going from 4->8 threads.

https://www.anandtech.com/show/16252/mac-mini-apple-m1-teste...

(https://images.anandtech.com/graphs/graph16252/119365.png)
It works for me for a few not-quite-trivial views (e.g. a plot). It got a lot better with Xcode 12. The main thing now is if it doesn't work the error messages are basically useless, so you have to be very careful in setting it up. At least for me, the error message often made it seem like a random issue with Live Preview but it actually boiled down to some mistake in my code.
I think my instinct for this and my relative lack of interview experience have been at odds. When I’m already on the job, I have no doubt that my experience and opinions show my value. I don’t even worry anymore about demonstrating value: it comes out of every action I take, and if it’s not manifest in the interaction I can either demonstrate it with outcomes or retrospectives. But that translates poorly to an interview environment where the person on the viewing side of a whiteboard might not even have the instinct to hear “this is a problem I would solve by choosing a technology that already addresses it” or even “this is something I would google because it’s not the core problem I’m solving, just a detail”.
Good. Cars are the problem, electric or gas. Electric only solves one problem, cars still cause huge amounts of pollution.
I have a personal repository group. Three repositories within it. One named 'knowledge' where I store code snippets, common issues with their solutions I have dealt with. It has multiple markdown files, one per scope. I have a git.md, docker.md, and language based ones. issues.md I keep all the error X has solution Y. If I have to deal with an error I look there, if nothing is found i append the solution. If I realize I had the solution but I was using the wrong search term, I will add my search term in the original solution.

My other repo is a scratch pad of sorts. Various scripts and tests, at various stages. This is for things like testing sorts, weird complicated manipulations to strings etc. I some need to run some script somewhere else to check somet so I can just clone scratch repo somewhere remotely and run things there. Mostly though it's more of a let me take all my objects from debug mode and use those values with a code snippet I want to alter without having to run large files to reproduce those object values.

Third repo is my story repo. It holds all the stories I work on, with my notes. We use Jira so it's story is - a short description. Inside I write my thoughts, things I need to consider, things I don't want to forget. Lately I have been experimenting with having a day.md and I just keep appending on the top new days, I don't k ow if I like it more.

All three repos are public within the company. I actually have used the story repo for presentations within my team etc. I find that it helps me keep me accountable.

The fourth repo is not pushed anywhere. Just local for my personal todos, but I rarely use it. Instead I write my personal stuff on paper. It helps separate personal from work todos just by using a different medium.
Agreed. Electrics are also substantially heavier, and therefore they cause more road wear, much like light trucks. In the US tax incentives for electrics are also de-facto giving money to the rich. The poor aren't buying electric cars. In some states there's now an upper cut off somewhere around 30K selling price for subsidies, but really, the subsidy needs to be income-based, not price based, and I say this as someone who's firmly upper middle class. It's completely idiotic to subsidize me for buying what amounts to an extreme luxury item.

> 13.1 litres per 100km

This seems crazy high even by US standards. My 300 horsepower 6 cylinder BMW, for example, uses 9.7L per 100km, and I drive mostly in the city.
I wrote two reference type checkers for Lean and learned a lot about both the Lean kernel and the implementation of DTT; it's not an easy exercise, but I would recommend it. The ones I wrote are in a language that's not the easiest to read (though I did end up getting the performance to justify the language choice), but if any related questions come up feel free to contact me and I'll do my best to give a coherent answer: https://github.com/ammkrn/nanoda_lib

This paper on Lean's type theory dovetails nicely with any of the kernel implementations:
https://github.com/digama0/lean-type-theory/releases/tag/v1....

Also this article is really neat, thanks OP. These kinds of visual representations and other alternative mediums you can use to document stuff are (imo) a really important and under-explored area.
*worse performance, because you drop more things that often happen before accessing db -> on the level of database - Simple as that its not going to spend 100% computing power on things you would expect it to..

So you get worse performance and harder to maintain code.
> it brings ICE and EV into alignment now

I know it does. My point is that bringing them into alignment now isn't a good thing.
It basically means it won't spread through the population like the flu, which makes outbreaks easy to contain. Corpses need to be properly disposed of and you should avoid contact with the scabs or whatnot from people with anthrax lesions, but that's about it. There are cases of anthrax in livestock in America a few times a year but it's really not much cause for concern. It used to be far more common, but now livestock get vaccinated for it in regions where it's know to occur.
> Even if you use a LazyHStack, introduced in iOS 14, views will not be loaded until they appear, but they'll remain in memory thereafter.

well, thats a dealbreaker if i ever saw one... i wonder if this is "just a bug" and gets fixed in an ios 14.x update...
Has anyone thought of just not using Google? By using them you give them power in your life
Shouldn't it be quite okay if using secureboot and the embedded system has locked down keys?

I have no idea if they did that, but mailing USB keys should be fine with the right encryption or validation
Almost every bank I've seen in 3 European county has something like this. Java middleware companies, same story. And these are big companies and they're not a few companies.
Yes, we need children. That's not a question. The question is if a single couple needs to produce so many children they drive a vehicle so massive is earns tax breaks.
> So making your code 100x faster saves you more than 100 servers.

The first thing that came in my mind is the following article from back in 2013: https://blog.iron.io/how-we-went-from-30-servers-to-2-go/
+1 for not overconfiguring your tools. It makes migrating harder and the cognitive load on newcomers doesn't help either.
If I understand the distinction you're making, then yes, you're wrong. The really beautiful thing about ObjectiveFS is that it's distributed, but the user doesn't really have to be concerned about that. A user can mount the same S3-backed ObjectiveFS filesystem on multiple machines, and they will somehow coordinate their reads and writes to that one S3 bucket, without having to communicate with any central component besides S3 itself and the ObjectiveFS licensing server.
the classic 'perl is dead' argument. things get feature rich and basically stable. Especially for dull libraries. CPAN has got an option for everything, new language X's package collection? Maybe, maybe not.
The senior engineer on my past team was also this way. He had strong domain expertise, but he was definitely not the best technically. But his greatest gift was his ability to bring everybody together and be a strong mentor the junior engineers. We called him a force multiplier, and he was awarded many times for this.
There was a post from Igalia (another open source consultancy) about Wayland and Chromium yesterday:

https://blogs.igalia.com/msisov/2020/11/20/chrome-chromium-o...
https://news.ycombinator.com/item?id=25167584
Every project on https://supabase.io uses PostgREST. It's an amazing tool, especially when combined with Row Level Security.

We have built client libraries for Javascript, Rust, Python, Dart, and a few more on the way thanks to all the community maintainers.

Supabase employs the PostgREST maintainer (Steve), who is an amazing guy. He works full-time on PostgREST, and there are a few cool things coming including better JSONB and PostGIS support.

We recently benchmarked PostgREST for those interested: https://github.com/supabase/benchmarks/issues/2

nb: i'm a supabase cofounder
While cracking WPA2 isn't trivial, it's not hard to redirect network traffic once you've managed to get in. Whether it's through abusing a flaw in the router's WPS functionality or plain old brute force, it's not impossible for an attacker to get into your network.

From there a simple flood of ARP packets will allow the attacker to take over your network traffic and listen in on any unencrypted traffic, using the router admin password as an escalation within the network infrastructure.

Of course, such an attack is unrealistic in a home network scenario. It doesn't matter, because most consumer routers probably contain some unauthenticated RCE or authentication bypass anyway. Consumer routers aren't the most secure products and nearly every time a security researcher starts digging into their firmware, something spectacular comes out of it.
I see:

I, at least, wouldn't clamor for the merger of an Apple-owned Slack and iMessage.

The point being, people are conflating work messaging apps with personal messaging apps and acting like having unique versions of both is a problem. It's not.
Simple and boring really does win out in the end for getting stuff done.

In my podcast around running web apps in production I talked to 50+ different people deploying 50+ different apps with a bunch of different tech stacks and when I asked them their best tips, by far the most common answer was to keep things simple and boring.

The idea of introducing innovation tokens to situationally introduce new tech was also mentioned in a bunch of episodes. I was surprised at how many people knew about that concept. It was new to me the first time I heard it on the show and I've been building and deploying stuff for 20 years.

A full list of the 50+ best tips (and other takeaways from comparing notes between 50+ unique projects / deployments) can be found in this blog post: https://nickjanetakis.com/blog/talking-with-52-devs-about-bu...
A similar book to Concrete Semantics, which I love, is Formal Reasoning about Programs by the same group the OP link comes from: http://adam.chlipala.net/frap/frap_book.pdf

ML for the Working Programmer is written by Paulson, one of the main persons behind Isabelle, and ends up with a prover project: https://www.cl.cam.ac.uk/~lp15/MLbook/

Paulson teaches an undergrad course in Cambridge which is now using Huth & Ryan as a textbook. It's an incredible book that focuses on logic, SAT solvers and model checking. Probably the place to begin. An incomplete draft 2nd edition is in the authors website: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/tmp/Anongporn/Ch1+3.pdf

If you are interested in tableaux techniques, First-order Logic and Automated Theorem Proving by Fitting is a good text.

Personally, I think the place to start from is Huth & Ryan. Logic is the calculus of CS. Then progress to type theory using a book like TAPL by Pierce or Proofs and Types by Girard.

Then, depending on your interests, you can proceed to model checking, program analysis and theorem proving. For the first two, the classics are Katoen and Nielson & Nielson, respectively.
The ethnic untouchable caste burakumin who would work with cattle and leather were discriminated by almost every Buddhist sect.

I don't think most of the spirit of the religion comes from India directly. There's plenty of Sanskrit in the language but most ideas matriculated through Korean and Chinese schools of thought is my understanding.
As for the therapist, I can give some recommendations, because many people have difficulties with this and I can understand them. It is just necessary to refer to professionals and without that there is no way. But by the way, you don't have to go somewhere, you can even sit at home and get the necessary help. I already know how to achieve this. You just need to always address to professionals. This is a good option in fact. I already know, I have found an excellent therapy here https://calmerry.com/text-therapy/ . They have helped me a lot and I am sincerely grateful to them. I hope that it will be the same in the future. These are real professionals who know what to do and how to do it.
“We can’t afford to lose this person.” Managers love status and insight. If that’s not enough, improvement is not a primary goal, and likely it’s time to move on.