skysight-inc/HackerNews huggingface dataset:
Installing a package is enough. For example, if you install the emacs package, Emacs.app would be available in ~/.nix-profile/Applications/Emacs.app.

If you want to launch apps you've installed with Nix using Lanchpad or Spotlight, you can use nix-darwin[1] or home-manager[2] to create a symlink in ~/Applications, though the latter seems to have temporarily disabled this feature due to conflicts between the two.

[1]: https://github.com/LnL7/nix-darwin/blob/master/modules/syste...
[2]: https://github.com/nix-community/home-manager/blob/master/mo...
>For instance: I work for a company called Azavea that, among many noble efforts, maintains Cicero. It’s a database of elected officials and legislative districts in several countries around the world that gets updated daily. You can imagine that this should be a public good — like, doesn’t the government already have this information? Turns out…nah. Cicero requires ceaseless, grueling work to keep updated, and that means serious investment of time and money.

FWIW there is a crowd-sourced database of politicians on WikiData,[0] if anyone wants to take part in that project.

[0] https://www.wikidata.org/wiki/Wikidata:WikiProject_every_pol...
Weird is that in the US the liberals want to censor and the conservatives argue for free speech. They are at their throats so much that is probably doesn't really matter anymore.
Considering that any knowledge of importance in this context will go to the military–industrial complex, I don't think the act of actually sharing the information is an issue.
Pretty much all telescopes (under computer/time control) on this planet rely on UTC being quite close to UT1, since every second difference leads to a 15 arcsecond error in the pointing of the telescope (error between where you want to point the telescope on the sky and where you are actually pointing).

While <5s is usually not a problem (except for some instruments with very very small FoV), at 30s it really becomes a problem for instruments with modest fields of view.
I'm still using _mylanguage_ programming forums and they're way better than Reddit / HN in terms of an actual discussion becaues those two (HN/Reddit) are more like "move fast", so topics "disappear" from front page within hours instead of days. Ofc forum with _huge_ community will move fast too, but often things are divided into subforums, so it at least attempts to prevent that

So, when it comes to an actual, long arguing instead of upvotes wars then forums are still unparalleled.

Also having mentally stable moderators that have strong merits and community that understands fallacies helps a lot.
For the curious, there is more information on the K-machine here:

http://fare.tunes.org/tmp/emergent/kmachine.htm
Untangling Mechanized Proofs
Git ignore: An interactive CLI written in Rust to generate .gitignore files
Next step, start thinking about these systems as tools to be used in making technology. You've stumbled upon a very important thing here. Look up IDT gBlocks. Solid-phase nucleotide synthesis is only 99.9% efficient. This means when you make a 500 nucleotide long synthetic DNA strand, every other one will have an error. How do you clean-out the wrong ones? Well, you make the complementary strand, anneal them together, and pass them through a column with immobilized MutS. Guess what happens? The dsDNA with errors get bound by the enzyme and the perfect duplexes just flow right through. So out the other end is cleaner DNA.

This is how biotechnology works.
Of no one will ever agree with every choice made by a linter, whether default or customized. I would rather work in a team that agrees to follow some set of conventions than than one in which everyone does things the way they prefer personally.

For the examples in the post, by all means discuss as a team and agree to exclude them.
Rubocop can autoformat the code it complains about.
Discord etc. also requires a lot more regular attention to keep up with I find. The threaded nature of forums makes it easy to come back once a day or once a week or whatever and catch up with it, whereas in a Discord most of the valuable content will be lost in noise.

I do like that these chat groups are popping up for communities though, would just be nice to have the forum option too.... but I guess you have to go with what the majority actually use! And I'd much rather Discord than Facebook.
https://bgp.he.net/dns/backblazeb2.com#_website

This site can’t be reachedCheck if there is a typo in backblazeb.com.
If spelling is correct, try running Windows Network Diagnostics.
DNS_PROBE_FINISHED_NXDOMAIN
Tom Lehrer did a funny song about New Math: https://www.youtube.com/watch?v=UIKGV2cTgqA
The article really should start with the conclusion.
Many of the experiments I would love to do in biology are probably unethical, perhaps it is better that I went into tech, where a lack of ethics doesn’t necessarily equate to direct harm to a living thing.
Can't you phone her?
Replica AI Voice Actors for Unreal Engine
Hi Hacker News!

My name is Riccardo, I'm the CTO of Replica Studios - we're an AI voice company.

We just launched a Beta plugin for Unreal Engine that let's you use Replica AI voices in your game, animation, film and other creative projects. Perfect for when you need voices in your project, but don't have the time or budget to hire a voice actor.

Check out the demo on our website, called 'The Quest' where the entire vocal performance was synthesized using Replica AI Voice Actors. They even do the battle cries.

www.replicastudios.com/unreal

This is an invitation for all users of UE4 to join our free beta. We are excited to see how this tool helps studios, big and small, supercharge their audio and dialog workflows!

Reach out at any time to team@replicastudios.com if you have any questions.

Riccardo
You may very well be correct; however, I can see some other possibilities:

- The scores don't effectively measure learning.

- The need to prepare students for tests undermines the ability to try different teaching approaches.

- Scores don't change overall but the distribution of scores change.

- The distribution of scores don't change but the demographics of the students in a given part of the distribution change.

- There are confounding factors such as budget or classroom size.
> probably higher than the "real" cost of the traffic

Hopefully the project is setup in a way so it avoids the scam AWS et al does with charging for "premium" bandwidth, meaning the cost of the bandwidth should either be a static sum each month, way cheaper or free.
True, having a bar to entry is a good thing I think when you see the majority of content on FB or Reddit
Man Becomes Overnight Millionaire After Meteorite Crashes Through His Roof
And I dont mind if they have a valid argument. But most of the time it doesn't make any sense, technical, economical, or user perspective.

And most of these fans are post-iPhone Apple Fans as well.
Learn the internals of Git by hacking a website
> They do so, because they are competing with other employers for talent.

Yes, but the RESULT of the two-way competition where both employees and employers are competing is undefined in a simple model of the market.

If you work as a cleaner or an uber driver, you may find that even though you generate some surplus, you don't actually get any of it (or you get almost none of it)
Backend or Frontend who owns the API orchestration layer?
All of the assets of the last owner of this IP were seized by the Canadian government: https://en.wikipedia.org/wiki/Lisp_Machines#GigaMos_Systems
I feel like if media didnt seem conglomerated and opinionated, none of this would ever have been an issue. The problem is that globally, media has become aligned in its objectives, languages etc. to the point where anyone with just a shred of critical thinking would at least be skeptical about the quality of truth from mass media.

This is partly because american NGOs have orchestrated a huge indoctrination effort among journalists on a global scale. I have worked for national media for a little under a decade and every place I worked, there was journalists participating in stuff from "open societies foundation".

The quality of journalism has reached such a low that when tourists are group raped for hours and then are finally decapitated by religious fanatics (Any other description would not be allowed in media anymore, but you know who) who film and put it on the internet. they use terms like "Found with injuries on their neck". And then our police and media do everything they can to stop the real horrific truth from surfacing. No wonder people stop believing a word and become overly skeptical.

Honestly I think its a sign of health that people become skeptical regarding mass media. It would be even healthier if the general populace started to dismantle the power structures that dictates our dystopian future.
> can do this too.

Yes, it CAN but whether it actually does depends on the details. If you are a cleaner or an uber driver, you might generate some surplus but you might see the other parties take all or almost all of that surplus.
Agreed 100%, I have a troubled kid in school right now, who is off the charts smart but the only thing he will apply himself to is Advanced Math, Auto Shop and his Culinary program. If it's not hands on or mechanical he just has no interest in rote memorization. School needs to fundamentally change especially for adolescent males, it just stacks the decks against the high functioning learn by doing types. I often wonder how many great minds we have lost to being store clerk (no looking down on them, its just a waste of a mind if you have it)
The biggest difference that I can see is that this is more like a colo, where you own (or rent) your own equipment (in this case hard drives) to be stored in their facility, where you'll get a (rather generous IMO) VPS that can access your data.
Here’s some meeting notes I found browsing around https://github.com/jrm-code-project/LISP-Machine/blob/master...

Probably this meeting was quite late, prospects seem quite bleak
I don't understand how someone can learn math, yet be unable to solve math problems on a test.

In my 16 years of education, I saw a consistent 1:1 correlation with learning the material and doing correspondingly well on the tests. That consistency included myself - when I learned the material, I'd ace the test. When I didn't learn it, I failed the test. There wasn't any magical "learned but didn't test well" going on.
There is an emulator to run this [1].

[1] https://github.com/dseagrav/ld
Finland not being in NATO is more a result of it's successful strategy of surviving the cold war by sitting on the fence playing both sides [1]. Since the collapse of the USSR and Finland joining the EU the situation is quite different, but old habits, particularly successful ones, are hard to shake.

[1] One can of course speculate what would have happened if the cold war would have turned hot. Would ostensibly neutral Finland have been left alone, or would both NATO and the Warsaw Pact have nuked it just to be sure. Or would the massive nuclear strikes on the nearby Murmansk and Leningrad areas have caused such massive fallout that it would have been a moot point anyway?
Invalid cert for me? (FireFox latest, win10)
Days of free work you need to take up with your employer. They're asking for the church tax.
Stop Using Console.log() in JavaScript
> Due to current export restrictions, we cannot ship to international users :/

What restrictions are those? You even say people can use a forwarding service, if that were the case, wouldn't the forwarding service be illegal too?
I owned multiple communities including a custom built forum+chat hybrid (now that I think of it, it kinda resembled Slack, but I made it in 2010 with SocketIO, when ajax long polling and flash sockets were still a common fallback for browsers not supporting websockers)

It was quite popular. It was a mix of Rails, NodeJS and SocketIO and had 15000 members, and many adult boards.

I shut it down when it was hammered with child porn, “jailbait”, and witch-hunting on real people (like suspected pedophiles that they were tracking down). It was a full time job to be a moderator of all the content, especially all the liveleak re-uploads (you could host videos and images directly on the site and embed them in the chats as well) where people made it their goal to find the most awful, gory and offensive video there is (and I’ve seen A LOT of them to respond to user reports)

Structurally it had a set of categories where you could create persisted chat rooms, with any topic (as long as it matches the category rules). The chat rooms were indexable by google so we had a lot of visitors through google that were looking porn, which was posted a lot. Since anyone could post anything anonymously, even without signing up, there was a lot of content posted.

You didn’t even need an email address - just enter any nickname and a message and you were good to go. Registered members got verified usernames that were visually distinctive from anonymous users.

Bots were rampant but using various bot-traps, fake fields, tracking keyboard and mouse behavior (were there keyboard events? Time betweem them varied a lot or all consistent?) and shadow bans, these were dealt with pretty effectively.

I really didn’t want a captcha. There were no ads. I didn’t make a single dollar from it. I just liked making it and people using it, and I liked the challenge of blocking the bots while keeping the users.

Fun times.
Bullshit, SF never says "stop"; they just keep jacking up the cost with more planning and permitting red tape. Those costs just get capitalized into rising land prices.

When you say "stop no more water" land values plunge, and fast.

"No more growth" scares people like nothing else. It does NOT cause prices to rise.
This is all true.

The question, however, is: given that all these companies are already on the brink of bankruptcy, how is it legal (and acceptable) that a 3rd party comes in, extracts hundreds of millions from the already bankrupt company, and when the bankruptcy does arrive, it is bigger and worse than what would have happened without the PE involvement? Basically everyone except the PE gets screwed.

I have not been following this closely, but if the 5-10 PE deals I’ve looked at over the years, it was clear from day 1 whether it was structured to have a chance at recovery, (some of which succeed, and some fail) or just to enrich the PE buyer.

I wonder why this isn’t clear to the creditors - my guess would be that an early legitimate creditor only uses “other peoples money”, which legitimizes it for others.
Socialism in the form of the Great Reset by Klaus Schwab of the World Economic Forum does not spread in a free market of ideas. It requires censorship.
I liked how google handled communities in Google+. It had typical for google usability drawbacks, for sure (impossible to check on mobile page and mobile app who signed up for a meeting, things like that).

But in general it handled both small and big communities quite well - it could be public, you could create a new account with fake data espacially for this purpose (there was a moment when they wanted to ban this, but later rolled back that). It was quite clean.

Facebook doesn't let me separate different sides of my life. I hate using facebook and would love to have separate accounts just for large communities and maybe marketplace but that is apparently against ToS.
In my experience it's better to go to an 'Authorized Service Provider' for repair.

They have an incentive to do repairs and get paid, and it's quite easy for them to get Apple to pay the repair cost.

E.g. on my machine that had the Keyboard repeating issue I also received a topcase as there was some slight de-lamination. Seems your model was affected (at least nominally) by the same keyboard issue so just send it in for a repair of the keyboard and also note the other issues; they will likely be repaired for free.
My experiences in healthcare/EMR were focused on Medicare part B (home health); physicians, NPs, and PAs that made house calls.

This is a great question; being thrust into hippa compliance from 2000 - 2012 was the easy part, and can perhaps be summed up as

“
fax machines behind a door, paper charts and/or laptops/tablets locked in trunks*, all-in Blackberry enterprise services, Exhange over ssl xml-rpc endpoints, and ensuring EMR portal uptime was so much of the fun parts.

The hard part: training home health medical groups how to VPN - and how to never mix work tech and personal tech.”

I am unaware of hippa changes since the blackberry-era, and while I can’t imagine specific apps being named in amendments to the law, I can say without a doubt that hippa at the time meant having total control over all technical Devices used by your clinicians, prepping all laptops and equipment to use encrypted storage, ssl-encrypted email, VPNs, etc was always made easier by focusing on training, troubleshooting, and being able to mitigate the raw chaos monkey power of a doctor with a gadget.

With the passage of the HITECH act, being able to facilitate the automated logging of a doctor’s conversation with a patient’s family or caregiver towards the CPO (care plan oversight) and making the fulfillment of PQRI initiatives automatic... “so easy a doctor could do it”... meant (at the time) a very hefty pay raise for part-B collections.

TLDR: hippa was easy, training doctors to change their ways is hard. producing the tech that makes their lives easier means assuaging them of their worries that they are maximizing Medicare collections.

It is fun to imagine these days that transcription, location, and barcode technology has “made it” to the point we dreamed about ~10 years ago.
You're way off base.

If a customer buys a phone, no investment or R&D is required by Apple to support other search engines, apps, browsers or payment systems.
Probably “such that”
Chien-Shiung Wu
On the contrary, I hate searching the web for information and finding things written 10-20 years ago. At some point it feels like you’re doing archaeology more than research. I have to specify the time range I want to search in more and more these days.

Sure, the information may not have changed, but I do not trust things that haven’t been updated in that long. Especially anything tech related. Imagine it’s the year 2050, you do a search for how to do some mundane thing in React, and you’re finding articles that were written today. Maybe some future person is even reading through this comment right now.
If your team as a whole agrees it's less readable you can disable these specific rules.

All the project I've seen had specific adjustments to blanket disable some rules (on the top of my head, ` > 0 -> positive?` for instance) and change de defaults of others (e.g. line length)

The goal is tailor it to your needs, unlike other linters who have a much more oppiniated and rigid approach on what is supposed to be "right"
The beauty is that we don't need to even think about that. Russia and China are bad actors anyway so in a way you could say they are strengthening the alliance between U.S and EU. Also EU is neither Venezuela nor Iran.
> ... and the winds are often too high for wind power ...

Maybe this is a great candidate for vertical axis wind mills / turbines?

As I understand it, vertical axle don't suffer the red-lining problem of horizontal axle / fin based turbines, and while generally less efficient than conventional wind turbines, they'd ultimately be more effective in this environment.
FYI - i have never used a macbook in my life. I only use XPS with Fedora. So this frustration is personal.

I have been party to get AMD/Intel's CUDA alternative out the door on some of the ML libraries - which one is it now ? OpenCL...SYCL ...ROCm...PlaidML ? I cant remember.

All this time I was pissed at nvidia - surely they were playing subversive politics to kill all of this. With so many initiatives, surely AMD/Intel had their heart in the right place.

Apple and Google are cutthroat rivals. And they worked together for a just-released chip to get fully working acceleration support.

Here's where it gets sadder for me - Tensorflow has included a GPU accelerated version of Numpy ( https://twitter.com/fchollet/status/1292893864986984448?lang...) . Numpy itself is only accelerated using BLAS/LAPACK which cant leverage GPU all that well.

https://www.tensorflow.org/api_docs/python/tf/experimental/n...

At this point, it is basically a sealed deal - if you're even remotely dabbling in data science, you better be working on a Mac.

Which makes me hate my XPS all the more :(
That seems like it would be obvious, though, so people would fix it.
> Without adequate moderation or stringent enough rules, it's all too evident that bad actors poison the well, sow division and spread misinformation. Those lead people to have ideologies and perspectives that are harmful to society. I'm all for free speech, but we'd still all be better off with reasonable moderators refusing to let people be dicks.

It’s only a matter of time until fools spouting advocacy for this sort of mistaken drive for censorship is applied at the hosting or ISP level, and your moderators are chosen for you, and inescapable.
I'm really happy with it. I don't heavily use my laptop, mostly only when traveling. The only problem I've had with it is I discovered recently that the built in microphone isn't working, but I never tried to use it until about 3 or so years after I bought it, so I've no idea if it arrived like that or got broken later.
Yeah I bumped into it on (I think?) civvie11's channel. Looked like simple, over-the-top fun!
Probably faster, more efficient (less bandwidth consumed) sync because of block level replication rather than file-level.
well, what can u expect , 4 times cheaper than AWS, 4 times less stability and professionalism.

I am now wandering if my data is safe there. I think it will be smart to keep a copy in aws glacier.
As a long time user of q/kdb, I can confirm that working with array-based languages definitely changes how you view data and code. It makes you a better coder in other languages as well.

Random thought: cool triptych behind the main speaker. Anyone know what it is?

EDIT: A search for "famous triptychs" revealed: https://en.wikipedia.org/wiki/The_Garden_of_Earthly_Delights
When Science Was the Best Show in America
Also, having to ID yourself to Facebook just to read the content is terrible.

Not being able to participate anonymously is a bad thing for society. It’s like we’ve all forgotten the necessity of anonymous publishing for maintaining a free society.
I was taught this when I started school in the UK.

It seemed fine to me but I wasn't really thinking about alternative teaching methods at age 4.
Before getting outraged, can we first confirm the story? It seems European countries have blocked gambling ads. There is no source for other claims e.g. human rights website.
"Free" or "Unlimited" bandwidth always feels worse to me than charging the appropriate amount as you know there's a limit somewhere. No such thing as unlimited bandwidth.
Consolidation, as in: forums that naturally attracted visitors with their focussed content and having acceptable content-based ads without tracking (or only basic visitor counters) were obsoleted by forum aggregators with targetted advertising and invasive tracking making up their own play-out stats to get customers paying more for ads and devaluing content-based ads
This. Power encourages corruption. Most democratic systems are designed to diffuse power as a means to prevent negative consequences to self-serving behavior.

The less power the gov't has, the better. If the gov't has a very, very limited scope in controlling speech (libel, harassment, threats, etc), then the damage done when it's used for nefarious purposes is limited.
Multiplexer: All You Need to Know
In the mysterious Blue Ring Nebula, scientists see the fate of binary stars
This Message cannot be pasted into the Signal app
US/Europe staged a coup in Ukraine before Crimea. Actually, it wasn't even the first coup staged by US in Ukraine.