skysight-inc/HackerNews huggingface dataset:
I think I have a half-baked understanding of what's going on here. Let me talk through it.

Take a function f : unit_interval -> bool. I believe that if there is no bound on the execution time of f, then f must not be a total function. (So conversely, if f is total, then it has bounded execution time, and is therefore only considering prefixes of the digit streams of up to some bounded length. From there, searching for an example input x s.t. f(x) = true is easy.)

Naively, it would seem plausible that there exists a total function which, nevertheless, takes longer and longer to run on a particular sequence of inputs. So let such a sequence be given, where the runtime of f(x_i) tends to infinity, even though it is finite for each x_i.

But from topology, we know that a sequence of points in a compact space, like the unit interval, has a convergent subsequence. The interesting thing happens when you look at f(y) where y is the limit point of such a subsequence. It is the case that as i increases, x_i and y increasingly look the same for longer and longer prefixes of their decimal (binary) expansions. Therefore, f has to do more and more work to tell apart x_i and y, which gives us an argument that there is no bound on the runtime of f(y); i.e., f doesn't terminate for that particular input. (Except, you have to get nitpicky about redundant representations of reals like 0.0099999... vs 0.010000..., but we can always choose the representation of y that suits us: the one that looks more like the x_i's.)
Pwa's are not a replacement for electron, and can't be. Either you sandbox for security, or you don't.

Pwas are for apps wherein their functionality is entirely web based, and people just want an icon for it.
The real treasure of akshayr.me:

https://akshayr.me/snoop/
If you don't assume the internal wiring is as described I do not think there is a way for you to guarantee the microphone is not recording. It's even less obvious than a camera lens being covered or not, and taping over the "microphone hole" won't actually block receiving sound at all.

I do physically disconnect or cover cameras. My desktop computer has no microphone unless I plug one in. Laptop and phone though? I definitely remember in the aughts that the police could remotely turn your phone into a bug without any user indication at all. To the best of my knowledge the only way to actually be sure you aren't being recorded with your own equipment is to remove power... of course now the batteries are soldered on, totally a coincidence I'm sure.
I see a lot of brainstorming sessions out together to "make people feel good", and after you attend the same brainstorming session for the fifth time and see through the ruse it is like finding out Santa Claus isn't real but you are going to be forced to bake cookies for him over and over again knowing full well it is all going in the trash at the end of the day... at some point doing things to make people "feel good" when you know it is a lie is just being evil. Imagine if a doctor just started prescribing snake oil to everyone and it was being defended as "but at least it makes everyone feel good".
The opposite is true, as well: You attract the people who you're more likely to get along with.

A similar thing is said about guys with long hair (or any fashion/appearance niche): Not everyone prefers it, but for the ones who do, you're in short supply.
https://www.theregister.com/2020/07/10/digicert_pulls_certs/
> TikTok has a reputation for being popular with teens. And it is: 27% of its users are between 13-17 years old. But internal data from March 2019 shows that its largest age demographic (42%) is the young adult crowd.

https://blog.hootsuite.com/tiktok-stats/#:~:text=TikTok%20ha....

It looks like the median user is 18-24... but that's still quite young compared to "tv news" watcher where the median age is around 60.

https://capitolcommunicator.com/nielsen-provides-data-on-med...
Stitch labs slag off ERP a lot. What're your thoughts on NetSuite? I know lots of fast growing companies that use it.
A reasonable default in a password-only case would be to ask you for you new and old password, so of course they should ask for your 2FA if you want to remove it, unless you think 2FA is useless.
Each person who voices an opinion is a real value and a real data point. What Microsoft is doing may look like a science but they are not asking the right questions so they get misleading results.

Reminds me of when facebook pushed autoplaying ads. A/B metrics when through the roof. Sales never saw so much engagement. Every slapping each other on the back. Ask a user they didn't understand what was happening, there was a fear that was introduced around scrolling your own feed.

Science is great but only attempts to answers the questions you give it.
Trump commutes Roger Stone's sentence
This is a great point.

This could be solved in software at the OS-level with a permission dialog that popped up every time the camera was asked to be activated (as opposed to an ongoing website permission). Which would be overly annoying for most, but appreciated by a privacy-conscious minority.

But unless Apple ever did that (doubtful), once you see the green light it's already too late.

It does make me wonder if something like that could ever be done with a kernel extension or similar?
If curious see also

2015 https://news.ycombinator.com/item?id=10575626
On an Interstellar Flight, Language Itself Would Evolve
Answers along the lines of "here's a start" are unsatisfying, because the question is where the end is. It's like asking what the ingredients for a loaf of bread are and hearing "well a tablespoon of flour is a start".

I'm not aware of any scholar who's said "after we do X, Y, Z, the wrongs of history will be righted and we won't need any further efforts to make it up to Native Americans". (If you know someone who did, I'd be excited to see what they have to say!)
Yep. When the Saudi government wanted to persecute dissidents and journalists, they went to the service providers to get compromising info on them. They just paid employees at the companies that didn't play ball to siphon data and target people clandestinely.
A piece of tape will work just fine
If you're concerned about energy usage, there are much bigger fish to fry than Bitcoin mining. But if you want, s/Bitcoin/Libra. A computer can't get a bank account, but it can get a crypto wallet.
Oh I didn't know that, I thought it popped up when the camera was activated. My mistake.
I do repl driven development just fine with ipython and autoreload setup. What features do you feel are lacking?
Are you similarly embarrassed when you close your blinds at night?
Every couple of months we get hit with the same wave of AI stories, and every couple of months I post these two links, inspired by ideas from that book.

Godel's Incompleteness Theorem and Turing's Halting Problem.

https://plato.stanford.edu/entries/goedel-incompleteness/
https://en.wikipedia.org/wiki/Halting_problem

Two different versions of the same idea.

You can't build a perfect machine, because that would imply understanding reality perfectly.

Ugly reality is going to break your perfect machine, eventually. With long enough time horizons, the probability approaches 1.

When your machine breaks, you are going to need something else, either another, newer machine which can fix or replace it (in Godel's example, the new book of logic/truth), or something dumb like a human wetware, just flexible enough to know the right answer is "unplug the machine and plug it back in"
There are a couple reasons and ways to use that approach.

Unlike batch compiled languages, Smalltalk and Common Lisp (and some others) will throw an exception/signal an error/whatever that indicates that a function doesn't exist. This means that you can insert these calls and, unless they actually occur, the rest of your program runs just fine. In most batch compiled languages you'd at least need to insert a dummy method/function (in C# you'll see NotImplementedException being thrown in these).

When you encounter the exception, in languages that support it, you can write the code at that time and then let the system resume, or tell the debugger to return a value. Maybe you don't know how to implement that function, but you know the kind of thing it should return and, for some reason, you don't want to leave function floating out there that just returns a dummy value permanently ((defun random () 4))).

If you use a language like Smalltalk, there's also a tendency to write very short methods. You could use this approach to create your program in a more top-down fashion (versus bottom-up) by doing something like this (I don't know Smalltalk so this is lisp):

(defun main() (factorial 10))

Debugger is brought up because factorial doesn't exist.

(defun factorial (n)
(fact-aux n 1)) ;; not really needed in Common Lisp, but just to illustrate

Again the debugger is brought up so we define the next function:

(defun fact-aux (n acc)
(if (<= n 0) acc (fact-aux (1- n) (* n acc)))

If you already have a design in mind (sketched out on paper perhaps), you could use something like this pretty effectively. Not sure I would though.
Google affirms Microsoft VSCode not an IDE, worse programming with punched cards
Perhaps you failed to read the link, an oil crisis because Capitalism is fucking you over is not a strike.
There’s apps (it’s also pretty easy to write one yourself like I did) that monitor when the input source is changed and forces it back immediately. Yes, wish that feature was built into the OS, but I also don’t grant almost any app microphone access.
While you have every right to think someone's shoes are bad, you are not always free to express this thought carelessly with no regard for others. In more common words, you're free to express your opinion, but you're absolutely not free from the consequences of expressing it, and it's unreasonable to expect no consequences ever.

It's a balancing act of reasonability, and some people are indeed bad actors. Like people walking past eachother on the sidewalk, some people are (unreasonably) upset when not everyone gets out of their way. While we're responsible for making reasonable (but not absolute) effort not to bump into eachother, "reasonable" is socially determined. It can feel unsatisfactory without a game-proof absolute rule, but it really does work.
How to see Comet NEOWISE in the night sky this month
I don’t actually know if getting extra equipment is popular

Then why did you make the claim? You're willing to say things without knowing their validity just for the sake of argument?

This is just detracting from the conversation without actually adding anything useful.
Electrical tape...
>I have always been afraid of software engineering becoming a trade similar to medicine or law or (regular) engineering where significant barriers will be put up before you can enter the industry, but this sort of shit makes me feel like it could be for the better. I will have to go and get a degree, but that's the price I have to pay I guess.

I can almost guarantee that the programmer who wrote this had a degree and passed a very rigorous testing process to get their job at Facebook. Doesn't mean anything when the company tells them to cut corners to iterate faster.

Stop blaming engineers for the mistakes of management.
That's exactly what I wear, albeit mine is plain beige and not camouflaged.
But technology is neutral and it's important to keep it that way. Giving into cancel culture and groupthink is the worst of things. Even worse that FB and Google.
Slightly off-topic:

I would be interested in keeping up the latest cutting-edge science developements, but I expect a Nature subscription is too heavy-duty for that. Not necessarily because of the price, but I don't think I would end up using it.

Instead, what would fit my interests better would be a science newsletter that, say, once a month summarizes the most interesting recent developements and sends them to my inbox. I would then use that as a jump-off point and even read the full articles I care about in Nature.

Are there any such newsletters?
At Google essentially everyone develops on a Linux desktop. These are mostly VM's running in Google Cloud now.
There's even an internal distro gLinux based on Debian.
Thanks for the clarification. I hadn't noticed the "not in the real Nature" status when reading it.
"The same cannot be said about other Chinese companies and similarly positioned companies in other countries.
"

What are other companies? Those that doesn't pose a threat? like those ones only produce cheap toys and clothes?.
I think as long as Chinese government remain as independent and "different", anything comes out of there that really challenges current status quo would receive similar criticism like yours, regardless what or how those company behaves. Curious how do you recognize those companies "need to integrate themselves with the CCP/PLA/etc"?
I’ve been using Hack for awhile. Just looked and saw there is a bunch of option now in the App Store! Does yours, or is there one that collapses threads like the reddit app? So many times I upvote and star a post on Hack because that’s what the swipe does.
I'm opposed to the whole concept of cryptocurrencies.

Google 'cryptocurrencies louwrentius' to understand my position.
That's again not accurate at all. If you buy stolen property & the original owner makes a claim to it within the statute of limitations, that property is returned to the original owner.

Anyway, as many others have noted, the problem isn't that the statute of limitations hadn't expired. What was actually happening was that the government was regularly breaking the current treaty that was in force. The ruling was that the government has to follow the law or change it but it can't just apply it however it wants.
The Legend of Zelda had a team of 6, a dev cycle of about a year, and sold 6 Million copies at $50(1986/7/8/9/90). BotW had a dev team in the 100's, took 5 years of development, and has sold ~18MM (Switch) copies to date at $60(2017/8/9/20), which barely puts it inside the 50 best selling games of all time.
It's because Hindley-Milner doesn't play well with subtyping.

You do get subtyping in Ocaml with modules and "module types", but in that case you are explicitly spelling out the module types. They're not inferred.
I'm sharing it with my team now!
But why the complexity?
Most libraries should have "simple" types.
Why is private equity bad?
WikiLeaks Exposes Internet's Dissent Tax, not Nerd Supremacy (2010)
Could be some over zealous employees inspired by recent Indian-China conflicts and TikTok ban and decided within their own org to do it without realizing how big of a news it would be.
haha foud
Yeah it's not like most programmers wouldn't prefer to be writing good software but the "let the user test it" cycle of quick turnaround sprint culture is always going to have this issue.
I don't have much interest in re-litigating the hypothetical outcomes via the Socratic Pinniped Textwall Method. I think my comment was quite straightforward - nothing happened and then a very mildly critical meta-article appeared in the New Yorker. Your response starts with hyperbole and ends with what is frankly a conspiracy theory about how journalism works. Which is the sort of thing that is gently ribbed in the article itself, completing the circle!
I had an Apple on-site support engineer open up a 16” MBP on my kitchen table a couple of weeks ago to replace a cracked screen, and he brought only
a small tool roll, a headlamp, and a anti-static work surface and wrist-strap. Took him only a few minutes to strip it down, longer to rebuild and recommission for use.

I must add, I peeked over his shoulder a few times, and my comment that it looks as good inside as it does out was answered with “yes, it’s like being asked to restore a work of art”.
This was a known weakness back then, not some amazing breakthrough, and unless the vendors are actively lying about the hardware there's no way for someone to “hack” the power connection without a soldering iron.
Perhaps, but it's still pure speech.
The obvious improvement is to use a better format than JPEG. Maybe something that can include information about the encoding process so the decoder can use that instead of guessing. Or maybe even a non-lossy format so we can focus more on data compression and less on visual compression.
Apple Support: Wait until the light turn green, and then put a tape cover on your camera. ️
I am a profoundly disabled person, unable to do very many things physically. I guess they've shown that my intelligence will never be general.
Idk if that's actually true - physically yes, but that's not the only thing. Like if I have man parts does that make me a man? No.
PWAs can't use WebAssembly?
A witch hunt is usually characterized by

1. Either no wrongdoing, or minimal wrongdoing.

2. The ability to grant oneself absolution by implicating others

The implied result is that since there isn't really any wrongful act, the only way to avoid the hunt is to accuse others. And in this way the "investigators" can go after whomever they want.

There's also an implied (3) The investigation is done by someone with traditional authority. The connotation of a witch hunt is therefore a fake investigation for solely political purposes. That is used to implicate more political enemies.

So cancel culture: If I had to, I'd describe this as a movement (or a collection of them) that tries to pressure powerful entities to take acts they deem to be moral by through social and economic pressure. That's really it.

To people who disagree with the moral position, there can be similarities to (1), but (2) certainly isn't present, and the people pressuring for accountability/action/whatever aren't usually traditional authority figures. In fact individual movements may be entirely leaderless and decentralized (so no 3).

Since moral and political lines are correlated, there can also be an appearance of similarity to the politicalized investigation aspect, but beyond the most surface level similarities, there isn't much in common.
Why, then, did it take safari so long to implement ServiceWorkers? I believe they were the last of major browsers to implement it. And they landed the feature more than 2 years after Firefox!

Also, why was Safari's IndexedDB feature released nearly 4 years after the other major browsers? And when released it, why was it full of bugs that simple test cases would have caught?

I don't want to fuel conspiracies, but the pattern is fairly obvious. Apple appears to resist progress in Web APIs.
> Most of us are experts on walking. However, if we try to articulate how we walk, we certainly give a description that does not capture the skills involved in walking.

because it's largely automatic for us, we need to know where to go but not how

https://en.wikipedia.org/wiki/Gait_(human)#Control_of_gait_b...

with AI this means we can automate more than we need to genuinely understand, often times approximation gives good enough solution

we humans often fool ourselves on how capable we actually are, but then yet without training in dangerous situation we simply act on instinct and impulse
Can you make the right hand div with the solar status a tad wider? The scroll bar cuts off the units of measure on Chrome + Windows.
I'm curious, why do you use Sophocles as your name? He doesn't hold up well by modern moral standards.
Which direction? I and my sis did both directions quite painlessly (includign images etc) a year back.
Snew hasn't been updated in a couple years, its author is focused on a decentralized reddit called https://notabug.io

I'm the author of https://www.reveddit.com/about/. It's a fork of removeddit that adds features like user pages and notifications when your content is removed.
One potential workaround - don't sign on as a permie employee, instead arrange to work as a contractor where you bring your own tools instead of using whatever standard machine the client would otherwise give you. You may be able to bring your own linux laptop and configure it to work with the client's systems.

Downsides of this approach: what you are doing is not officially supported by the client's infra/network/vpn/bureaucracy, so if you run into trouble getting it to work or it breaks after the client changes something you will not get any help, so you are just wasting your own time & money or the client's time and money by going against the grain and doing something the client regards as unusual and unsupported. In many businesses the client may require that contractors do not use their own tools and instead use machines supplied by the client, so this isn't even an option. Also, the whole contractor <-> permie tradeoff (no benefits, no job security, but maybe higher pay - depending what kind of a labour market you're in).

I have seen highly competent contractors successfully use linux in a huge old conservative bureaucracy with lots of legacy tech & half-broken network infrastructure that only officially supports windows & half-heartedly supports mac. But the starting position would be that you're the kind of person who can single-handedly triage and fix random network/vpn/authentication issues, perhaps by writing or patching software as necessary, and that you're happy to spend your own unbillable time on this.
>It's not strange to us that you Europeans think you know better than us poor stupid little brown people what's better for ourselves.

That's some projecting you're doing there. For one, I'm one of the "brown people Europeans" myself, not the "cool" northern / western ones. And my people had nada to do with the Latin America or Africa or Asia. If anything, we were enslaved ourselves (and part of my country was colonized).

In any case, I don't think I "know better than [you people]". In fact I agree with the law passed by YOUR country - so if anything, I merely think your legislators and fellow citizens who voted for it know better than you do.
I learned on the pre-2007 interface, and (at least for Word) I would go back to the Word for DOS keyboard-based interface including the little template you put on your keyboard.
It sounds like you want people to censor themselves in a way you find appropriate, based on what you believe freedom of speech means.
I recall the first time I used the new windows 8 UI. It was absolutely horrifying. There were 2 different control panels with different settings sometimes overlapping. The traditional UI in which you could start apps by clicking on desktop shortcuts and manage traditional windows but certain apps including the start menu put you seemingly randomly in the weirdo new app experience where the window took up the whole screen. This was also true of clicking a url link in a different app.

It was bar none the worst desktop interface that anyone has ever released for a computer.

You have asserted without evidence that MS's UI is driven by science and you are assuming that Microsoft's research is in fact any good. Based on consistently mediocre results I have reason to doubt that. To support your position I suggest you actually cite some research instead of assuming it has been done competently.
You can realize something was a mistake after you’ve done it. I don’t see the issue.
Fueled by a recent Indian-China border conflicts, a political decision.
Yeah I think there are some small problems with your argument, unless it was only meant to illustrate the idea.

For the sake of argument let's say we simply input both decimal representations of each number. A program that simply tries to find the first decimal that isn't 9 for a number in [0,1] would take an arbitrary amount of time, but is still total because 1 can be identified in a single step.

The problem here is that while the function is total it isn't continuous and so the compactness of the topology is irrelevant. As far as I can tell the article uses some trickery to ensure that computable functions _are_ continuous, in which case it does work.
Satisfactory Way of Thinking