skysight-inc/HackerNews huggingface dataset:
I fucking hate schoolwork though, it always made me significantly more miserable than job-work ever did
Make Your KDE Plasma Look Like Windows 10 – We10XOS Theme
Kicking the “For Loop” Habit
> Most devs very rarely ever upgrade the version of boostrap once it is in place

I think that’s the point.

Those who want IE 11 support will stick with 4, whilst those who want the latest can upgrade to 5.
I was with you till this part

>When I’m ready to present some or all of my changes to upstream, I grab git rebase and reorganize all of these into their respective features, bugfixes, and so on, forming a series of carefully organized, self-contained patchsets.

That seems like a lot of extra work to "not use" branches.

I do less work than that and don't use branches. I just tag the releases.

Whenever I want a certain commit to triger CI/CD for build/testing and preprod deploy, I just tag a git commit as "release-[most recent git commit 8char fingerprint]" using a little script and some cli aliasing.

Then push. Release is built, and I can keep pushing to master unfinished features. But because the working version is tagged, Ops can always rebuild, redeploy, or roll back to known good commits.
I have no idea what that site is about but the clicking the button on the right making the stuff fly around the screen was pretty cool.
It looks to be a form of TMS which has already shown a lot of promise for several mental disorders. I wasn't able to look at what they changed specifically, but TMS itself is rather safe.
Um... can someone explain a bit what I'm looking at?
But why did Microsoft use a domain in its products which they do not own?
> And it would be easy to see if they tried anything (are those ports accepting connections or not?) at which point it would have been quickly seized.

They can't seize a domain because you were running some service on it, can they?
I write about technology behind data governance, privacy and security at https://dbadminnews.substack.com/

I started the newsletter because information is either by commercial vendors (and biased) or in research papers that are not easily discoverable.
Writing Is Thinking (2019)
https://artres.xyz I blog about art tutorials and resources. I also host interviews with creatives that reach out to me. I have a lot of fun doing it. I also have a design/artist utilities like an idea generator and a random image mood board generator.

PS: great stuff here everybody!
Having known perhaps less than 20 colours for my whole life, this collection is eye popping. And the design of website is perfect too
Either this will win the Nobel Prize, or it won't hold up. (Guess which one is more likely.)

A few reasons I don't think it will hold up:
- this is a university press release
- N = 21
- no control group
- no blinding
- university press release doesn't even claim it's a new approach, just incremental improvement on an existing approach
- the paper (link below) is about evaluating safety, feasibility, and "preliminary efficacy" (i.e., they're not advertising this as a robust result)

Paper available here:

https://ajp.psychiatryonline.org/doi/10.1176/appi.ajp.2019.1...

https://www.biorxiv.org/content/10.1101/581280v3.full
>Where do you get $3,000 a month from?

The combined wealth of the entire 1% is ~$25 trillion. Population of the US ~330 million. Equally distributed and paid out over 24 months comes out to ~3,156. If you only give it to adults (~255 million) the numbers aren't much better.

$3,000 a month is barely enough to get by in several major cities. It'd be fine out in the countryside, but in San Francisco, NYC, and several other major cities it would be barely enough to get a studio apartment and barely enough food to eat.

If it's not universal then it's a misnomer. And it's just another welfare/entitlement program then.

>It’s also amazing that the top 1% can just find everyone in the United States for two whole years. Doesn’t that just prove my point that inequality is a huge problem?

No, not particularly? Why does that matter, other than the usual arguments about wealth in the hands of the poor leading to more marginal consumption and therefore possibly leading to more economic growth?

>Preventing tax haven flee is easy. The US already does this, charging income tax to high income expats. If those expats don’t pay they have big issues if they ever set foot in the country again.

And if you tax them at 100%, or whatever obscenely high rate you're proposing, they won't ever set foot in the country again, and won't have any desire to do so. And they can avoid worries about extradition etc. by simply renouncing their US citizenship before their tax burden becomes too great, something that already happens even with our current tax rates
It certainly sounds dangerous, but we really ought to wait for the phase 1 trial before proclaiming that it's dangerous for sure.
Is it Anglicized, or is it just using that Latin alphabet that some parts of former Yugoslavia employ (including Serbia and Croatia)?
Of note: shopping malls in the US have a similar dependence on foreign tourists' money. It's why you see all those currency exchange bureaus in each major mall.
To add to logicchains' answer:

Normally, you wouldn't take the function body as a formal statement, and would have a separate formal specification instead. In the example of increment, the formal specification is no simpler and no more useful than the implementation itself, but this is usually not the case.

Imagine e.g. that the following specification describes the desired behavior of a function f:

f(x) <= √x and (f(x) + 1) > √x

The OS developer would write something the code below to implement this specification.

int f(int x) {
int r1 = 0;
int r2 = 1;
while (x >= r2) {
r1++;
r2 = r2 + r1 + r1 + 1;
}
return r1;
}

Does this C implementation conform to the specification? It's not all that easy to tell. But if the program is actually correct, then Floyd-Hoare logic [1] allows you to go through the program line-by-line and produce a proof that for any integer i and variable x', the following holds:

lemma f_implements_spec: "
{ valueOf(x') = i \<and> i > 0 }
x' = f(x')
{ valueOf(x') <= \<sqrt>(i) \<and> valueOf(x') - 1 > \<sqrt>(i) }"

meaning that if the statement x'=f(x') is ever executed in an environment where x' has an integer value i > 0, then after this line is executed, the result stored in x' will satisfy the specification above.

[1] https://en.wikipedia.org/wiki/Hoare_logic
As soon as I saw "magnetic stimulation" I was a tad skeptical as they've already achieved this with brain electrodes in the past. The difference is it could actually be practical, on psych visits. I see it as a stand-in for medication with all sorts of side-effects. Not a solution mind-you, just a way to bridge the gap to recover, which is what medication is meant to be.

EDIT: a stand-out line: "One month after the therapy, 60% of participants were still in remission from depression. Follow-up studies are underway to determine the duration of the antidepressant effects."
Individual TMS is really interesting. My understanding was that most large-scale TMS was untargeted and not really that effective.

I was about to write something about a side effect I had read, which was about people losing the ability to swim, but that apparently a DBS (deep brain stimulation) side effect for tremors from parkinsons.
oops, my bad - thanks! https://github.com/matrix-org/matrix.org/commit/42e8a90932ae.... CI will pick up the fix in a few minutes.
Most interesting, but I feel like the author is being unfairly harsh with Taylor series, slide 64: "Taylor series suck".

They are indeed less accurate than Chebyshev polynomials, but computing them is a breeze, and as highlighted by the subsequent 20 slides, computing those is not.

For a same accuracy, with Taylor you will need a bit higher order polynomials, or more polynomials, but you can easily compute thousands of them on startup (I did this in one of my libraries: https://sourceforge.net/projects/jafama).
Production is the state's only problem, comrade.
https://bitsorbricks.com/writing

It’s not that awesome TBH. You’d read because every now and then I publish something informative, useful or thought provoking. But it’s mostly just info about my
Personal life.
I have read your articles over and over and just keep getting back to them whenever I'm in need of inspiration. They are really well written, have the right pace to follow up and are well illustrated!

The one on client-server game architecture motivated me to start https://github.com/halftheopposite/tosios (still a WIP and a very naive implementation, but working on it).

Thank you for your work!
One thing to note is that the study population consisted entirely of severely depressed people. As far as I've read about it, the current consensus seems to be that the more severe the depression is, the more likely it is to respond to medical interventions as opposed to psychological/behavioral ones. This ties in to a broader understanding that depressive disorders are considerably heterogeneous and no single theory or treatment target is relevant to all cases.

So while this may be a genuine breakthrough, I hope people don't get the idea that it's the cure for depression generally.
Just got a ~15% refund through Esurance. For reference, I’ve never been involved in any sort of insurance claim.
Well, if I can have several different mirror-bunches set up, that would probably do the job nicely while being easier to implement =)
I was working on streaming video in QuickTime at Apple, made approximately the same mistake, and got a nastygram from Van as well.

Now I wish I’d kept it.
This is why I use foo TLDs in the documentation. To make sure it won't work in a copy-paste situation.
Shady clients is what retainers are for.
This was deliberately the Debian package flavoured installation. We'll probably do a Docker one too (which will likely be a lot faster, but also a lot more mysterious as to what's actually going on :)
https://tysonmaly.com

I don't post as often as I would like, but when I do, I try to provide value.
I bought a Sony WH-1000XM3 lately and i was so disappointed compared to my other Bose or Jabra product...
I came across QuestDB in the past, but never tried myself. At my company, we use kx and onetick. Could you please elaborate why you are also comparing with Postgres since it's not really a time-series database nor revendicating to be part of the "high performance" club?
Interesting. I have no way of knowing, but my guess would be that your experience is a consequence of Yugoslavia starting to break apart. All out war started just 2 years after your trip.

A big part of Yugoslavia's budget came from tourism, so I don't think your experience was common in the years before the breakup.

Thanks for sharing though. I love hearing stories from Yugo history.
Quantitative Easing is the fed buying bonds, bonds that must be repaid. It's not free money, it's loans.
> Using Bootstrap isn't going to make your site less accessible or less secure.

the same could be said for jQuery, still less and less people are using it
I clicked it and was waiting for it to do something useful.. but I don't think it did.

But it was cool.
Japanese text is commonly written either left-to-right or top-to-bottom. You'll see top-to-bottom most often in newsprint or manga.

After clicking on the little 'person' icon in the lower right of the control you're taken to the author's personal site I assume. The site seems to indicate that they're either located in Japan or natively Japanese.

In this case the Japanese text is correctly oriented, however the English text is rotated 90 degrees as a result. Since they author is probably aiming for a Japanese audience this doesn't come off as odd.
> Is there an outside definition of medical ethics that can really be impartially compared from generation to generation?

well, doctors do take a form of the hippocratic oath which dates to ~400 BC, so ...
If you are big enough, and people want to use your software enough, you can dictate what you will support no matter who is paying.[0]

[0] https://www.theguardian.com/technology/2015/jan/30/flash-you...
Well yeah, maybe in former times, when there was pay-per-view. Don't know anybody who is still doing this. Nowadays (already 10+ years) ads are only paid-by-click, because of "conversion".
Those are both very nicely designed sites.

I ended up doing pretty much the same thing. It doesn't work so well for footnotes that are supposed to be linked to a particular work though.

Here is an example from my site with both footnotes and sidenotes[0]. I style the sidenotes to be distinct from normal paragraphs, which can look great or weird depending on the content.

[0] https://sheep.horse/2017/10/how_you_are_reading_this_page.ht...
That could be an acceptable trade off for some applications. I could see this being useful for companies that host a lot of images. You only need to encode an image once but pay the bandwidth costs every time someone downloads it. Decoding speed probably isn't the limiting factor of someone browsing the web so that shouldn't negatively impact your customer's experience.
The numbers are impressive, especially because it is against kdb. q/kdb is mostly finance focused and closed source so not really flexible. questdb has an advantage on this, it might be a bit of a tangent but I wonder if this could be used to replace redis, I can see how having SQL as a querying language could be a big plus.
Anyone able to find the actual paper? I'm having a difficult time locating it.

EDIT: Here it is [0]

[0] https://ajp.psychiatryonline.org/doi/10.1176/appi.ajp.2019.1...
With you 100%. And yes, I will sue.
I would say before these. Depression robs people of their potential to do good things.
When I clicked the toggle button labeled "munsell" it made the color like a tornado spinning.
How to Run Rosetta@Home on Arm-Powered Devices
Important note: this result is not from a randomized controlled trial, and have been done on small number of subjects. The article mentions that the researcher are designing a larger and proper trial.
I got a Fuze in 2008 because they supported a WiFi connection to LAUNCHcast radio (acquired by Yahoo! at the time). (LAUNCH as probably the first streaming service with a recommendation engine.) I had spent years curating my personal LAUNCHcast station, so it was amazing to have access to it via Wifi. Then Yahoo! shut down LAUNCH because of fears of high royalty rates. The streaming services actually won the lawsuit and kept the low rates, but it was too late as Yahoo! had already pulled the plug on LAUNCH.
Regardless of the genesis of how we discern music, specific modes have characteristics that are fairly universal.

For example, the aeolian mode is a much darker, sadder mode than the ionian mode. Why is that? I'm sure there's an intense debate there. I just study the theory, not the higher order biology/physics of why the music speaks to us the way it does. But the characteristics of modes and how they resolve are fairly established at this point.
Named Japanese colors arranged by their similarity to each other.
>How did they function for centuries before, when shareholders were not demanding increased efficiency?

They only served the rich elite
The criteria for what "depression" is has changed over time, no wonder our results are changing. Almost everyone has depression given the current criteria [1].

Most people have 2,4,5,6,7.

The criteria is so vague your study would have to control for each item on the list. Here, they're not even using that criteria, and instead just using a simple test which involves self-reports. Placebo could be a huge factor here.

[1] https://www.psycom.net/depression-definition-dsm-5-diagnosti...
Previously Compose did not have a specification, only the implementation, and it was tied to Docker's products. The aim here is to open it up, and let the specification evolve in new directions, such as better supporting deployment on Kubernetes, as an example. It is supported with some other implementations but we want to bring these closer together.

Compose has a lot of users, and hundreds of thousands of Compose files on GitHub, so we wanted to open up development as much as possible.

(I work at Docker)
Does someone have experience running Jitsi with 4+ users? Like in conferences with maybe up to 12 people? Can it handle it?
My brother in law is a CS professor at a US state university.
Failing foreign students is highly discouraged even ones caught cheating. He has learned to not do it anymore.
Moral problems arise not from curing suffering being morally wrong, but the leakage of moral responsibility in medical/psychiatric practice outside of research.

Any tool to 'correct associative pathways' will be used for the conversion therapy of children, punishment of apostates by repressive states, and torture of the criminally convicted within one generation of it's inception. My primary hope for the memory reconsolidation therapies require some kind of actual moment by moment deliberate cooperation by the treated, and can't be performed without an expert (hopefully) bound by professed vows.
https://daveceddia.com/

(click on All Posts). I write about web development, primarily React, but I’m trying to branch out into other front end and back end stuff. I’ve got some full tutorial-size articles on things like React, Redux, Svelte, and CSS, and lots of smaller articles on topics from deploying with git to setting up Tailwind in a React app.

Here are some direct links to those, and feel free to browse the archives. I’ve been writing since 2015.

React Tutorial: https://daveceddia.com/react-tutorial/

Redux Tutorial: https://daveceddia.com/redux-tutorial/

Svelte: https://daveceddia.com/svelte-intro/

CSS: https://daveceddia.com/implement-a-design-with-css/

Deploying with git: https://daveceddia.com/deploy-git-repo-to-server/

Set up Tailwind with React: https://daveceddia.com/tailwind-create-react-app/
> I think the success of such a workflow says a lot of positive things both about drewdevault and git.

There's a massive flaw in this approach if the repo is not private (collaboration is mentioned in the post in terms of "review some incoming patches") in that you can't push works in progress to the remote as you are doing it all in master. If you did push those then when you tidy it up you will cause problems for other collaborators.

If you can't push WIP out then you have the only copy, and you're losing some of the distributed advantages of git: distributed backups of your WIP changes being one of those.

> But to be able to successfully rebase and reorder and cherrypick commits says a lot to me about highly disciplined organization.

Yeah, rebases and cherry-picks are great features. Just use branches as the starting point.
Why not? Personally I enjoy SIP itself greatly, it works well and is basically human readable, to the point that I can explain it to non-technical people.

My main problems over 15 years of working with SIP have been with "helpful" boxes in the middle tampering with my SIP messaging. NAT used to cause a bunch of problems, but these days I have workarounds for most cases that work great until the aforementioned middleboxes start "helping".

Give me a NAT-free network where the packet that reaches the far end is the same one I sent and my SIP systems will be quite happy.
We detect suddenly appearing bursts of activity which share many repeated nodes or edges, which we refer to as microclusters. E.g. denial of service (DoS) attacks in network traffic data and lockstep behavior.

Also, we detect scenarios where an individual edge may not be anomalous but along with other edges it acts as an anomalous community. For example, in the animation at https://github.com/bhatiasiddharth/MIDAS/ it may be possible that an individual edge is not anomalous but together the three malicious entities do a coordinated DoS attack.
Florida is very aggressive about using non-resident student tuition to subsidize state residents. Depending on the specific university and degree program the non-resident:resident cost ratio (tuition and fees) is between 6:1 and 8:1. That is one of the highest, if not the highest, ratios in the US.
US Education isn't a path to citizenship or even an H-1B visa. Even after getting a 4-year degree from a top American university, you are still competing for a visa slot with tens of thousands of minimum wage applications from overseas consulting firms. And that's assuming you get a job offer right out of college with someone willing to sponsor you. Then you'll have to go through the visa lottery (<15% chance of selection), and after that wait in the green card line (up to 20-30 years now for Indian and Chinese citizens).

Those with the means can purchase US citizenship much more directly - for example look up the investor visa.
That isn't what happens in reality.

It's interesting comparing hospitals with universities, since both are supposedly non-profit but make obscene amounts of money. In the past 15-20 years, both universities and hospitals have increased their administrative staff and the percentage of revenue that goes towards paying administrators, and invest the increased revenue into new fancy buildings and a "better experience", treating their students/patients as customers instead of people who need education/healthcare. Universities have been relying more heavily on adjunct professors, who are paid very little compared to full time professors. The money they make is not being reinvested into education (or better healthcare, in the case of hospitals).
> Have you faced this problem?

You can be fairly certain that everyone that has ever worked at home or worked remote generally, has faced this problem. The answer is yes, everyone deals with it.

I've spent most of my life working in a remote model, home office and similar. I was working in remote teams as far back as ~1997. Back then IRC was our Slack (combined with email lists and ICQ or equivalent; it all worked very well, productivity was high; it's amusing how far we haven't come).

One thing I've noticed that seems to be close to universal for people, is the first five or six hours of the day after you wake up are the most critical. They're the high-focus, high-productivity hours. The brain is raring to go. Try to knock out as much high-value work in those initial hours of the day as you can, and let yourself relax more thereafter rather than punishing yourself for not being at max productivity for 8 or 10 hours per day. Working at a high level of productivity for five or six hours every day will accomplish amazing things over time. If you start working at 9am, relax your slack-off (laziness) controls after 2pm, take care of the more trivial / mundane / mindless work tasks after that if needed. Something along those lines. It's about prioritizing work importance by order of the day. Make sure you don't invert it by wasting your precious high-productivity hours on bullshit. If you try to enforce hyper discipline on yourself for 8 or 10 hours per day, seeking long durations of max productivity, you will suffer for it immensely over time and you won't end up in a good place in terms of productivity or results (including mental state, happiness). Instead, compromise with yourself. It is possible to do bursts of long hours of high productivity with limited negative consequences (especially when you're young), you just should not do it frequently, you pay a price for it. Don't fight with yourself, don't try to beat yourself into submission, it's not an effective approach; instead, structure everything so that internal wrestling match is unnecessary.

Some people work better late at night, they do their best work then. The concept applies just the same, prioritize your high-value work for that time if it makes sense.
Is it? Simple solution setup a an alias _git cob new_feature_ which can fill in the rest. Takes a second or two to write.
Yes, I managed to type it incorrectly twice, and noticed it after the edit button expired.