skysight-inc/HackerNews huggingface dataset:
I have the feeling that we who've grown up in Western countries with ideas of separation of church and state tend to accept the status quo we've seen at face value, and not question so much whether it really is a separation of church and state.

I'm also from the UK where I think we're fairly proud of our separation of church and state. Then I moved to Germany and found it really weird - the state, to me, is bound to Christianity in a way that I found quite uncomfortable. For example:

* The state collects a church tax. You only have to pay it if you're a registered Christian (and you can be a Christian without registering) but essentially a portion of your paycheck automatically goes to the church via the state.
* To become a pastor or priest, or one of certain other religious roles in one of the official churches in Germany, you have to complete an exam set and managed by the state (a Staatsexamen).
* In schools, Christian children get taught a special Christian course. In fairness, this is again opt-in, but it's again a state-set course taught by state-approved religious educators.

To me, this all feels wildly inappropriate for a nation that claims to have a separation of church and state. But to my wife, this is perfectly normal and a healthy separation between the two organisations. Meanwhile, she's horrified by the ties between church and state in the UK:

* Many state schools are run by Christian organisations, or have explicitly religious board members. Moreover, state schools are expected to have a certain amount of Christian "collective worship" - typically, this means a children's hymn once a week during an assembly.
* The state chooses bishops. Typically a shortlist is organised by the church, but the Prime Minister can (and has once in living memory) veto a candidate for political reasons. They are also involved in the selection of candidates, but less so.
* The state still makes laws directly involving the church. One of the outcomes from the discussion on gay marriage was that, while gay marriage was legalised, the Church of England specifically was banned from performing those marriages, to make prevent issues where people might sue the CoE for discrimination. There are plenty of other more historical laws but this is probably one of the more egregious examples in modern times of the state legislating to control the church.

I think sometimes, growing up in the West, we accept the dogma of separation of state and religion without really asking how true that really is. In reality, Christianity is deeply intertwined with most European constitutions and state apparatuses. We just have a consistent blind spot for these cases, where they're a lot easier to see when viewing from afar.
Traditional interpretation of 16A.
This looks nice! Editing in a proper editor is for sure nicer than Vim - does that work even over SSH without having to install anything? Proper history search also sounds nice.

I think I will probably stick to VSCode's integrated terminal tbh because it's well integrated. But if I was doing system admin rather than programming this looks awesome.

Don't listen to the predictable HN nonsense. Electron is plenty fast enough for this. Vim sucks. Modern tooling is good.
Is the language spec for Visual Basic 6 available anywhere?
Can a directory of PDFs be queried or does it only support a single document?
They took out per shoes away so that was that. According to a parallel reply, they no longer do that.
Maybe think of incentives rather than legislation
I'm 100% sure I saw a calendar that was 7 columns as days, 52 rows as weeks, every day was just a number, no borders or anything, months were separated with a line and every first day of month was with a shade/gradient. It was only on the left third/quarter of a vertical paper so the right part was left for notes.
Bitly link shortener is a tool that allows users to shorten URLs for more efficient sharing. It is commonly referred to as the Bitly URL shortener or simply the Bitly shortener. The Bitly URL is the shortened version of the original link, and can be easily shared across various platforms. The Bitly link is a shortened URL created using the Bitly shortener tool.
Mathematicians have found a new upper limit to the Ramsey number
Dragonyhm is the latest in a wave of new Game Boy RPGs
Automation in ATC exists a little yes, as you said for collision detection, ground proximity warning and runway infringement. That's mostly it.

We have some cool toys to make life easier like CPDLC to communicate via data-link instead of voice, multi layer radar screens with tons of functions, ATIS generation etc but those are not automation, just QOL improvement and if anything goes wrong we go back to old school ATC by voice and maths.

There is a lot of automation in the data part of ATC, so flight plans processing, radar correlation, meteo data etc etc. But this is just normal IT stuff in 2023.

Some cool project are getting there, like virtual towers with augmented reality by using cameras instead of looking out a window.
My company did recruit an expert in big data and ML to develop new tools and automate stuff, but always data related, nothing to do with controlling and aircraft on a radar screen.
At my workplace we release small fixes on Fridays, but prefer to wait until Monday.

I don't see how we could trust ci/cd to catch all errors. Tests are great at detecting expected errors, but it's not possible for us to get 100% confidence.

We also need some sort of tradeoff. Creating a perfect system with few bugs take a lot of time and resources that a startup does not have. We accept that our releases may include bugs, because we can respond to angry customers quickly.

In our B2B industry, most of our customers sales happen during weekends. A bug has a much higher financial impact.
The article is short on information on the battery itself but thankfully there is a Wikipedia entry for it:

https://en.m.wikipedia.org/wiki/Blade_Battery
GP is not fully correct. Under Danish tax rules unrealized gains are not taxed for standard stock investments. Taxation only happens when realizing gains or losses, except for special investment accounts like retirement savings or other account types that have well-defined special rules and clear limits on the amounts that you can put in them. For these special accounts, unrealized gains are taxed at their value at the end of every year.
In many states, property taxes already adjust based on home value.
Who's funding what is certainly a relevant issue, but not what we're discussing in this comment thread.

It's not whataboutism because I am in no way using Arab countries behaviour to justify, distract or change the subject from anything done by Israel or Jewish extremists, which I have recognised and criticised. I am pointing out obviously false claims, blatant hypocrisy, and arguing that illegal and immoral behaviours on both sides should be condemned.
At current income tax levels, if we go to an indirect 'wealth' tax route via unrealized gains, would need to decrease significantly to be viable without being forced to effectively liquidate your business within a couple of years to the government. Imagine if property tax was %10-50 of your property value vs. the %0.5-%2 it is today. Nobody would own their properties anymore in a span or a year or two.

Unrealized gain tax would create a huge industry trying to put valuations on random restaurants and car dealerships, and the market for small businesses like that are very illiquid, so they will get detached from reality fairly fast.
As someone stuff using VBA at work this is really good. One niggle for me would be the lack of a section on VBA arrays. They're probably the most confusing things to use in VBA closely followed by error handling.
I use VSCode's integrated terminal all the time and its performance and latency is indistinguishable from Gnome Terminal.

This appears to be open source. But I don't know how you could make a viable business out of this. I mean it looks nice, but nice enough to pay for? I doubt it. And it's free...

What's their business plan?
git : version control :: vim : editors

There is definately scope for a beginner friendly UI/UX. Julia Evans has a post lately about confusing aspect of git. Ability to version control large files (like git-lfs) would be a nice addition.
And a third question - what kind of machine are you looking for?

If you want a laptop, that's going to be a very different machine to a desktop.
Thanks for the reply! My concern is with counting on people who do not search a lot to be a big part of your user base. Flat rate means those people might feel like they are overpaying, and if they leave you will start losing money on people who search a lot.
I wonder what the firmware blob situation is with this. How much documentation is available for this SoC? It would be nice to have more platforms with fully open source firmware.
> robustness has less to do with the number of mistakes but how one responds to them

It must have something to do with the number of mistakes, otherwise it's all a waste of time!

It's all well and good responding to mistakes as thoroughly as possible, but if it's not reducing the number of mistakes, what's it all for?
I’m not accusing Whitehead of the fallacy, I’m talking about the parent post.

Parent is suggesting that if we don’t take Deleuze seriously, we should also not take Whitehead seriously. (Despite Whitehead being a fav of the analytic crowd.)

But the Deleuze comparison, to the extent that it makes any sense, only applies to the later Whitehead. We don’t have to reject the Pricipia. The obvious position is that Deleuze is not-even-wrong, process philosophy is not-even-wrong, and the principia is merely wrong (which is amazing in philosophy.)
In 2023 you're telling me that some emergency vehicles are happily rocking encryption protocols with 80-bit, wait actually, 32-bit keys? These are all cases of systemic procrastination. We're talking about emergency vehicles here though, so: neglect.

Nobody is surprised these protocols have been broken, it should not be a surprise, and having some kind of panic reaction should
be considered either a charade or a case of abysmal management.
I'm happy with my used 3090.
If only GNOME and KDE were backed by one of the largest companies in the world, with tens of billions of dollars at its disposal.
Maybe you'll find someone else. To help you. Maybe Black Mesa? That was a joke. Ha Ha. Fat Chance!
Bug: https://neatnik.net/calendar/?year=1752

:)
It sounds very lofty, but also on a path to disappointment and burnout. You can't meet the needs of all students. Fortunately, your class is small, but even there you find that you can't please them all (let alone a class of 300). And I write "please", because that's what you appear to be aiming at.

First, a course is there to convey knowledge and skills, not to please students. I'm not fond of hard rules in education, but some are simply right. Rule number one is: set the levels in advance: determine prerequisites and end goals. You may accept students outside the range, but it's their risk to take a class that's too easy or too hard, not your responsibility to overcome. You could always split it into multiple classes (basics and advanced), but that's already setting yourself up for more work.

Second: try to use literature, books or articles, for material that takes too much time in class. It's better that they come with questions than that they leave with questions. However, I'm aware this doesn't work well, since students don't read before class.

Third, I'm not teaching anymore, but my former colleagues and friends who teach and even direct programs, tell that the flipped classroom isn't only a nebulous concept, it also doesn't work. Covid has shown that. Developing a technically complex class that actually works is going to be very, very time consuming, and not rewarding at all. Cynically: when the department finds out you're not actually physically teaching, they'll assign you to something else. Or give your class to someone else.

Fourth, try to be interactive in class: explain, then give short, direct assignments. Your topic is unfortunately too complex to do anything meaningful during class, but perhaps you can ask them to look at some code and write down what it does, compare two different position evaluators, find out why a certain move can't be returned by a certain algorithm, etc. The trick is to get them to actually work out and write down answers (and it can be wrong; there should be no scoring for these exercises), not wait for someone else to tell them, whether it's you or the bright, interested student who's going to pass anyway. Everyone should apply their full attention to the problem for a short time.

Another cynical remark: it seems you're interested in knowledge transfer. You don't get high ratings for that. If your school evaluates teachers based on student feedback, it's a losing game. The only thing left, if you want to stay in that game, is to make it "fun."
Tax isn't some game where the goal is to maximise the take. Those unrealised gains are literally money that went into some of the most productive capital formation projects that people know about. The US is currently suffering from an investment crisis where a generation of capital was built in Asia instead of on US shores. It'd be wildly foolish to start penalising the enterprises that are left.

Look at US spending and note that the money goes towards (1) the wealth bonfire of permanent war and (2) a large and complex welfare state split between health care, pensions and other services. Neither of those are capital formation (the wars are in fact capital destruction). Everyone will get better outcomes if the money that goes to capital formation is protected from tax because the benefits of capital are substantially higher than the benefits of consumption spending. Literally the only thing keeping our standards above a typical baboon's is that capital being built.

The real problem here is pretending things that are capital destructive are valuable - the 2007 crisis response bailing out bankrupt banks springs to mind and the ongoing cover to various unprofitable businesses with the low interest rate regime so people can get wealthy while not building anything useful. But randomly taking money from people making unrealised capital gains doesn't fix that, and it just puts more money into the pot that funds the war machine.
it also appears to be inferior to the xbox controller despite releasing 5 years later
I assume one of the core idea would be to protect individual made by “blackbox” (complex or non complex) algorithm (e.g. used by banks and other companies) without any direct human involvement.

Basically banning companies from just saying “ Computer says no”..
"AI" is an inferior form of autocomplete. Autocomplete normally the user to choose the most appropriate completion, or choose none of they all suck, while "AI" does not even allow the user to select from multiple choice, it forces one on the user, no matter how dumb. It's a classic tactic used by so-called "tech" companies: remove user choice.
These type of muffs can be problematic when they limit communication or impair situational awareness. Many applications are better off with a pair of amplifying earmuffs. As an example, Walker's Razor Slim are good for sustained and impulse noises, and don't impede communication or situational awareness. With everyone using them, you can talk to people farther away. They do impair speech direction localization and conversation discrimination because the phase of sounds aren't preserved exactly as they were.
I make my first $3416.97 on Internet
How I make My First $3416.97 on Internet

I was so frustrated because Every time I want to access ChatGPT, I need to login ChatGPT first, filling password, Captcha, and changing browser tab again and again for using Chatgpt that complete make me unproductive and overwhelming.

So, I built my own AI tool to access GPT-4 on any site without leaving the current site, I think its make me 10 times more productive, and best part is, I was so insecure before launching my AI product because I was thinking no one will buy it.
but when I launch the product everyone love it.

After launching the product, in just 5 days after launching I make around $300 by selling the complete source code of the product, so people can use it, resell it, modify it or anything they want to do.

I hope, I will make at least $50k in 2 months. right not I try to market my product.
My Product link - https://www.helperai.info/

Thanks For reading my story!!
> Well, I just used it as collateral to borrow some cash from my buddy, which I'm told I need to inform you about.

I'm suggesting that's the realization event. That $50,000 is taxed as capital gains at that point. The subsequent loan value is immaterial to income calculations just like all other loans.
Many tried, few succeded.
SVN - client-server principle, but bad at merging branches
mercurial - one of the competitors after the linix kernel devs searched a new version control system, its users die out, since git is more popular, very similar to git
bazaar - mostly used for ubuntu, since launchpad is only providing bazaar as vcs
> This style of argumentation is annoying because you're not even participating, you're looking for reasons to dismiss.

I just don't buy the problem as legitimate. It's an aesthetic problem, not a real problem. Sysadmins clearly have no problem with the fact that XFS is not a human readable format, or I don't recall anybody making a stink about using Berkeley DB for a whole bunch of stuff.

> systemd meanwhile has little reason to store logs in binary format.

Quite a few actually. Indexing, transparent compression, clear storage of arbitrary amounts of data with well delimited fields, quick seeking. Makes for a compact and very well performing system.

You can't quickly seek a .gz text file, while journald will tell you what happened a week ago at 3 AM in a few ms.

> The promises that are alleged are not concerns to anyone except enterprise.

Or people who realize there's a bit more to logs than 'tail' and 'grep'.

Eg, journald trivially will give you a log from a given timeframe that interleaves the logs of a proxy, httpd, database and application server, actually producing a log in which a request can be logically followed through the different services it went through, with timestamps in microseconds.

In an application that's designed for it, you can actually ask for logs regarding to a given host, user, etc.

If you've ever done log parsing, well, now you don't need to ever write a regex to split a .log by fields, because that was already done for you, and you can have UNIX timestamps directly instead of doing date parsing.
> By specifying an landing weight in excess of the maximum, the system logic changed to apply the operational coefficient only once — for unrelated and obscure reasons — and lo and behold, when he ran the numbers this time, the computer said they could just barely land on any of the 4,000-meter runways at Singapore Changi Airport, with only 100 meters to spare. It wasn’t much, but with no better runways anywhere nearby, it would have to do.

Hacking overflows in an emergency, topnotch.
AFAICT Debian was rolling out 6.1.66 but had to stop in order to patch the kernel (Or bump version…? Not sure.)

https://micronews.debian.org/2023/1702150551.html
> High school classes are typically too easy

The UK based O/A system, which is used in many of the former colonies, is not as easy as the North American high school system. O levels is easy. But A levels content is almost as difficult as a typical first year university course.

Yet, students from those systems also face an equivalent huge shock when they switch to university. The reason is fundamentally different. In school, students are infantalized and their own education is not considered their responsibility. In university, nobody used to care whether you sank or swam. So students struggled. But that has changed quite a lot now. Many universities have almost a "no child left behind" policy - yes they do think child not adult who chose to attend university.

So even if students in the past used to attend office hours (I don't know), today they don't because it is no longer their responsibility to learn.
Complying with GDPR shouldn’t be that hard at all for most businesses if they introduce some basic procedures for handling/storing user data and most importantly don’t want to transfer/sell it to third parties
> Compared to the adaptive xbox controller this thing looks absolutely useless to me.

The XBox adaptive controller doesn't have sticks either. The two big touchpad-looking things are just two big digital buttons without any touchpad functionality. The Xbox adaptive controller really isn't much of a controller by itself, but just a large hub where you can plug accessories into via USB for sticks and 3.5mm jacks for buttons.
Blitzed, rebuilt and built again: what became of London's bomb sites? (2015)
In fairness, perfect and simple almost never go hand in hand in life critical applications because simple is almost entirely incapable of accounting for and mitigating impacts from the entropy of the universe.

Couple that with capitalism (the 737 max's design, oversimplified, resulted in two disasters due to a for-profit company trying to maximize profit and minimize time to market by hacking an existing platform to compete with a new and ostensibly better one) and it's a surprise we're doing well with air travel at all.

That air travel is as good as it is is a great case for techno optimism. In spite of all the garbage we get ourselves into, we manage to make it work.
Culture is proxy to ethnicity and religion. And it’s pretty close. E.g. Christmas celebration all around „secular“ Europe.

Ottoman rule in Balkans was quite horrific. E.g. Christian’s having to pay tax in young kids most of whom would never see home again. Yet it was rather peaceful with ottomans enforcing the peace :)

I’m not that familiar with Jews in Middle East up to 19th century. But IIRC there were plenty of pogroms. And taxes differentiated by religion was common in most Muslim regimes. As well as overall relation with government, ability to make a career etc.
The US will already do that (Pillar 1) which essentially forces companies (called multi-national companies) to pay taxes on where their customers are located. This is akin to extra-territorial taxation and really is just a way around customs tax. (they could have simply implemented customs for these product sold, but I guess the system has reached peak bureaucratic complexity for that to be possible).

> Your proposal is basically to annex any country with a tax regime that the US doesn’t approve of.

Unfortunately, we are going there and fast. (CRS, Global Minimum Tax, FATCA, and other stuff). My guess is that this will speed up the bifurcation of the current international system into two systems. One of which will be supported by China who will be able to play on the two sides due to its size.
Arch Linux packaging is the only one that makes sense.

If I install openssl, I want everything that upstream ships, which means command line tools, headers, libraries, man pages.

The Debian/Ubuntu convention is terrible, and anachronistic. Disk space is cheap, my time is not.
I think a better question is why the "car accident" people are always hijacking threads to push their agenda. Like the topic is Air Traffic Control. Why are you bringing up car accidents?
I wonder how the Americans feel that the weeks begin on Monday :)

I wanted to figure out where the developer is from (presumably Europe because of the use of A4/A5), the terms of services is just a template, e.g. (not being judgemental, I found it amusing):

> Contact Us: If you have any questions or concerns about our Privacy Policy, please contact us at [insert company email address].

Edit: less amusing is the "download for free" button opening a credit card input field. I can enter 0.00 as payment, but it still wants my email address. Maybe I can enter "[Insert buyer e-mail address here]"?
The Etsy store's owner's name sounds Polish.