skysight-inc/HackerNews huggingface dataset:
It's for defining types for existing formats, with the goal of generating types for a lot of different languages.

A lot of formats are just defined with very simple types; the machine-readable descriptions don't capture information like "this field could contain a string or an integer", or "the length of this array is dependent on the value in another field". Idris' type system is precise enough to capture that information, so specifying the type in Idris' type system should be enough to generate (at least a first-pass of) types for anything from Java to Haskell by just dropping the information the target language doesn't understand.

At the very least, it would make for some really precise, concise documentation that could save people implementing libraries a lot of time digging through prose.

Edit: Looking at the examples, it looks like it's actually value-level Idris describing Algebraic types, not Idris types, so I'm not sure if it supports dependent quantification.
One of the wonders of the Federation of States in the US is a ready source of beta testers for new governance ideas. A majority of voters in Oregon in this election have voted to decriminalize all drugs. The rest of the States get to see if that was a good idea and decide if they should consider it. There are enough legal backstops at the Federal level to snap this back to criminalization, well, instantly.

Citizens in those other States who see the Oregon model as a better deal for them have the opportunity to move there. And probably will. Drugs “are a hell of a drug” and moving will sound a lot easier to many heavy users than doing the hard work of breaking an addiction. That migration legacy won’t change so quickly.

I also feel for those who are being put in the middle of this social experiment against their individual will, especially the kids. But kids survived the communes of the 60s and, ironically, probably some of these now-adults are the sort who will be motivated by this.

If the 60s-80s were the California period, and 90s-10s the PNW period (starting with grunge), this might be a big, long nail that seals the PNW period in its coffin.

PS: If I were a cynical sort, I would wonder if CA and WA were working behind the scenes to make this happen. What an elegant way to offload a social burden and deflect attention onto someone else. “You think parts of SF are bad, well check out today’s Portland. SF doesn’t look so bad now, eh?”
I never realized chameleon camo is so good that it took a century to find them.

Yes the above is meant as a joke.
+ With (exceptionally) long term, positive effects when coupled with therapy before, during, and after strong psychedelic trips.

Ultimately, the research results (and anecdotal evidence) for psilocybin are too great to ignore. The next question is - How does it get legalized (which we're seeing the stirrings of) and who gets access to it and how when it is?
Sorry, I'm not well versed enough in zk-SNARK, can you explain how it solves the problems above?

If it does do you think that you can make the general public trust/understand it enough to run a election?
I have showdead turned on, and, while you're right that most greyed out comments are low quality, there are a few that are just inexplicably greyed out. I vouch for these whenever possible, even if I don't necessarily agree with the content of the comment.
Nat Friedman: “felt cute, might put gh source code on DMCA repo now idk”
They must be laughing their sock off at the tops of FAANG: thousands upon thousands commit millions of hours to open source which they then run for a nice profit.
Tom Scott still has the best argument against e-voting IMO [1].

Briefly: an election only counts if everybody can believe the results. Making an expert level understanding of CS a requirement to verify your voting system means that Joe Q. Average who doesn't hold a PhD (or maybe even a college degree) has to rely on spooky experts telling him what to believe. If I were in his shoes then I would have no confidence that I participated in a fair and valid election.

We kind of live in a bubble here on HN where most people are sort of in the tech space and could take a weekend or two to understand blockchain. I think its easy to forget that most people don't have the required background to learn it easily (or would want to use up their time to understand it). I almost have a PhD in the hard sciences and I don't fully understand the finer details of block chain. I think I would have to write my own implementation to fully appreciate it.

Simplicity and the ability to explain the system to every American is a requirement of any voting system.

[1] https://www.youtube.com/watch?v=LkH2r-sNjQs&t=12s
Has anyone else found other good articles on this?
Wouldn't a contingent election scenario be impossible unless a third-party candidate won one or more states?
Could also be that the models used were never verified for such a record turnout.

If, of people saying they’ll vote A, normally 100% will actually vote, and of those saying they’ll vote B, normally 80% will actually vote, the models that predict election results from poll result will correct for that.

So, if the poll says it’s 50/50, the model will predict a clear win for A, with about 55% of the vote.

If turnout increases, all extra voters will vote B, but the model might still predict that 55% (I kept the example simpler than reality will be)
Because you don't think I'll change anyone's behavior or opinion? I'm holding out hope.
Your solution is to educate every single citizen on the flaws of the process, instead of optimizing the process? That’s like Steve Jobs telling people they were holding their phone wrong.
EUR-Lex+-+32014R0910-+EN+-+EUR-Lex
Humans are animals, there really isn't any difference with the handicap you've used in your example.

What is morally right, what is ethically right, what is legal, what is against the law, what is allowable, what is doable -

Is all social construct.
When it comes to school shootings the shooters often give mercy to other social outcasts.
Larrabee was a weird attempt to force x86 into the GPU space. It was more hubris than silicon. Xe is Intel actually making a serious attempt to build decent discrete GPUs, without bizarre political constraints on the technological designs the team can pursue.
What do you want TeX to be replaced by?
Let's be fair: They're moving away from OCaml because there's a ton of stuff that's impractical about using OCaml, mostly related to the very bare ecosystem tooling that's seen maybe a few years of good light and "Things every language should have by now" features that have been coming soon for 8+ years.
As someone with major depression, it helps temporarily but doesn’t last.
I may be in the minority, but I prefer the monochrome icons. I've always found the old set distracting. That might be due to my mix of SPD symptoms and ADHD.

I definitely think it should be an option though for people that find the colored icons easier to find when searching.
I think it is time to implement things correctly in US as well. Closed unverifiable voting system is as good as an e-voting system as DocuSign is good as an e-signature system. There are proven mathematical ways that make sure, without using blockchain, that the votes and voters are correct [1].

Then again, I am biased as I am lucky enough to enjoy the benefits of well implemented electronic voting and signing system in Estonia. Source code for Estonian voting system is published in GitHub [2].

[1] http://research.cyber.ee/~jan/publ/mobileverification-ieee.p...

[2]https://github.com/vvk-ehk
The difference is the potential risk for your fellow citizens. All risks are not equal. In one case the risk is loss of property, in the other the risk is loss of lives of dozens of your fellow citizens (in one case, a classroom of 6-year-olds) in a matter of a few minutes. Risk to your fellow citizens has to be figured into whether you are allowed to have something.
The rep-elects are Marjorie Taylor Greene[0] and Lauren Boebert[1].

The conspiracy theory cult I'm talking about is qanon[2].

If you're asking me to prove that Democrats are not kidnapping children by the hundreds of thousands through a nationwide network of caves and tunnels, I don't really think I'm the person you need to talk to.

edit: yeah checked the post history and you're a qanon apologist. Find something better to do with your life.

[0]: https://www.theguardian.com/us-news/2020/nov/03/qanon-marjor...

[1]: https://www.theguardian.com/us-news/2020/jul/01/who-is-laure...

[2]: https://en.wikipedia.org/wiki/QAnon
Just passed in Oregon: Oregon Measure 109. Legalize Psilocybin

Permits licensed service providers to administer psilocybin-producing mushroom and fungi products to individuals 21 years of age or older.
AB5 passed with approximately 3/4 of the vote from both houses of the state legislature, so even a 3/4 threshold would have placed Prop 22 at immediate risk of being overturned by the legislature.
I wonder if Postgres' foreign data wrappers would help with either migrating data out of Mongo, or sort of siloing it while you migrate interfaces and new services to Postgres only
I love this, but it doesn't look like server-side language is Turing complete. It can only read, write, and delete rows; branches on admin; and returns a random number. Is it possible to extend the language in a way defining functions, if stmt and for loops are possible?

Since it already has if, I wonder if I can branch on things other than "admin".

EDIT: I stand corrected, looks like using `range .. end` you can actually loop.

EDIT2: if also works:

{{ if (rando 0 1) }}
a
{{ else }}
b
{{ end }}

prints a or b non deterministically.

EDIT3: I wish it supported operations like equality, addition, <, > etc
One of the first viral videos that reached people not online all the time. Pre-Facebook for most people.
I find it highly unlikely that someone who spend over 15 years in causual short relationships to suddenly be able to completely change approaching 40ties.

Long term relationships are different then short term ones and changing habits is hard.
Since the people in charge are basically the same rich morons as (or in the pocket of) the ones doing this to researchers, I wouldn't hold my breath.

Best we can hope for is that the EU or some other trigger-happy regulators do the same for security as they tried to do for privacy: mandate a dedicated security contact that legally has to respond to your disclosure. Then at least we'll have some form of direct contact and not have to resort to twitter for "secure" disclosure.
HBM memory is not that expensive, what is expensive is the (co-)packaging

But Intel has already committed to using active silicon interposer instead of abf for substrate, which is way more expensive.
@bloopbloop10000 is there a way to html escape in the template language?
In Sweden it hasn't been reduced to near zero and the trend has it rising to 100+ a day.

https://covid19.healthdata.org/sweden

People love to bring up Sweden but they have never experienced dealing with COVID-19 in winter where it is up to 20x more contagious as everyone moves indoors.
Well - it just looks right to me... As a non-native English speaker I’m probably wrong about it, but compare these:

- guis

- gui’s

- gui:s

Top looks like French. Middle looks like like the gui is owning something. Third is clearly the right choice :)

- GUIs

Yes, ok, maybe that is correct, but why are you screaming?
Mapping Psilocybin Reform: How This Years Election Is Making History
I'm reasonably experienced with GIMP and I find them useless. It's seriously difficult to quickly pick out the icon I'm looking for even if I know what it looks like. Even months (years?) after they changed the icons I was still finding myself spending seconds or literally tens of seconds sometimes trying to find the right icon.

Anyway I realised you can change them back and now finding things is almost instant again. Eraser? -> Look for pink -> done.
Sorry for the aside, but is it possible to create a GPU cluster for, say, machine learning or rendering that uses both NVDA and AMD GPUs, together? I have 4 AMD GPUs and 2 NVDA 1080 TIs and was curious if its possible to wire up a computer that uses all 6 simultaneously
No we don't need to fix the ports, we recommend installing a standalone decoder.
Data going through fr24feed is likely not to work for MLAT.
Anyhow that port 30003 is unreliable as fr24feed at least used to crash with multiple connections to it.

In a similar spirit: FR24 should fix their installs and ports.
I'm curious if we have insights into whether psychedelics' mental health effects work by changing something by a direct chemical interaction, or if they work by just encouraging the patient to rewire their own brain while tripping. If e.g. you administered psychedelics on someone in an induced coma, would you see the same benefit?
We aren't seeing the whole set of messages here but from what is in the post the customer rep asked for confirmation that an account could be left with negative point balance so the researcher went ahead and created negative 5 million points and cashed out $5000. This doesn't seem responsible in the slightest.
There's also AcousticBrainz for audio features, coupled to MusicBrainz: https://acousticbrainz.org/
Can you share a story about how AWS helped to remove or redeuce spend on devops? In my experience with AWS you would get $5000/month for a basic website and also would be paying devops to manage AWS.
Adobe Acrobat just won't die, and for some reason Dropbox gave it a very annoying lifeline, or vice versa.

It would be nice if Dropbox invested heavily in its own PDF viewer and allowed the user to easily opt out (or opt out by default) of things like Adobe or Microsoft integrations.

Financially, Dropbox depends on business users, so integrations like that (for e-signatures, Office integration, etc.) help sell it into businesses.

There was a story on Slashdot years before Dropbox was conceived describing how Ray Ozzie was going to build integrated shared folders into Windows. This was in the days when things like Zip drives were not yet obsoleted, and it seemed visionary.

So I was surprised and pleased when YC funded Drew because Microsoft never did anything with Ozzie's vision. Early Dropbox was elegant and simple, as Drew intended.

I think this is a case where adding Adobe integration is like how Adobe installs McAfee by default, etc. Referral programs to generate revenue because the freemium product is not generating enough to keep investors happy.

I would not be surprised if Drew was irritated that Adobe had to be bundled into the product.

But let's also note that Drew has been very pragmatic and hired neocon hawk and Iraq war architect Condi Rice for the board in an attempt to secure government contracts.

I think Dropbox did a great job with Sync and I like the filesystem extension idea, it just needs a bit more refinement. SmartSync has worked very well for me and I think turning it on by default is the obvious correct choice.
>Getting a "receipt" is also problematic: You should never be able to prove you voted A over B or vice versa since that opens up ways to intimidate people to vote one way and coerce them to prove it.

Your receipt does not have to mention who you voted for in a way that's verifiable by a third party. But this problem is also a problem for mail-in ballots.

>using somewhat public things like SSN, "numbers in your street address" and a credit card number is a terrible idea.

Agreed, this does not mean that it is not feasible. You could use some zero-knowledge based proof that ensure that the person is allowed to vote and has voted only once without knowing his identity. Mail-in ballots are also problematic in that regard.

I dislike that people say evoting is a bad idea when we already have things like mail in ballots which are analogous to a poor e voting system.

>Also requiring a credit card or home to vote would almost certainly be unconstitutional.

But don't you need a registered address to vote?
Have it be multicloud and serverless.
That's moving from one VAX-like 32-bit register machine to another, and the target is bi-endian. Migrate to a different word size, or a different endianness, and things get very ugly.
Open source is free to do what you will, but how many PR's does AWS send back to origin?
>Joe Q. Average who doesn't hold a PhD (or maybe even a college degree) has to rely on spooky experts telling him what to believe.

The Joe is for example driving a car full of electronics and somehow he doesn't have issue trusting his life to it. And, if anything, i'm pretty sure that deep understanding of that car's electronics and software would make the Joe to only trust his car less (one can google the software expert's opinions during the Prius self-acceleration story)
> the latest graphics APIs offer ways to use independent GPUs simultaneously without these.

The problem is that DX12 or Vulkan require the application developers to implement multi-GPU capability.

SLI and Crossfire made multi-GPU support the responsibility of the drivers, and had at least the theoretical possibility of working for unmodified applications and games. That didn't work out too well in practice, but it was pretty obviously the only approach that had much chance of delivering widespread support.
You are shadowbanned.
Here's my issue with that:

Who are the service providers of the treatment and what training have they taken to do so? There is some available through folks who did original research (eg: John Hopkins) and now do talk and demo circuits but otherwise it's all largely undefined.

I'm paranoid of what this might lead to without strong community standards and ethics. A good first step, but lets hope it doesn't ruin it for others.
.. and not contributing back to the community and original authors
I think a lot of people are missing a major point: they specify mobile and macOS. Monochrome UI icons are the norm on those platforms and they're trying to conform to the designs of those systems. Fluent UI is meant to be cross-platform so that your UI looks like it "belongs" regardless of platform. They're not making some kind of UX/UI design statement or illustrate some philosophy with this repo specifically (although Fluent UI as a whole could be argued as such), they're just providing a freely available set of icons that may make sense for your particular project, like Font Awesome.
If this https://github.com/microsoft/fluentui-system-icons/issues/52 is addressed, then at least any developer can choose to set their own fill colors.
The bible out of schools thing is from 1963, Abington School District v. Schempp.
No individual therapy lasted to cure my major depression, including mushrooms. It was a combination of therapies.
You have to "activate" the notification to open the resulting page, or you don't get paid. But it's a quick click and close. Honestly once or twice I've actually looked at the site a bit.
Love Discogs, have been using it for many years!

Some interesting musicological statistics can be computed using their public dumps. For example: http://hdl.handle.net/10230/32931
bisq
How do you use the tables feature?
I believe they are taking two years to settle these questions
M E S S A T S U
All my sites had Queen midi files in the background.

Geocities
xoom (i think?)
Tripod
Angelfire!
Does it last long enough that you get a period of normal functioning?
Works for mine. I need to take a heroic dose (5 gr) and then it lasts about 3 months before I need to again.
10,000+ artifacts on a 20 core Intel box with 64 Gb RAM.

We have some peculiarities of our Bazel setup that are not common, yet are (supposed to be) fully supported.

Building can take hours.
Well, if it may have benefits and costs pretty much nothing, it would make sense to take it...
So it's less about altering the proposition itself but rather a built in guard to prevent the legislature from circumventing the will of the people?
Actually, the best way is empowering women.
If my target is some weird 56-bit thing, I'm still likely to be able to get a C compiler. It probably won't be a fully-standard C, because it probably won't support int64 types, and maybe not even int8. But that's all right, because in that situation, I probably don't want an int64. I want whatever natural word-size I get with int. The not-quite-standard-ness of the implementation doesn't make it not useful.

And, it may be all I can get. I probably can't get a Pascal for that situation. I am somewhat unlikely to be able to get a Rust or an Ada. But I can probably get a C.

Especially in embedded systems, you can quite often get a C on the quirky chips, but you can't get anything else.

And no, all those machines are not "roughly a VAX of the same generation".

Now, that may not be quite the same as your claim, because I'm not going to take my embedded application from an 8085 and drop it unchanged onto my 56-bit oddball. (On the other hand, my 8085 code probably isn't using int64 anyway.)

In fact, embedded applications are more non-portable than that, because they always depend on the hardware context, not just on the compiler. Still, you can grab significant functionality from a different machine, modify it sensibly for the new environment, and use it.
Isn't that what the parent post said? Works temporarily but doesn't last?
Silence is the other successful approach. You make yourself an unappealing punching bag by not responding or taking it in a way the bully finds pleasurable. I personally found the fighting back approach unsuccessful for myself and I know others did too.

It doesn’t work if watching you try and fight back is funny for the bullies. Seeing you flail about is a blast for them.
It's very interesting they made a flutter version and not JS
A bit of background:

It was discovered that Danish mink got infected by SARS-CoV-2 in June. There were local outbreaks at farms and some of these spread to nearby farms. Authorities scrambled and these farms were isolated and the mink killed. However, the spread continued to more than 200 farms, sometimes across large distances, and I still don't think the vector is known. Some speculate that birds might be the carrier (not infected but just carrying the virus from farm to farm).

As the number of infected farms increased more preventive measures in the form of killing mink on nearby farms were mandated. The farmers were not happy about this and there has been negotiations about how many mink to kill and how to compensate the farmers. Mink fur is a huge export and from a pure economical (and cynical) viewpoint this is a disaster.

This summer it was discovered that the virus in the mink had mutated and that some people had been infected with the mutated virus which didn't cause alarm at that time. However, the new development is that a mutation has been identified in five mink and 12 people that has a decreased sensitivity to antibodies and this might result in a vaccine not being effective against this mutation.

So now the discussions about how many mink to kill has stopped. They will all be killed. Sometimes you have to be decisive and the Danish prime minister was decisive today.
Have you tried ketamine? I suffered from major depression for years and it was the only thing that helped me. It was like flipping a switch.
One interesting fact about Tadao Ando is that in order to really master architecture he made replicas of all the Corbusier buildings at some point. You can really tell the impact of Corb (especially, post-war Corb who in turn, was heavily influenced by Oscar Niemeyer) in Ando's work as a result.