skysight-inc/HackerNews huggingface dataset:
> What percentage of coders do programming on a turing tape? Is this partial evidence that turing tapes are trash? Does that question even make sense?
Yes it is. Turing machine models are very limited, and a programme to let us achieve the things we can do with Turing machines (mainly runtime analysis) with a better model (i.e. a lambda-calculus style model) is a very good idea.

What you wrote is a different justification for why turing tapes are worse than lambda calculus. It has nothing to do with the number of people programming on turing tapes, which is the argument that I was responding to.
I could easily have used 'lambda calculus' instead of 'turing tape' above. Most people do not code in the lambda calculus. They write haskell or javascript or whatever.

It doesn't mean that the lambda calculus is trash.
Likewise, most mathematicians don't work directly with ZFC. Doesn't mean ZFC is trash.

> I'd be equally interested in a programme of doing metamathematics in some non-category-theoretic model that was still "normal" mathematics in the same way that category theory is (and ZFC isn't).

My point is that almost all pure math (e.g: linear algebra, topology, differential geometry, category theory, group theory) is already metamathematics. Of course, there is a spectrum of 'meta-ness' but I think this is a continuous spectrum. I do not think there is a well-defined division between 'mathematics' and 'metamathematics'.

For example, can you give an argument for why, say, the irrationality of sqrt(2) is not 'metamath', yet godel's incompleteness theorem is 'metamath'?
Blah Blah Blah: What to Do When Words Don't Work (2012)
I’m saying that it’s so vulnerable to codecs, “is” the flaw with Bluetooth. I’m happy you found a combination that works for you ... but what is the point of Bluetooth exactly if you can’t have good interoperability.

In fact, I wouldn’t be surprised if this issue was created just so there could be a “marketplace” for codec pedlars ...
Having different pay ranges for different countries still exposes Reddit to currency fluctuations.
I find at least zooming in/out large project files to be much faster in Figma. Lack of good offline workflow sucks but the overall features and cross-compatibility means nearly everyone is moving to Figma.

Sketch isn’t bad software at all, but they are really losing out to the network effects of Figma. Design software isn’t like IDEs where everyone in an organisation can use their favourite one - orgs choose design tooling that is shared across the whole design team, and often used by the FE devs too to some degree.

I feel a little sorry for Sketch but if they are not going cross-platform, at this point the only thing Sketch can do to remain at least a little bit relevant is to develop features Figma doesn’t have, maybe some animation tools and scripting for more interactive prototypes, and find a niche in that.
Voter registration websites are crashing locking out would-be voters
ClojureScript is much more mature
Only 36V, each pack has a BMS. It's basically spot welded 96 wh packs @ 36V with individual BMS. Works OK I guess but lots of wasted space and weight.
A few years ago I was on a team and the dev lead had a practice of sharing Gary Bernhardt's Boundaries talk every time there was some degree of rotation or churn on the team. Almost part of the onboarding. As a functional programming aficionado, I didn't need the sales pitch, but it was the presentation that was gripping.

Keep in mind, Ruby isn't a functional language, but here was this presenter describing essentially how you write good Haskell code, but in Ruby! A language that makes it so easy to mutate in place that it's known for libraries that "monkey patch" base classes and can change the definition of operators and functions at runtime!

Fantastic talk, fantastic presentation. I now share it with my new engineering colleagues too.

Here's the talk where he talks about imperative shell, functional core, "Boundaries": https://www.youtube.com/watch?v=yTkzNHF6rMs
Nice! Thanks for answering, at least it's something. Though as I recall, CRCs are not cryptographic hash functions.
Microsoft makes a browser but the point people are typically making here is that Edge is just a reskin of Chromium.
Equation of the Future
Population2=(AI+AR+neural_interface)pandemicrobotics=Matrix

It seems like debugging is in the process. The exponential population growth leads to the event where the elite gets a tremendous amount of control, and then bureaucracy grows. The echo of such authority sets the future direction for technology development:
AI -> AR -> Neural_Interface -> Robotics.

Here are some other things to take into consideration:
Artificial meat
Online education
Computer games
5g
Cloud computing
Starlink

No, it is not the end. Don't forget to add a couple of generations, the environment they grew up in, and, of course, pandemic to the before-mentioned technologies. Is there a chance for a similar picture described by Stanisław Lem in the "Futurological Congress" or by the Wachowskis to become our reality?

"Have you ever stood and stared at it, marveled at its beauty, its genius? Billions of people just living out their lives, oblivious..." Yes, the quote is from The Matrix, but I am talking about Solaris.

Who is having the same thoughts?
So the question is: if bitcoin replaces US dollar as an international currency, what would look it like today? According to some Google searches, there are 80 trillion dollars in the world. Total Bitcoin supply is 21 million. It means that 1 BTC would be valued around $3.8 million or 277 times more of its current valuation. Currently bitcoin eats around 7.46 GW, so it'll become 2 TW. Current world energy consumption is 157 TW.

So that's a rough estimate upper bound if Bitcoin would become our civilization currency of choice: 1.2% of total energy spent.

Not the end of the world, if you ask me.
Perhaps it's because customer support nowadays works in tiers, much like Technical support does ( https://en.wikipedia.org/wiki/Technical_support#Multi-tiered... )?

The people that link you to those help articles are doing so because they simply can't do anything else but to escalate - they simply don't know about the inner workings of the system and don't have the permissions to change the data in it.

Whereas the developers/maintainers who could do it would be overcome with thousands of such mundane requests to fix the data in some geospatial database, that they can't be bothered to do. Perhaps Uber doesn't even maintain the dataset for addresses themselves either, and is using a service from someone else, like Google.

This kind of makes you think that in this complexity of distributed, scalable systems with microservices, message queues and other systems, eventually the complexity will be too much to actually understand and maintain - be it because of a low bus factor and people leaving due to churn rate, or extremely high effort needed for maintenance.
> - CSS is worked on by CSSWG

The CSS WG is a W3C WG, and they're very much published as W3C specifications.
If we’re talking about the same extra added content (while I’ve not tested extensively) it seemed to be browser-specific: it happened in Firefox but not in Safari, for me.
See also that there are comparatively few maintainers, despite having a large amount of up to date packages.

This is the result of treating a distro as a software problem, versus the manual processes used in Debian, for example.
I’m almost 60, lots of various technical experience in my 40 year programming career. I’m busier than ever with freelance work.

Don’t try to join startups or cool SV companies unless you have an inside track. Their recruiting and hiring practices are mostly geared to ensure “culture fit.” That’s code for young single male who will work 12 hrs/day and think free beer and pizza makes it cool.

Focus on measurable accomplishments rather than languages, frameworks, tech buzzwords.

Learn to solve business problems rather than “engineering problems.” No one needs 2,000 more lines of Javascript. Lots of companies need business problems addressed.

If you’re applying for jobs you’re hobbling yourself. If you have years or decades of experience you should have a large network of colleagues to get leads and jobs from.
"There is not much left for a Web browser to cover" - this reminded me of the famous "physics is mostly complete at this point."

Web (browser) is the only cross-platform operating system, even if some standards say otherwise. I'm sure we'll see docker-style virtual web environments, cross-machine abstractions to simulate datacenters for distributed computing (GPU and such), PWA-style webapps bootable from USB sticks and functioning as operating systems, various crazy extensions for the upcoming neuralink-style tech, virtual reality frameworks, holographic displays and so on and so forth.

Physics is never complete at any point.
Ty for posting the link. The TedTalks video nicely summarises the ideas from his book, which I've mentioned.
Yes crazy speed. I use this thing since roughly 10 years, and used 3Dsmax and Maya before and parallel to using Blender (I work as a freelancer in the field).

Blender had more and bigger updates at a faster pace than any of the programs I used in the past decade. This includes commercial software as well.

And surprisingly there was never a single update that broke something for me or that. Most of the time it was more like: "Remember that thing that took you half a week to render? That now got 10% faster, because magic".

The commercial past of Blender doesn't really play that big of a role other than the very efficient binary file format it gave us.
When you host the world's most dangerous place, the definition of civil war has to be rewritten.

I had classmates from Swat, very beautiful but considered the most dangerous place on earth. They said they have never seen violence, not seeing does not mean it does not exist. The most dangerous violence is one that can not be seen.

Pakistan is a country owned by the army, political assassinations are common place.

The use of religion radicalism to rally around the army is also common, first against Hindus & Sikhs, then Ahmedias and now against Shias.

Extreme violence seems pretty normal, Osama Bin Laden wasn't the only terrorist head living in plain sight in Pakistan. It is the HQ and training grounds of numerous terror groups.

Pakistan is fertile and blessed with natural beauty, their history is thousands of years old, unfortunately radical islam is squeezing the country down the drain.
> "What is the value of work?", and the answer is that it enables your leisure time.

I think that is false. Enabling your leisure is not the sole value of work.

The GP said:

>> I know I could be [...] volunteering my time on a political campaign I believe in, or working to feed the homeless

Those are work too. If you are a certain kind of person, you do those things and value them, and they don't enable your leisure time, indeed they reduce it.

I don't think it's for fun either. Another commenter said:

>>> the number one reason I spend my time there—by far—is because it was fun

It was fun for them, but I know people who do volunteer work to help others who don't find it fun, but do it because they think it is right or essential to do anyway.

I think most people do some kinds of work which is not for the sole purpose of enabling their leisure time, at some time in their lives.

For example every key worker (nurse etc) who feels underpaid but remains in the job because they feel it is a good thing to do. Every unpaid carer of their parents. Every volunteer who delivers food to others during pandemic even when they have become fed up of doing so.
The New York Times' first article about Hitler's rise is stunning
No it's the opposite: Windows is a functioning spyware.
I’m failing to see how handing a key to someone along with the address to the door it unlocks communicates any intent about that someone to unlock the door with his left hand only, and never with his right one.

Now, if they had designed a system where the key could only be operated once/for a given timeframe from a specific left hand glove, then the intent would be clear (IOW DRM container like widevine or fairplay). But the intent of making it from cumbersome to impossible for right handed, broken armed, or disabled people, or just missed the bus and being late, to use the key would be very clear also.

What’s clear to me from this overall SNAFU is that they’re after the eyeballs. The content only matters as an eyeball attractor.

I’m wondering if in the EU youtube-dl could fall under protection for interoperability.
In CA scandal the data collected was about users.

Here data is collected about what Facebook does, what a corporation does.

They don't seem similar.
Did Microsoft really fix it? Or it pulled of an IBM and just pivoted into enterprise offerings like Azure.

Can't remember when was the last time Microsoft pulled off a new successful consumer ready product or significantly improved an existing one.
Same thing happens when you change the payment details on Amazon’s one click payment process. I have a household joint account card and a personal card that I use both a lot, tapping the right card or not the back button is extremely difficult because they dance for a bit before settling.

* I use the iPhone app
True, but can you imagine the look on the president's face after he hacked someone's chest open to find out that was the code?
sounds to me like they dont want to be held accountable by a third party.
Here's your writing prompt for today:

Meanwhile, in the Kremlin ...
> The looping issue is because modelling it - that is, giving it clear and simple formal semantics - was not trivial.

Literally hundreds of programming languages have loops without unnecessary and random constraints

> The single-point of exit stuff is also there for the same reason.

The same reason of what exactly?

> I'd agree that it's possibly not a good choice given the alternatives if you are doing non-verified code

At what point Oberon code becomes verified?

> If you think you can do better then go ahead.

I realise that you haven't left Wirth's lab for the past 30 years, but there are hundreds of programming languages. Go ahead, you'll learn a lot.
>Modern Egyptians have almost no dna connection to ancient Egyptians.

That's just false. Modern Egyptians are quite clearly and cleanly descended from Bronze Age Egyptians. There's quite a bit of African and Arabic input, but not to the point of the population being unrecognizable.

It's nearly impossible to replace a settled, agricultural population with immigration. There needs to be active, systemic policy of ethnic purge.

It would be a fair point to say they have little to no cultural connection to pre-Islamic Egypt, but bringing genetic into the mix is specious.
With full support for Unicode! And contrarily to the Mesopotamian tablet, the calculator app supports base 10!
Does anyone here have any idea of the percentage of Covid related fatalities that DON'T make it to the hospital before death? Asking here since HN is filled with people of erudition. And because am not a medical researcher and have no idea where they hang out.
ads is literally destroying internet and these ads company are milking so much profit and we cannot do anything otherthan using adblocker and firefox :(
Cats can count to much more than two. If there are treats on a shelf and our older cat knocks them down, she'll remember how many hit the floor (from the sound) and then not stop looking for them until she's found that many. I suspect being able to keep track of distinct objects is useful when hunting if multiple small prey animals disperse in order to confuse the predator.
Says the ex-Reddit employee :)
Just to clarify, there are many Cortex-M* based Arduino or Arduino compatible boards. There's official Arduino-SAMD BSP support, though they do lack the depth of features, like Timers and such. Though it seems 8-bit procs are still common for super cheap MCU's.
I can’t speak for OP but doesn’t office365 have some sort of versioning mechanism for documents? Through share point or teams or something?
Apollo Telehealth – Telehealth Services in India
Apollo TeleHealth provides the best telehealth services in India. Apollo TeleHealth specializes in integrated healthcare delivery to provide telehealth & emergency services.
Likes more like a list of names to avoid for me. Manager, handler, controller, and service add little to no information. I try to find more specific verbs instead.

Distributor is a better one sometimes. For example, ConnectionDistributor instead of ConnectionManager if it accepts connections and distributes them to a thread pool.
> think a thousand times before you name something

I gave up .... I write mostly in languages that allow you to deterministically rename things with refactoring tools, so I frequently rename important classes 5 or 6 times before I'm done.
Wish they were stable first. There is undefined and buggy behavior, e.g. sub pixel scrolling, scroll container padding etc.
> Sushi didn’t magically come into existence across all of Japan simultaneously.

Welp. It didn't even originate in Japan specifically.

https://en.wikipedia.org/wiki/History_of_sushi
To me, a software architecture is an implementation of the decisions made (amongst competing choices) in meeting its requirements, both functional and non-functional.

I simply don't find the article to provide a grand unified theory across different genres of software at all. What worries me is that newcomers to the industry will, until they move to the next discovered silver bullet unified theory.
I don't think that is what it is saying:

https://www.healthline.com/health/mental-health/sociopath#di...
They probably got Bezos' classic "?" email.
Even if technology allows the extension of life, death is still inevitable for us all.

There is no future in which we will overcome death because we can’t overcome the second law of thermodynamics.

That’s a hell of a thing to know and so many people either ignore it or are crushed by it.

Whole religions are based around dealing with it.

My only advice is don’t live in a dream that technology will save us. Do everything now while you can. Pass on what you can while you can.
Between IE and the current Chromium-based Edge browser, was born, lived, and died another browser engine named EdgeHTML.

IE was 2 browser families ago from Microsoft.
Something something one basket.
DNS Trends
They are easy enough to tell apart when you look at them full size on a desktop monitor. But when you have a couple google services open in different browser tabs, well now those very similar icons are pretty annoying to tell apart as 32x32 .ico
I think a better analogy is: Handing someone a key to unlock a door to watch an artwork and then taking the (a copy of, a photo of) artwork with you.

You can see the Mona Lisa but you cannot take a photo of the Mona Lisa without previous consent of the Louvre.
My 10 year old self spent many many hours chatting with "internet friends" using PowWow..

It's the only chat that I can think of that communicated in a continuous stream of characters... your messages were sent letter by letter as you typed them, not all at once after you hit 'enter'. It made slow typers painfully obvious.

I remember being able to play audio clips in the chat that others could hear as well.. This was also around the same time that MP3s started to be used and passed around. What a magical time.
We're on the wrong side of the curve of history for something like that to happen in the US--or anywhere else where it isn't already in place. Social Darwinism has been the fashion for 40 years now, and it's not going anywhere.
Maybe beeing healthy and able to go outdoors reduces all-cause hospitalization (apart from accidents)
I just don't get the impression OP is even aware there are groups in existence working on web standards apart from W3C.
Check out French sports retailer Decathlon, which landed in Australia a few years ago and is already making waves. Karabiners start from $12:

https://decathlon.com.au/collections/climbing-karabiners-qui...
Cats, I find, to be comfortable exactly where they are - wherever they might be.

I have two cats. I strongly believe the only reason why they sometimes freak out (eg: when hungry) is because they know that I am someone who is susceptible to freaking out. And they seem to know that freaking out will evoke a hurried response from me.

I have cameras at home, and I monitor them. They look absolutely calm and comfortable until the moment I step through the door.
‘“I was a superspreader, it pains me to say, but that’s what I was,” one air marshal who became infected with COVID-19 told Yahoo News.’
—fta
Yes, functional spyware with broken UI. A dark mode explorer window is drawn in light mode for a split second and then painted black. It's ridiculous.
Detection of phosphine in Venus might be due to a fluke in data processing
> there is not much more
distance to cover [relative to native toolkits]

As I see it, the web as originally conceived was "ready" around 2003, and then again around 2009 when CSS media queries became mainstream to adapt to mobile usage. For me, the excessive push for browser APIs as a desktop replacement since then, and the proliferation of frameworks is a generational thing, driven not by technology but by big data, SaaS (prospect of extracting recurring revenue from customers, rather than one-time license fees), and a new generation of developers getting into the game by leaving the status quo behind, solely for their own economical benefit. Google has masterfully played this game, and let the idea of open web standards bend the minds of developers who thought they were clever. Moz partnering with them under WHATWG seemed like a good idea at the time, but just made the concept of a web standard arbitrary and "whatever Chrome does" over time, leading to Moz's demise and that of every other "browser vendor".

It'll take some stance and political will to reclaim the web.
Build a blog in less than 20 minutes – Django video tutorial
For such a one-sided article, I came down rather on the other side. A dozen warnings that he needed to claim his stuff before it was destroyed. The evidence of authenticity was illegible. At least four customers complained that the merchandise was not authentic. If he had paid to have his stuff returned, he'd only be out the cost of shipping whatever hadn't been sold. And this is just what I learned from an article from HIS point of view.
Anyone remember "LOL Chat" from the same era?

https://web.archive.org/web/19971211123130/http://www.lolcha...

> Each person you chat with has their own window, and you see each character as it's typed, rather than line-by-line.
The fact that we're comparing a type of software to a school of science speaks volumes
They must have calculated they can't survive at their current ad impression rates, hence the forcing people onto their app at literally any cost these days.

It wouldn't be as much of a problem if the app actually worked well, but it doesn't
Pure functions can also easily be memoized which can speed up processing.
They seem heavily involved in taming the darker corners of the site, to make it friendlier to advertisers.

I also found the global moderation surprisingly efficient. I got a few official replies about actions on content I reported. They seem interested in banning really bad users.

They also try really hard to replace private messages with the chat box, which seemingly doesn't work in third party apps. They added badges, friends and other game elements.

Reddit is trying to become a product for advertisers. It's pretty obvious to me.
There is no consensus about the definition of software architecture. http://beza1e1.tuxen.de/definitions_software_architecture.ht...