skysight-inc/HackerNews huggingface dataset:
I typed a lot. It has no conclusion or suggestion. Just leaving it here.

high five buddy!

Don't focus to get more work on your head. Try to find a spot in the team where dependency on you will be less. Don't stress yourself.

It will be hard, sleepless nights, panic attack in the morning If I wake up early, what I do, I oversleep and work in drowsiness. And then I open outlook, teams, meetings, panic attack starts. A clear head becomes a turbulent head and doesn't know what he is talking about.

I know I'm above average, you are also above average. It's mostly people that disturbs the mind.

What worked for me in the past - I wanted to get my life under my control. Moved nearby my office, setup a good routine, removed distractions, got into fitness, veggies, fruits, threw away mobile, I touch computer only at work. I stopped speaking or letting anyone to waste my time at office. I became a loner, but I was focussed. I got better, started a side project, never overdid anything and practiced meditation. My only goal was to keep mind occupied and do not loose thoughts.

It worked pretty well. And everyday routine was boosting my energy levels up and up. but one day It got ruined. Family and relatives missed me so I started spending and sacrificing my interests for them. Mind went back to same old same old dancing head phones.

I still miss and in fact I'm living in past and in my present reality I know for sure I'm really not present. I really have no clue how I'm even surviving work / life but I need to earn to provide for my mom and my sister. That's the only reason I have. But even that I'll forget.

The only reason I spoke this much is that, I feel the same. I was good in my school, I liked math and science. College was a new world. It started fine but something went upside down. Then I was excited about work, for first 3-4 years it was exciting and fun, then interests and motivation went down. Throughout my life I used to find reasons why I have memory loss, why I cant pay any attention, trying to find out answers or cures, and most of the time I'll be lost in a cooked up reality believing in some non-sense that keeps me happy at that moment but serves no purpose to survive in the world. Recently I have started thinking that's how the world is. Friends moved on,
Oh they're trying - I'm pretty well known person in the community, and the amount of "start-ups" and seedy "one man CEO" types there is.. overwhelming.
wish i could play a pirated copy of the ghost of tsushima game
The working class perform a lot of action. They work incredibly long hours and are still poor.
https://www.mathcha.io/editor is indeed much closer to TeXmacs than https://latex.codecogs.com/eqneditor/editor.php. No matter how instant the rendering is, the latter is still split-screen. It may not seem like much, but when you are knee-deep in a calculation the advantage of having a single point of focus for your eyes is huge (at least to me).
"my insatiable appetite for war and killing in defence of myself,"

For a culture, that sounds like a feature, not a bug.

I don't hate the idea of FAANG unions, although I expect you just end up with two abusive quasi-monopolies instead of one. (Question: Why is Netflix in that group aside from the unfortunate new acronym?)
I read about 75% of the article but then an ad popped up and covered up the bottom.
The difference is that RCV results in the "least worst" candidate winning. They receive the most #1 votes, but unless they achieve an outright majority, if they only have a plurality then they only win by being the most preferred alternative vote by the voters.

So the situation is that the leading parties have to spread their ideological base to incorporate more of the electorate.

In addition, Australia has compulsory registration at 18 and compulsory voting (well, actually compulsory attendance at a voting location, the ballots are all secret).

So the candidates have to appeal most to a plurality of their electorate, and they have to appeal least worse alternative to a majority.
Facebook is putting shopping into WhatsApp
> SPARK is a proof that something is wrong. If you have to restrict the language to attain the goal of the language, that’s a bad place to be.

You do realize that there can’t be a Turing-complete language that can be formally verified? You either restrict the language, or you will meet the halting problem.

I don’t see why is it problematic to provide a well-defined subset with stricter guarantees while still having the overall language for parts that need the full computational power of Turing machines.
You are going to deal with overtime for one screw that takes you 30 seconds? Sure if we are talking about a lot of time, but one screw is a few seconds and you go home.
"Made fresh at home" is a draw, there's also the ability to make modifications to recipes: Honey sweetened or etc chocolates wouldn't fly commercially but there's joy to be had there.

I've got to get into making ice cream; all commercial ice cream now uses this new sugar that i can't digest, someone invented a new way to make it cheap a few years ago and now its in everything.
I still remembered in 2018, after testing Hasura, when I had to call for an emergency meeting at my local co-working space because I was so blown away about how good Hasura was!

Tweet with picture from the emergency meeting:

https://twitter.com/HasuraHQ/status/1068145251267895300

To see the progress by the Hasura team, and the welcoming community they've built around the product is amazing. I'm so grateful to be part of it.

I'm fortunate enough to be able to work with Hasura at my startup (https://nhost.io) where we're trying to make app development more accessible, and Hasura is a central part of our product.

I'm excited for the future of Hasura. Thanks to the whole Hasura-team for the amazing work!
Your guess is as good as mine.

Maybe Charles Lindbergh used diet and exercise to improve focus?
Yes, all these tests have different characteristics. I think I was making the point that there isn't an "infection" test. Temperature's are useful because they are an immediate response by your body and they can be checked instantly in remote locations. CRP is a fairly standard test, but it is raised in infection/inflammation/surgery etc, and the delay can be unhelpful. Other tests include blood cultures (low sensitivity), white cell count (again quite none specific) and then more location-specific tests, like xrays, CTs, PET-CTs, urinalysis.

A lot depends on your index of suspicion, how well the person is, what the risks are of getting it wrong (in both directions), what safety nets you have available to you (i.e. are they home with someone sensible who can keep an eye on them).

In summary - there is no perfect test or perfect heuristic to apply to everyone.
I would like to see what kind of documents cannot be imported from LaTeX, because the LaTeX -> TeXmacs converter works correctly or nearly correctly on thousands of documents from ArXiv.

There is also an option for conservative conversions (see Basile's comment below).

The way you phrase 'not compatible with LaTeX' and 'partially supported' suggests that TeXmacs is to blame for this situation. IMHO, TeXmacs does the conversions as well as reasonably possible: you could have said 'LaTeX is incompatible with any other format', which I consider a better assessment of the situation. If you don't agree, then please tell me which other document format is compatible with LaTeX.
AceQL Client JDBC Driver 6.2 Released
Wow this looks great, didn't know about this tool. Thanks for the recommendation!
Love this! I am nowhere near ready to publish, but I am trying to do something like this myself, building some automation and additional features on top of LFS. I am unfortunately quite a bit more ambitious about it, though, so it's been a challenge. Supporting UEFI seemed non-negotiable to me, but wasn't hard. Supporting arbitrary bare metal hardware, though, has been quite hard. I can see why real distros take the kitchen sink approach of just including every possible kernel module, all firmware, and all microcode updates, even knowing most of it will never be used. Getting NVIDIA's CUDA toolkit extracted from their .deb files and installed via a more LFS-friendly means without actually using Debian tooling has also been a challenge.

My hope is to be able to provide scratch-built distros that each serve a specific purpose (i.e. hypervisor, desktop video editor, vm guest on Hyper-V and/or KVM, container orchestrator), with GPU and scientific computing being one of those purposes. The things you learn. It apparently takes ATLAS at least two full days to find the optimal kernels on Threadripper. De-vendoring mbedtls from Julia teaches you it won't compile with gcc 11.1.0 unless you completely turn off warnings as errors, not exactly confidence inspiring for a core crypto library and making me question Julia's decision to use it. Building Epiphany in 20 seconds and then watching Firefox take hours just to continually hang after launching thousands of nodejs processes that consume no resources and don't seem to do anything makes me question my decision to use Firefox at all. I understand now why LFS insists on only using the ESR versions.
The butt.
That is nothing like a reliable source. It's an opinion piece from a far-right ideologue with an ax to grind. It contains not one word from Ford himself.

Ford's whole life shows that he was up to more than just maximizing profit. Look at his energetic pacifism or his vigorous paternalism toward workers. Or his antisemitism for that matter. Wealth to him was a means to a variety of ends.

If you want to argue that the the higher wage was purely profit-driven, you'll have to show it was not just profitable, but unrelated to those other motivations that drove him. I don't think that's doable. And if it were, I'm not seeing it as relevant to my point, which is that Bezos is being mean-spirited and short-sighted even in comparison to jerks like Henry Ford.
> Go search for "sissy training" on PornHub.

I searched. I can't figure out what these videos are about from the titles/thumbnails, and I'll be damned if I'm actually going to watch these things. Can you summarize?
After a little bit of research, it looks like this is how you would get the expected outputs:
https://play.rust-lang.org/?version=stable&mode=debug&editio...
More importantly the workforce is familiar with C/C++, how it’s listed on so many job listings. Which is kind of sad as a requirement. A programmer who can’t become productive with Ada after a few weeks (productive, not masterful) is not the kind of programmer anyone should be hiring for any job. The syntax is (almost) dead simple, for a reason.
Can always need a new one since the old life church one (that used to be good) has become focused on growth hacking that I cannot bookmark a verse without it trying to broadcast it to all my friends.

The Bible is deeply personal to me and just like I don't anyone knowing what I asked my doctor about or what I bought at the pharmacy I don't want to share everything I read in it.
So if I want a full-blown virtual machine I can put that on "my" phone right?

Oh wait Apple controls that too.

I guess in the absence of allowing us to have full-blown virtual machines we'll have to settle for asking Apple to update their browser.
I'm fairly conflicted about this. While I believe that learning C teaches bad habits - manual memory management tends to account for some absurd percentage (70-80%) of CVEs in modern programs - it's also unquestionably tethered to the history of software, and a majority of the immense foundation of tooling on a Linux system is authored in C.

There is a terrific benefit to learning on a platform where you can not only look up documentation within the system (man pages), but also "dig deep" into the code of any particular piece of the system you are interested in. So in learning C, you gain access to the body of knowledge contained in a Linux system, or contained in a BSD, and when you get curious about something like "These loops and conditionals are all fine and well, but how does a window actually get drawn to my screen?" you have everything at your fingertips to go and answer it.

Is that connection to the machine possible without learning C? You could use a toy operating system written in something else, but you miss out on the honesty that comes from teaching the same system that people are actually using (or at least able to use).

I think Go might not be an unreasonable alternative. It shares C's philosophical heritage, removes the need for manual memory management, and is capable of exposing a student to pointers, creating images, and HTTP communication all within the stdlib and the first chapter of the official book. The only downside, as I see it, is that one would need to additionally learn something like Rust to be able to apply the concepts to things like kernel drivers and close-to-the-metal programming.
I am sceptical of ASUS's current claims in high-end. They tend to come, and go from a niche.

I recently saw their two screened laptop, build quality was superb, as was the rest of hardware BOM, and original engineering.

For Lenovo, I see the same disease that claimed Dell before The "PRODUCT MANAGEMENT."

They had an excellent XPS line, and then they started to slice stuff off it every new model. Now it's very bog down commodity hardware underneath:

1. Low spec memory

2. Qcomm low-end WiFI/bt which bugs out even in Windows.

3. Low-end SSD

4. Batteries going down from 68Wh to 52Wh in the 13th

5. Panel went from top tier one, to noname low-end ISP with <300nits brightness. Only 4k panel now is above average for the class.

6. Testing, and engineering down the drain: mutual RF interference kills WiFi, BT, PCIe, TB, USB3.

For Lenovo, it's of course not the ThinkPads of old. For P15 line is experiencing the same "fade," like a decision to fit P15s with 3 cell battery.
Stuck in the 90s is generous. Win31 and MacOS both had built-in combo boxes with searching, styling, etc.

Meanwhile the browser default multiple select UI is still one of the shittiest UI widgets ever built and its still all we have.
Best Free, Biz and Ent CDNs
I believe the secure enclave, which is responsible for mapping the passcode to an encryption key, has hardware level rate limiting so I suspect GrayKey is limited by that.
The amount of way google could have data, this is just peanuts.
> But it would be better if universities, which owe their success to a tradition of dissent and debate, did in fact defend it.

From the article
GNAT has existed since 1996. It’s had a free compiler for a very long time.
The Mind of a Cyber Criminal
The layout of this article seems unique, and in one of the sub-sections I think they did go into the Z-axis ordering a bit:

> Moving on, the ordering table puts the burden on the developer/program to show the geometry in the right order. In some cases, the calculations implemented rely on too many approximations to gain performance. This may result in flickering or occluded surfaces that should have been displayed.
Every server of mine has "history" in a form of script that can rebuild it from the scratch on brand new clean machine. Every time anything is added / modified the script is ran on clean machine to test if all still works as supposed. My databases are all automatically backed to a different backup servers and are restored when needed by the same script.

So for me setting up new server involves following steps:

1) Modify config portion of the script (basically change default values if needed) and run said script on a new server
2) Test
3) Put old server into "read only mode"
4) Run script again with the option to restore the database only.
5) Switch DNS

There are/could be slight variations of course. Practically, I did recent migration of the new server for new product that was running on my location in Toronto to Hetzner. It took a "whopping" 15 minutes of which 13 been taken by restoring database from backup.
Gender dysphoria is a mental disorder (saying this in the most scientific way possible). It's not a cultural stigma.

So no, I disagree that it has any semblance to the "not black enough" argument.
Ask HN: Anyone Using Notion API?
U.S. Blocks Websites Linked to Iran at Key Point in Nuclear Talks
Try posting the link on Twitter or Facebook https://journal-neo.org/2015/09/23/turkish-uyghur-terror-inc...

Watch the video for details:
https://www.youtube.com/watch?v=s2xqnx0EwOk
A flyer with an image of a gun and text reading “shut the fuck up, terf” (trans-exclusionary radical feminist, a slur) was circulating

Not accepting incivility from people is hardly what I'd call a "backlash". We don't operate our universities on the heckler's veto.
Open Catalyst Challenge: Using AI to Find Catalysts for Renewable Energy Storage
I expect that the main value was in proving you could sit at a desk for eight hours a day.
>As there are no Shodan-like search engines for the telephone network, I needed to do the exploration myself.

in the 2000's there was a massive telephone search engine hosted at bellsmind.net. You could find brief descriptions of hundreds of thousands of phone numbers. You could just run down a list of 800 numbers and call the ones that looked interesting. Some presented you with a new dialtone. Some played weird little jingles. Some lead you to a real person. A few were set up by phone hobbyists and let you play games.

At some point the law caught up with BellsMind and the database was taken down. The whole site is gone now - even the blog.

You can see remnants of that database here (just skip through time to see new stuff - the rest is mostly broken): https://web.archive.org/web/20041015131435/http://bellsmind....

EDIT: This is the page for "The 944 Project", which was a crawl of the entire 800-944-XXXX space. Easily the best list at the time. Some stuff might still be there. https://web.archive.org/web/20050125030027/http://bellsmind....
I don’t know if this article is describing this phenomenon accurately, as the first paragraph contains an obvious falsehood: “ A flyer with an image of a gun and text reading “shut the fuck up, terf” (trans-exclusionary radical feminist, a slur) was circulating. ”.

TERF isn’t a slur. No one has successfully beaten and killed a woman while calling her a TERF and then got away with it in court like the gay panic defense and the trans panic defense has. No one was lynched for being a TERF like black people have been. This is a gross talking point trying to claim victim positioning and is inaccurate journalism. The whole article is suspect to be sympathetic to anti-trans politics as a result.

I do want to talk about how much gender has invaded the academic life in a way that gets in the way of education. Obviously, I don’t want even more gender politicking from the other “side”!
Sounds like a dial-in meetings system maybe?
Correction, MMP is sort of used in Tasmania's lower house with the Hare-Clark thing.

And they've got an even more convoluted mechanism for their upper house :)
Improving Your Business Performance with Agriculture Software
I'm no expert at all so please understand this is just the rambling of one person who's been in the trenches for a while...

Someone who sees the potential in other
people and has the ability to unlock it,
and doesn't settle for simply managing time
and tasks. But for clarification, do you mean
a third-party that can also help coach things
like work-life balance?

Yeah, realistically I think it's a third-party thing.

I know a lot of therapists who specialize in ADHD refer to themselves as coaches. Because ADHD isn't really "cured"; it's just sort of managed and it seems to pair pretty well with having a third party coach. I'm not sure if this is common with other behavioral health issues.

The best managers do some level of this and really can bring the best out of individuals. But finding a manager who can run a department, interface with the rest of the business, and function as something of an individual coach... that's some real unicorn territory. Finding one is great but their rarity means we should probably never count on having one around.

It's almost like finding somebody who's good at MMA, plays the violin, and is a decent watercolor artist. It is obviously possible but they're such disparate skills.

(side note: executive coaching definitely is a thing. It is not uncommon for people/companies to invest in this sort of thing.)
Comments like this are the reason I keep coming back to HN, thanks!
We need to know more about where and how they’re hosted.

I have my VM server plugged into a watt meter. Launching a single additional VM (qemu) doesn’t change idle power consumption in a measurable way.

However, if they had 1000s of idle VMs then they’d need to keep additional servers running because a single server can only host so many VMs, idle or not.

I’d guess this is more about limiting their hardware spend than actually saving significant amounts of energy. A single employee commuting to the office in a car consumes far more energy than an idle VM running for a long time.
IRV has a non-complicate-to-explain problem: you can screw up the ballot and invalidate your vote.

> Unlike many single-winner methods, instant-runoff cannot accept equal rankings, and must discard ballots with multiple first-preferred remaining alternatives: such ballots would be equivalent to casting multiple ballots in a plurality election

With all-the hubbub on the last election about vote validity, and hanging chads before that, the last thing we need is screw-up-able ballots.

IMHO we should not even consider any methods in which you can violate invariants on a paper ballot. That rules out FPTP, IRV, and any others where the user with pen-and-paper can enter an invalid state.

Err, I guess that rules out 321, which is my new favorite. Simple fix: just count multi Bad/Ok/Good entries toward that total. In the first round, you only look at "good" scores, ignoring ok/bad. Then in the bad round, same thing. This ensures a) you can't produce a bad ballot b) ballot counts stay orthogonal for each category c) multi-entries kinda average out.

E2: well I guess you can manage to screw up ANY style of paper ballot and violate some invariant. I guess it matters the difficulty of screwing it up and whether it's recoverable.
The first statistic in the article (high school completion rate) is not an appropriate measure.

There's a growing body of evidence that high school seniors are being graduated whether they're capable or not, so a diploma in 2016 means much less than a diploma from 1976:

https://www.uschamber.com/above-the-fold/high-school-seniors...
> Gender critical been defined as a group in such a way that no-one will admit to being in it?

No, that's what they call themselves. You can see plenty of people using that label on twitter.

Polarize_d_, in that people have gone out of their way to polarize it. The last major legal advance was in 2004, https://en.wikipedia.org/wiki/Gender_Recognition_Act_2004 with broad support, and it's only in very recent years that this backlash has sprung up.
Eight Questions I Had Every Day as a Dev Team Lead
I just realized it's done precisely like that in my language! Never even thought about it. But there is a standard "written" version of the language and dialects are mostly spoken.
"WarVOX spent 60 seconds on every call, whether it was answered or not. This resulted in a wardialing speed of 1 call/minute. For 56874 calls, this means roughly 40 days calling day and night."

Seems like he did actually call at night times.
how do you find a company like this?
Or Amazon could default in a random key to lock down the data.
> TERF isn’t a slur. No one has successfully beaten and killed a woman while calling her a TERF and then got away with it in court

That’s hardly the defining characteristic of a slur.