skysight-inc/HackerNews huggingface dataset:
There's a story about when Gauss was a kid - a teacher asked the class to add up all the numbers between 1 and 100. Most kids licked their pencils and started working out the sum the hard way. Gauss immediately intuited that 0 could be paired with 100, 1 could be paired with 99, 2 could be paired with 98... and the total was obvious.

That kind of Gauss-level insight doesn't seem to be about properties so much as about understanding the relationships that define a domain - and being able to view problems in a kind of conceptual relationship space which can generate insights that massively simplify simple problems, and make harder problems tractable at all.

I remember school math was mostly rote learning, but some problems required that creative insight. Academic math seems to lean more heavily on creative insights.

Software dev is similar. You can always do things the hard way, but it takes a certain kind of insight to see time-saving shortcuts and simplifications that cut right to the heart of a problem. I suspect some people have a natural talent for that insight, while others are more likely to take the long way to a solution.
And here the wayland people were telling us a few months back that X11 was dead and no longer updated!
Covid-19 down in 24 counties with mask mandates, up in 81 counties without
I used to run Arch (2011-2014ish) on a personal server. I'd generally go a few months without updates, and large batches of updates were often painful, requiring manual steps... like the move to systemd, merging /bin and /usr/bin, and others I've forgot.

I have also had update issues with Ubuntu. There was a bug with Ubuntu 20.04 where a server would lose its default route when it had multiple network interfaces. And another bug where, after an update, network interfaces were renamed on a reboot rendering the server inaccessible. Is having a server with more than one network interface that unusual?

I have yet to find a distribution where updates are not problematic.
Downvoters can take their complaints to tptacek. If experts won’t touch it, neither should you.
We’ve done that: executive team, product owners, and managers. It was only for teams in a particular area of our product. System stability became a funded project.
You can minimize the effects of eventual consistency by distinguishing the distant replicas from the same-datacenter ones. Cross datacenter/region might be eventually consistent, but you will only see it rarely since the same-datacenter replicas are fully consistent with each other.

The main downside is that you have to pick one datacenter as the main datacenter at any given time. This can change if the old one goes down or due to business needs, but you can't have two of them as the main datacenter at once for a given dataset.
Phoronix M1 ARM Performance with a 2020 Mac Mini
The reason Google is requiring you to have JavaScript enabled, potentially opening you up to running malicious code, is because they want to use feature detection to prevent people from using competitors' Google-unapproved browsers.
Files are a good abstraction to start from.

But to be honest, persistence & durability of data are the goal of Storage and thus what the filesystem API needs to be designed for.

The API needs to clearly be designed for atomicity, durability & to allow coordination across multi-file structures.

This can be achieved by either 1) indicating all required synchronizations to callers in metadata, or 2) fully encapsulating durability by making the API atomically commit every operation.

I don't agree these factors should be hidden, since a losing/ corrupting data are fundamentally at odds with the goals of a Storage API.

It's not just SQLite, any application needing to maintain a datastore needs reliable storage.
Right, because you don't double up the two front wheels which are used for steering. I suspect that more weight is put on the rear and trailer axles than the front as well, and that two tires in close proximity aren't as good as two tires separated by greater distance. So even 1000x is probably optimistic.

My main point though is just that the study happened to use truck axles as a measurement and that can't blindly be substituted for car axles. The back of the napkin math is just there to show the difference it can potentially make.
> Exec Y’s schedule for the next month rules everything out besides next Tuesday at 6am.

Eh? My schedule for the month rules out anything before 9am.

I guess we’re not going to have that meeting then unless Mr exec thinks it’s more important than something else on his schedule (which is healthy anyway, he shouldn’t have to wake up at 6 any more than you do.)
Not enormously. The biggest difference is Hasuras console, which Postgraphile lacks. However I don't really see that as an advantage in favour of Hasura, postgraphile + graphile-worker + graphile-migrate (all by the same author) has worked so much better for me than Hasura.
The only issue I am taking with your comment is to think that I am "whining", like I am just waiting for everyone else to respond to my plea. I've done this idea of taking SASS mixins from both materialize.css and Bootstrap already for two different projects and partially for the communick website.

I think it's actually easy to do it. It can be laborious, but not hard. And even the labor is something that can/should be done only once. So the only justification that I can find to not have this as a more widely adopted practice is that using utility classes is "easier" to get started. Coupled with the fact that most people don't care about making their components "portable" between different designs, and we end up with this local maximum.
“scraping fleets from public accounts without triggering the read notification”
I find this very hopeful, as I feel that presentation should be a first-class consideration for these sorts of tools.

Math is something that happens in the human mind. It doesn't matter if the machine is uncovering the secrets of the Universe if no one can ever appreciate them, eh? I was explaining this to my sister this afternoon and to make the point I picked up a sliderule and slid the slipstick back and forth while pointedly not looking at the thing and asked her, "Am I doing math right now?"

- - - -

I'm trying to put together a simple, easy (relatively) to understand "stack" for this, starting with the theorem provers of Jens Otten: http://jens-otten.de/provers.html

(See also "How to Build an Automated Theorem Prover" http://www.jens-otten.de/tutorial_tableaux19/ )

Prolog is a very simple language, the theorem provers are only a dozen lines of code or so, and the sequent calculus prover at least generates proofs that I personally find easy to follow.

It doesn't go very far yet, but it's a start.

Any information on formal methods and automated theorem proving would be much appreciated.

(along the lines of:

Concrete Semantics
https://news.ycombinator.com/item?id=22074483

Metamath Zero, a bootstrapping theorem prover
https://news.ycombinator.com/item?id=21358674

The Future of Mathematics? [video]
https://news.ycombinator.com/item?id=21200721

"Building the Mathematical Library of the Future"
https://news.ycombinator.com/item?id=25060613
Kind of want to leave anyway if the only way to retain influence is to go to 6am meetings.
I personally believe that browsers will eventually be forced to turn off CA verification (by default) of local network traffic (reserved IP spaces and the .local TLD) in non-enterprise browsers.

Enterprise browsers will no doubt continue to perform CA verification by default, and I expect a preference will be offered to let home users (rare) and enterprise profile management (common) override this to enable/disable as needed for whatever custom localnet definition they require.

No other solution can work here, as by definition anything in localnet can neither be verified by an external entity nor issued in any trustable or permissible manner that is resilient enough for home users to configure, navigate, and manage on their own.

This is a predictable outcome of HTTPS Everywhere, and all major browsers have chosen to not yet deliver this for simple https://whatever.local requests, as tested in each of them today. While technically local network traffic might need as urgently need to necessarily be HTTPS to keep users safe in a home scenario, browsers further narrow the list of HTTP-offered features each year, and with the advent of HTTP/2 and HTTP/3 requiring mandatory TLS, the ancient status quo that's being delivered no longer meets the needs of modern networked homes.

I encourage the major browsers to step up and define their direction forward in coordination with each other, so that further wreckage is not introduced into the home networking ecosystem. The lack of progress here is indirectly harming users by teaching them that "http:// is fine if something says it is"; as is well understood, the judgement of whether to wire-encrypt or not cannot (by default) be entrusted to end users following instructions.

If there are existing discussions underway by any of the major browsers, I'd love an opportunity to learn more about them from links or stories shared in this discussion.
On an individual level perhaps so but probably not when you consider the number of cars vs the number of heavy transports.
EasyDNS.

It's been around since 1998 and is a founder-owned company, and the founder wrote the book on managing mission-critical domains:

https://www.amazon.com/Managing-Mission-Critical-Demystifyin...

And they do offer registry lock (on a limited number of TLD's.)
>"This, and it also subsidizes people’s decisions to live far away from where they work and commute by car every day."

Hence greatly increasing chances of finding better or any employment and at least partially reducing pressure employers can come up with.

...
You load sixteen tons, what do you get?
Another day older and deeper in debt
Saint Peter don't you call me 'cause I can't go
I owe my soul to the company store
...
That's still surprisingly high.
I would only like to add that the US population was only around 100m around 1920, and travel would have been much more limited. But overall I agree that the worldwide handling in 2020 has been sobering.
The Truth About the Education System and School
Before, it stated that the company must not be evil. Now, it is for the employees not to be evil somewhere in the end. In the meantime, if you are high up the management ladder, you can fuck the subordinates and get away with millions.
Did that too, but it only works while in the office since the VPN software disallows connecting from a Linux machine.
You could make all vehicles pay road usage tax, keep charging fuel tax and use the latter to subsidize fuel efficient vehicles. It doesn't solve the question of how to make that palatable to the majority of people who can't afford an EV, though, even with subsidies.
I didn't say optimizing code doesn't work or does not yield speed-ups.

In fact I am optimizing my own code, too.

But I only get ~10% speedup, tops. Because perf is decided at the design level, in the architecture, data structures and algorithms. In fact, if you get massive speedups in your optimization phase, I would view that as a sign that your process has issues. There should not be that much potential left after you wrote the code down.

Elite fit on one floppy disk. Do you think they got there by taking a slow implementation and optimizing it?

Have you ever used Turbo Pascal? You think you could get that kind of speed by taking an existing pascal compiler and optimizing it a bit?
> the worst that can happen is the company is down for a few hours overnight

I think this is a great example of why disagreements arise on HN: different world experiences and base assumptions. For many companies, being unavailable for that window of time would be catastrophic. We had one client that suffered about an hour of downtime (turned out to be their issue). They accounted that hour for 5 million dollars lost.
> You keep talking about domain models and views as though domain models aren't written as well as read.

Views can be writable (views with non-trivial relations to base tables require explicit specification of what behavior to execute on writes through triggers, but that's obviously true of classical domain models, too.)
Implementing the tax now makes sense because it brings ICE and EV into alignment now, while usage is relatively low, rather than suddenly introducing a tax down the proverbial road.

To incentive switching the government has other policy tools at their disposal, such as a one-off subsidy at purchase time.
> SQL itself is not the greatest programming language

SQL has been the biggest flaw in this stack for me. I love using PostgREST/Postgraphile et al, but actually writing the SQL is just... eh. Maybe (lets hope) EdgeDB's EdgeQL or something similar could rectify this. The same Postgres core database and introspection for Postg{REST,raphile} but with a much improved devx
I started my first programming job at 28. Before that I did computer repairs and support. Starting that job was the first time I experienced still thinking about work, outside of work.

In a lot of jobs, your thoughts are free to wonder and you can think about whatever you feel like, whilst also working. Not so in software development, to do a good job your thoughts must only be about the task in hand and those thoughts can persist long after the task is over.
Good to hear that rumors of X11's demise have been exaggerated.
It meshes nicely for Google, because they want to use feature detection to detect whether you're using a Google-approved browser and not a competitor's unapproved browser.

This is why they state that JavaScript must be enabled, because that's how they do feature detection:

> The browser must have JavaScript enabled.
I've built my own very primitive tracker. PHP on server and a bit of java-script and IMG tag on client. Very simple and works just as well as Plausible and better than Goatcounter (compared the three on same site).
If you go for server logs you need ways to discount bots and other scripts. Probably discount foreign traffic depending on the intended audience - this works well for me in a small european country.
> Sure, you can 'just' stick to the negative fragment, but that 'just' is sweeping a lot of questions of ergonomics under the rug.

With all due respect, that seems a bit vague to me. What are the "questions of ergonomics" you're thinking of here? Choosing the negative form of a goal whenever you have to prove something non-constructively seems even easier ergonomically than, e.g. adding LEM as an axiom. You basically don't have to change your proof methods as long as the statement you're proving is of the appropriate form.
and yet in this context, you'd still miss the co-working office. They're gone too.
This is merely for the library and not the same as the server implementation. Wayland and wlroots receive much more frequent updates.
Is all of this an arms race around the question "is that a human at the other end of the connection?"

And if so, can that be solved by the proposed approach of gradually narrowing the requirements for supported clients?
Don't be so smug. Just because you don't like social interaction doesn't mean everyone else is an introvert.
Second for gandi - I had very good experience with them, although prices are a bit higher than namecheap or porkbun.
I'm sure Wayland will dominate eventually once they iron out the links, but for me X11 runs light and fast on all my outdated hardware, and that's all I really want
Those aren't particularly Rust specific, except when Rust constructs make those things easier/ harder, which is how they're brought up.

Someone could explain things like cache via Rust, but the information is language agnostic, whereas this book is very much Rust specific.
I think this statement is exaggerated.
Who says all? I’m just pointing out that there can be economic incentives for improving bicycle infrastructure.

That isn’t an original idea. See for example https://www.vabike.org/vehicle-weight-and-road-damage/ (2009)

Also, if in Google “50 ton 5-axle truck” I get trucks that I rarely see on roads in Europe. Reading https://www.jpisla.es/resources/Download+JPIsla+20130106+Pes..., that’s because t most countries don’t allow them on roads.
This is the libx11 client library, not the Xorg server, which was the thing discussed in the deprecation posts.
You're completely missing his point. It's not the exact same thing. If I made a million a year as a company owner or shareholder (ignoring tax evasion schemes) I would receive a salary or dividends (ignoring choosing to hold it alone) then reinvest that money into other assets. That can be effectively an instant transfer. I don't lose any money because my capital is in interest-adjusting money earning places, rather than sitting in accont become ever less valuable. The system has some merits but in the end it's not a tax on the rich (who would minimize cash savings) or the poor (who, unfortunately, by definition have no capability to amass any) but instead on the middle class.

I'd argue that's far, far less fair than standard progressive income taxes.
Strange, I feel the opposite, just because of the medium that books tend to be written in - ink.

To me a book has chapters, sequence, etc.
I think you misunderstand what the road tax (or any other tax) is for.

There are three main reasons for a tax to exist:

1. To bring revenue

2. To create incentive

3. Social justice (or illusion of it)

Revenue from a specific tax is almost never used for a specific purpose. All revenue goes into a large bin from which the government takes to finance everything.

Revenue from fuel/road tax is not used to finance building roads. Infrastructure is financed from budget or by private companies who then can impose tolls on road users.

Fuel tax (besides obvious goal of creating revenue) is there to create incentive to drive less and to drive more efficiently (using less fuel). This is not to preserve roads but rather to preserve capacity and environment.

I can only assume that tax on electric vehicles is as a response to increasing use of EVs. Initially, EVs were exempted from taxes to create incentive to use them more. Now that it is pretty clear EVs took off and will be widespread no matter what, some countries start to remove those exemptions to ensure continuing revenue stream.
If there's going to be some automated mechanism for newbies that effectively involves phoning-home or having some external centralized dependency at run time (even if it's only DNS requests), then I'd like that to be optional, including in the official builds.

One of the reasons I run OpenWrt is to avoid some of the undesirable crud of commercially-packaged routers. And the crud is getting much worse, especially with convergence with IoT, where there are conventions of often gratuitous (lazy and/or predatory) centralized dependencies.

OpenWrt seems to have a good amount of civic-minded volunteers using it, not only driven by router manufacturers doing versions for their devices (where there are a lot of unfortunate commercial pressures to grab all the intimate data they can, create dependency/engagement/subscriptions/etc.). So I suspect there are others who are reluctant to do this like a move-fast-and-break-things conventional IoT play, even if that can be convenient in some ways.

Personally, for now, I currently just make my own self-signed TLS cert for the OpenWrt router's Web admin console. Longer-term, I want to make a dedicated hardware console for it. I don't expect everyone to do that, though, but I can imagine reasonably usable near-term solutions for bootstrapping a self-signed cert, integrated with the existing OpenWrt first-time config procedures, which would be easier than the bigger barrier of first-time firmware installing on a lot of the devices.
A nice method I've found (and seems popular) is to use unsafe but use a debug_assert!. That way your tests will fail loudly if you hit the assertion, but you won't take a hit in production.
Agreed. I like to get work done and not procrastinate. Pre-Covid I would go to meet ups or play basketball to socialize.

Besides I don't necessary trust people at work, so I don't see a much need to be socializing.
I've been on record here for as long as I can remember saying something similar in defense of Apple's laptops, and I've done something similar to you in buying (usually cheap ex-lease) Windows machines every year or two to try them out, but I wouldn't go so far as to say Macs are superior in "every way".

Typically with an Apple device, except for the butterfly keyboards, you could be reasonably sure that all the interaction points were at least mostly decent - display, inputs, speakers microphone, charger, system noise (fan and electrical). You could also be sure that the inbuilt feature set such as WiFi, Bluetooth, Thunderbolt, USB (USB3 was a clusterf... on PCs in the early days), even charging would work reasonably reliably.

The other nice thing about Apple's laptops for a long time has been longevity of batteries - Apple were the first manufacturer to move to 500 cycle batteries with the 2008 Unibodies, and then 1000 cycle batteries later on. Additionally, they have pretty good charging algorithms to preserve battery life over the long term - not something that is the case with many other brands.

However, I think Apple have regressed on some of these fronts since 2015 (maybe they'll redeem themselves with the M1). The touchbar and T2 have been notorious for strange issues. The USB-C only setup has been both obnoxious for anyone who ever needs to use a Type A device, and notorious for strange issues such as heat generation when charging from the "wrong" side - a clear step backwards from MagSafe. The quality of their machines has suffered with the butterfly keyboard, flexgate, less robust internals (see Louis Rossmann for more details!), and anaemic cooling (one of the most impressive things about the original retina MBP was the improvement in the cooling system for sustained performance vs the thicker unibody). MacOS itself also declined in quality somewhat obviously since somewhere around Snow Leopard, with mere flashes of brilliance inbetween since then.

At the same time, Windows 10 has improved dramatically and is now solidly Microsoft's best OS since Windows 7, beating even that OS out in many ways. And, while I don't think the PC laptops have caught up, many of them are now within firing range of Apple devices - certainly close enough that in many cases, for the few that actually get all the touchpoints right, they offer an experience that isn't too far away from the best Mac experience I've had.
Huh. I never thought about this. Some companies will ship you monitors and such, but you're right, a huge amount of cost has shifted to the worker. You now have to heat and cool your home for the entire day.
Bodies of man and his slave unearthed from ashes at Pompeii
1 in 4 Americans are jobless or earning poverty-level wages, new study finds
> We mailed customers USB drives-

This would be a non starter for any security conscious client.
Addendum: I'm not asking for entire PDFs or whatever, but at least short excerpts would be nice.

I'm not currently in the position to buy anything, but I appreciate the suggestions.
Buy Medicinal Weed Online at GooWonderLand
GooWonderLand is The Best Online Dispensary USA, offers you top shelf cannabis flowers, fresh edibles, potent concentrates, topicals and tinctures, vaporizers, and CBD products delivered right to your door discreetly. Choose from the wide variety of Indica, Sativa, and Hybrid medicinal cannabis in store!
Go right ahead and consider, and even promote, another option.

That's not what I have been seeing here. What I have been seeing is promotion of doing nothing at all, simply because the option being presented isn't perfect.
There are three, Webkit, Blink, and Gecko. Blink is a Webkit derivative but they've been developed separately for years now.
i guess supabase.io also counts? since they bundle postgrest and have an admin UI