skysight-inc/HackerNews huggingface dataset:
I am not sure that's fair, either generally or specifically. The `reduce` function is well known, it's covered in pretty much every mainstream language's standard library - not just lisps or fringe "functional" languages. I mean Python is imperative, and it always had reduce.

On the other hand, Python's reduce is in global namespace so you pretty much need to know its name. While Emacs doesn't have actual modules or namespaces, if the end goal is organisation and discoverability, I think that's still accomplished by the convention of prefixing function names with a unique and descriptive string. So, seq.el implements many list/sequence related functions. If you type "seq-" and hit tab, the autocompletion menu would show all list related functions, you can just browse for reduce there.

As for how to know about seq.el (or dash.el) in first place, imo these are not that obscure to be hidden from google search. But you can also take any list function that you know about from elsewhere (let's say `count`, or `reduce` itself), then you just need to use the internal search system like `M-x apropos count`, and from `seq-count` result you can deduce that `seq-` is the interesting namespace.

In any case I would contest that Elisp is particularly weird. It also implements lot of Common Lisp anyway under the `cl-` namespace (incidentally there is also `cl-reduce`). As for the matter of it not catching on anywhere, it's still the most popular Lisp used in the world today, a fact that imo makes up for lack of generic tutorials with a lot of Elisp specific tutorials out in the wild.
You are treating this as a natural disaster when in reality it’s entirely man made. We know exactly whose fault this is. You can’t hand wave it all away as “times are tough”.
So does PlayStation release all of its IP on Xbox?
CCTV is incredibly useful, we need far more cameras not less.

I guess you've never been burgled or mugged?
Sounds good in theory, and with individual interviews that is easy enough. But coverage of protests will likely include masses of people, in public and therefore with no expectation of privacy. So how is the decision made on which masses of protestors in public get their ID obfuscated, and which don't?
MBP 14" are $500 off sticker again like they were recently. It's still expensive, but the M1 Pro based laptops really are that good and I'm happy as a pig in poop.

M1 Airs are 800 and great for your lower tech relatives.
We did something like DDD:

- we did the ubiquitous language part, working with clients to arrive at consistent, particular language to describe the problem

- we then made a big chart of things and their relationships; get clients to sign off this describes problem

- but we didn’t bother with any formal steps passed that; we just took the chart as a systems diagram and implemented that

There’s some deep sense in which any program which encodes the chart is a type embodying the semantics of the chart, viewed as a categorical diagram. So it’s not too surprising this works out alright.

I think the ubiquitous language part of DDD is great; I’m not sure it has much to say about turning domain diagrams into software.
Factorio was release 6 years ago and they don't do anything else right? I mean the studio is only working on this game.
Just do yourself a favor and stick with using what already works. Don't upgrade to the new shiny thing unless you already know the reasons why you want to.

Among all the other technical issues, Wayland devs have an attitude issue. Users asked for fractional scaling for years and were faced with flat refusals and insulting quips from the wayland developers. The only reason they've added it now is because Valve asked them for it. Wayland devs think users are worms and corporations are gods.
I got mugged in the bathroom, so I’m putting cameras up all in there. Guy attacked me from the stall so make sure to install them in there.
I am surprised they did not mention bone marrow transplants. There are some studies on nih.gov [1] showing results for Remission of Psychosis in Treatment-Resistant Schizophrenia following Bone Marrow Transplantation

As an interesting side note, it works both ways. A bone marrow transplant from a person with Schizophrenia to a person that previously did not will result in both having it.

[1] - https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5613125/
>
Although some kernel driver developers have testing clusters with real hardware (like GPU drivers devs), there is no effin way Linux could be effectively tested without someone paying a lot of money to set up real hardware and people to keep it running.

Just crowdsource this testing: I am sure that there exist some people who own the piece of hardware and are willing to run a test script, say, every

* night

* week

* new testing version of the kernel

(depending on your level of passion for the hardware and/or Linux). I do believe that there do exist a lot of people who would join such a crowdsourcing effort if the necessary infrastructure existed (i.e. it is very easy to run and submit the results).
Yes, hourly paid positions as apposed to salaried ones do I think present an clear ethical issue if you're no working the hours corresponding to your time sheet.

I see much less of an issue with salaried work where the expectation is more "complete X chunk of work satisfactorily"
Turing machines do not have a true random(). In general the space of deterministic and probabilistic programs are very different.

Now if you were to use a pseudo-random generator, and presume that this is the only function sampling from it, then all of a sudden the halting problem for this generator is well-defined. It also becomes a very simple question about the pseudo-random generator. If the random() function is truly random, then you are talking about a machine more powerful than a turing machine.
>Rosetta 2 is not emulation, at all, it's AOT, static binary translation, backed by hardware that implements Intel specific behaviour from the latest chips down to the oldest 8080 or something.

So, it is hardware emulation.
So no company that owns a platform should be able to release its own software? Should a platform owner be able to fund a third party studio to produce content? Should the courts force a game maker to support all platforms?
You can believe whatever you want and come up with every excuse to support your world view but putting "proficient in LibreOffice" on your resume is not going to help you get a job or help the company. "Proficient in Excel" will. The UI of Excel isn't overly important, formulation is and as I said it's cheaper to pay the O365 fee than to pay individual licensing fees, so throwing out random product names that aren't widely used isn't helping your case.

Germany has struggled with digitization, sometimes it feels like you're walking back into the 70s when you're dealing with it. That is in part because of their traditional views (which can be good and bad) which aren't always in tune with how the rest of the global economy has already played out. I feel like every year I read about some Germany state or city upending their previous system to go to Open Source, then 2-3 years later see it walked back.
Yeah, the whole of Europe is a just an American colony at this point.

Supporting American protectionism, even when the US effectively has a trade war with Europe with the Inflation Reduction Act.
SCP doesn't work?
Saudi Arabia isn't going off the USD. That would seriously undermine their relation with the U.S. and could even have them branded an antagonistic nation.

The dominance of the USD is EXTREMELY important to the U.S. and I can assure you that Washington is even willing to wage war over it.

But I believe the ball has already started rolling with Bitcoin and Russia's demand for payment in Rubles.
I don't understand your point then.

Yes, the thing that consumes more resources uses more resources. Because it can do more things. People are also mad about that btw.

Saying "well, x uses more than y" where `y` in this case is using about 5x more resources than its contemporaries is just an insultingly weak argument.
Please, can anyone provide guidance for making Win10 CLI UX tolerable? After more than 2 decades on macOS, very comfortable w/ customized zsh in iTerm, I'm now unavoidably working in Windows and hating it. Sad to discover my vague perception of Windows as a 2nd-class citizen (or 3rd-world country) is all too accurate. Running git-bash in Terminal, surfacing any meaningful git status in my $PS1 incurs multisecond latency. Surely there's a better way. Right?
If my code ran on the Mars helicopter I'd never be able to shut up about it.
Not sure why you say that? I am not convinced that 100x speed on fast 4G really makes any difference. But 5G is nice and I've never found 4G better? Im just a consumer these days though so...
"The way I see it, this just moves the responsibility for safety to the manufacturers instead of the network."

Perhaps so in the current circumstances, but ultimately it is the responsibly of the regulators to ensure the emergency numbers work.

As witnessed here, a number of commentators seem to have forgotten that their smartphones are first and foremost are telephones and not playtoy computers. Unfortunately, the computer aspect now seems to dominate—if this weren't a fact then these unfortunate incidents wouldn't have happened.
Is like taking credit for saying apple leaked the eventual release of iPhone 15, 16 and 17
> the halting problem of Turing machines with state space of N bits

That's an oxymoron, because Turing machines have a state space of infinite bits by definition. I understand you mean "deterministic finite-state machines" rather than "Turing machines".

> It seems incredibly likely that this question has a complexity of O(exp(N)) which very quickly makes the halting problem infeasible to solve for modern computers.

I mean, I agree that it's likely, but again, is this proven?

I'm not aware that it is and therefore I think this is actually missing many of the points I mentioned.

It could be false for all we know.
Tech’s reality check: How the industry lost $7.4T in one year
Just a few more cameras and not a single uncleaned dog turd will escape her majesties security services!

https://www.cnet.com/news/privacy/u-k-turns-cctv-terrorism-l...

CCTV doesn't prevent crime. It might sometimes help find and punish the offenders later.
Counterpoint 1: The low barriers to entry of the video game industry make it easy for new players to disrupt the space if Microsoft wants to abuse its position.

Counterpoint 2: The product is video games at the end of the day. It's not exactly as important as life saving drugs or internet service providers, where antitrust resources are more needed. There is an unlimited number of ways for consumers to entertain themselves.
For scheduling: Consoles guarantee near perfect compatibility in a way that phones don't. And if you upgrade every two years you can trade in or sell the old phone for half the price of the new phone.

As for the price, small is expensive, and the cost per hour of use is not a lot. Also plenty of phones are much cheaper. The high-end mirror of consoles is a gaming PC.
Predicting whether a given program (Turing of otherwise) will halt after t steps, where t is given in bits, is EXPTIME complete.

By the time hierarchy theorem, class P (polynomial time algorithms) is a strict subset of EXPTIME.

Accordingly, this proves that in your suggested finite machine, the halting program cannot be solved by a polynomial time algorithm.
This is actually pretty good, I've just started learning Tailwind, and was going to buy the book. Thanks!
Definitely inefficient, but nobody has ever truly rejected gold since prehistoric times.
What's the use case for a device like this?

E: Thanks for all the replies. I have a XPS 15 that was, maybe 5 years ago occasionally reliable for playing Doom 2014 at 1080p for half an hour before the gpu would shut itself down, maybe I could have benefited from one of these + a desktop GPU...
Ok, whose fault was it? List 10 people who are responsible for the whole chaotic system we call "The Economy".

It's been decades we still don't know who was responsible for the 08 Financial Crisis nor the Great Depression.

Besides of course hand waving "greedy bankers", "unregulated speculative markets".

Is it man made? Yes. But it's also a chaotic system like the weather.
Culture is literally an external agent passed on by our family, friends, peers, institutions, companies, and organizations. It is and always has been a meme. The analogy is sound.
Consoles themselves are typically sold at cost or loss even. Sony makes majority of the money on games and associated services. In that model it just makes sense keep the release cycle as long as possible.

In the phone business there are associated services too, but the hardware itself can be immensely profitable.
Rosetta must be really efficient! That's my takeaway from this post. The native port is running only ~25% faster than the emulated x86 version. That's amazing! And Factorio is more CPU intensive than most games; this isn't just because the GPU is the bottleneck.

I don't mean to diminish the work of porting here, clearly a native version is better. I'm also impressed that the port didn't seem that difficult, the only technical hard thing he mentions is getting a copy of the arm64 libraries to link against. But mostly I'm impressed that the port wasn't entirely necessary because Apple did such a good job on x86 emulation.
Also, no fooling around with graphics drivers, wondering if your rig's specs are good enough etc. On the other hand, gaming PC have mouse+keyboard input.
Additionally, if you are testing the code anyway for other reasons (like, to check that the logic is correct), you exercise the dynamic type checking for free.
My integration tests are the documentation
> I am not sure how I could replace Google Login if I point to a different provider.

You can’t. You’ll have to rely on the account recovery mechanisms of the services you used Google login with. Some might be able to switch over to email login after verification, some might not even have a manual way to recover your account / switch it to another login method.
From the article:

Germany’s Federal Office for Information (BSI, in German) has already expressed concern that Windows 10 and 11 operating systems collect telemetry data, including typing data and even speech-to-text.

In response, German and French public schools switched to Linux operating systems and other Office 365 alternatives for their educational needs.
Static typing is machine-readable and machine-validatable documentation largely of a sort you should be writing anyway. If adding static types is a substantial burden either you're stuck with a really bad language, or you weren't writing enough documentation in the first place. Further, if things like much-improved autocomplete, far better editor-provided errors while editing, and better refactoring aren't saving you time, overall, we must write code very differently. And during handoff of code, static types are really nice and save tons of time.
Every problem has its fitting programming paradigm, at least in the main paradigms: declarative, imperative, functional, object oriented.

DDD seems to be inevitably connected with OOP, at least I've never read something else.

Hyping one paradigm will lead to using this paradigm in an inappropriate way, sometimes or often.

(FYI: I didn't read the linked blog posting, because of medium.com)
Your argument is "the status quo is the status quo and therefore it should remain as such because it's the status quo".

Appeals to continuance (perhaps because you have a personal sunk cost fallacy?) are unconvincing.

Your original assertion (that FOSS programs might go away) is a weak one for the reasons stated.

"Getting a job" is subjective, that depends on what skills are in-demand. I don't see many people putting "Skilled at Microsoft Viva" on their CV, and that's not because it's proprietary. It's because desired skills are borne from need, and there are network effects in those.

If nobody had adopted Excel and instead learned R and SQL, then you would be getting jobs based on listing them as skills. Not surprisingly.

EDIT: I should point out that businesses usually follow what schools do: the reason Java is so popular in Germany is because it's what University used to teach so it is (or was) a common denominator, Microsoft knew this and poured billions into getting Microsoft into Education in the 90s when I was coming up. That doesn't mean they get a perpetual license to continue in the event they abuse that position, which they do.
I'll have to start playing it. Too many mentions here on HN to ignore.

Would be great to hear more about this:
> reduced the time to set up a clean Mac for Factorio development from a few hours to a few minutes
Yes because in a country where 50% of the people own an iPhone and you can get one by working 5 hours on minimum wage per month, it’s really a “status symbol” to have the same thing everyone else has and it shows you are “rich” that you can afford to pay $30/month.
> Every full-time contract I've ever had had a clause stipulating that it would be my only employment

I'm not a lawyer, but I wouldn't be surprised if that kind of clause isn't legal in California and maybe even other states.
Show HN: I built a ML-powered trail/nature finder
1) there is nothing incoherent in theoretical "we want obedient citizens under our full control, not controlled by Chinese government"

2) from your own link "But are we really a Big Brother state? You may think that the government is behind this high level of surveillance, but the BSIA found that only around 1 in 70 cameras are owned by local authorities"
> why would a company ever do this?

Distro kernels are general purpose and include a lot of stuff you do not need.

A custom-configured kernel is much smaller and (consequently, theoretically) more secure.
Many things only dropped today. At least in Canada
Love the utterly irrelevant denial from Hikvision:

"Hikvision cannot transmit data from end-users to third parties, we do not manage end-user databases, nor do we sell cloud storage in the UK."
This is a cool paper! An area I didn’t know existed and how critical security is to this. Really showed me a new thing today. Thanks for posting it
This is why I stick to forum based social media applications. I'm still young but I know Instagram and TikTok will poison me.
> It is the fault of the voters. Especially after it was obvious Trump was just a grifter who couldn't care less about the common man

You mean like most other politicians?

> and they voted for him again because they were scared of the immigrants and black activists with whom they should have had class solidarity

This racist trope is propaganda. Also, "class solidarity" is not a thing anymore thanks to the dominant parties who have been squashing it for over 50 years.

> Arguably Occupy was the first warning sign in recent memory.

Occupy didn't accomplish anything, it was a weak protest. Electing Trump definitely accomplished something and proved the discontent runs deep and can affect the cushy established class. Then came the messaging about baskets of deplorables and ultra-maga threats to democracy.
Avigilon, Axis, Hanwha, and i-Pro/Panasonic all manufacture their own products.

There are many good choices for non-Hikvision or non-Dahua cameras. The Hanwha A-Series is very cost competitive with the Hikvision stuff, and from a far more reputable source.
As you say, when either time or money would be effective to begin with, regardless, the mere expenditure of money alone more often results in temporary solutions to permanent problems.
They've been hammering the gay=pedo thing hard for the last few weeks. Expect more attacks soon. Not a lot we can do to stop the already armed lone wolves that they have created.

Even from people in hobby communities I'm in, I've heard the "I'm sick of the lgbtq" sentiment getting repeated. Like God damn, these people spend their free time finding shit to be outraged about on Instagram, then pretend their way of life is under attack by gay people.

This is the most hysterical tribalism I've seen since 1-6
Ye ... It would not surprise me even a little bit.
Few people live in what can reasonably called a "community" any more, so the link between anonymous theft and the erosion of social culture doesn't make sense to everyone.

The most remote, homestead-y places will have unattended "stores" where you leave out goods and people come by and leave money in the basket and take what you have. The least remote, most-managed places have security locks on items over $15. It is impossible to run a friendly, neighborhood-run store when any new customer is a potential thief. When theft goes uncontrolled, owners begin to look at their customers with suspicion. Those who don't like theft leave for more peaceful places and are replaced by owners who will tolerate theft with a big insurance policy and force.

It is continually astonishing to me that so many "community-focused" people don't realize that unilateral actions of harm inside the community (theft, assault, etc.) have ripple effects that harm the entire community. If you grow up in a region where store owners believe you might be a thief unless they personally know you and you have to constantly worry about protecting what's yours, and I grow up in an area where I'm trusted and respected by business owners and I leave my door unlocked when I go to town, how is equity meaningfully achievable between us?
I think that's a bit of a strawman. I don't think anyone says tests prevent all bugs. They can help fix some parts of the contract down and give you a place to check against regressions.
If he manages to get a single word out before getting boo'd off the stage I would be impressed.
“Slide 17: Galilean equation d=t^2”

I liked this article. But Slide 17 and 18 suggests that Galileo used equations. But this is not the case. I looked at the Discorsi again and there isn’t one single equation in it. Galileo works with geometry and proportions.

So, when Galileo published his book, “barely 50 years after the introduction of algebraic notation by Vieta” algebra was NOT the “universal language of science.” Anyway, this is a nitpick, it does not influence his argument.

Also, d=t^2 is NOT "Galielean equation", he means proportionality. d is proportional to t^2, but in equation form it is written as, d=1/2at2.
1. This is one of that ways to get more people interested in football. Majority of the population is in south asia and chinela, Quatar is quite close and this wc is very accessible for us

2. Why world cup is held in summer? Is it because Europe is cold in winter and Europeans prefer summer. Unfortunately world is not just Europe. Since this is WORLD cup why should it not be held in seasons that is suited where it is hosted?

3.Same as above. Football is popular across world.

4. May be this is to get football more popular in middle East. Why only conduct where it is popular now. Let's conduct where more young people are present.

5. Corruption in FIFA is not new. This is not specific to this world cup.

6. So what. May be Quatar is trying to be a sports destination of MENA. It's their money. Let them spend it the way they want.

7. So has a large number of people died in making the phones, clothes, chocolates, diamond, cofee or anything in Modern world. Do you stop using phones and clothes because of that?

I come from Kerala in india where a large population emigrate to Arab countries including Quatar. Heck even my uncle was there at some point. People go to these places because they pay well. May be not as much as western world would like, but much more than we make here. So i don't give too much importance to the stories about slave labour and everything.

8. Are you coming to watch football or to promote pride culture?