skysight-inc/HackerNews huggingface dataset:
One use case of something similar is generating a regular expression matcher at compile time for example. This is what the C++ library https://github.com/hanickadot/compile-time-regular-expressio... does.

There are a lot of uses of compile-time code. One I have been interested in is generating bindings to other languages or generating serialization code, or even generating bytecodes for VMs with specific bytecodes for accessing your native data structures (instead of adding a level of indirection).
There aren't any references to this going 90 days back, other than the same exact list as the original comment. https://news.ycombinator.com/item?id=24210623

I don't understand why you have to other me into a FUDdy opponent here, I did as best as I could to incentivize and create a situation where you gained heavily from simply explaining your claims.
My guess is that contact times and distances are targeting unprotected citizens in their day to day. Police interact with a much more at risk target demographic but with better protection, protocols and awareness. This lack of calibration would probably trigger way more false positives
With 1 and 2, isn't that basically how !bang is set up? You need to expand before you can collapse there I guess.
No, no GC, at least at present. If you store any durable state, you have to delete it explicitly, or it stays forever.

I am interested in the idea of objects whose IDs are never revealed to the app, but to which references can be stored inside other objects. Then we could do GC... and it would be a true capability system.
LLVM's interpreter is atrociously slow. It's only really meant for debugging LLVM itself.
Phpmyadmin.net is down
Welp, TIL I cant call myself a software engineer (not that I really did anyway)
Interestingly, Azure's Durable Entities has a similar feature set and similar story of origin (internally called it actors, then switched to "entities" to avoid confusion): https://medium.com/@cgillum/azure-functions-durable-entities...
Are people who protect institutions that protect rapists of children good people? Starts sounding like the Dave Chapelle skit: "He rapes but he saves!"

I wonder why we frame things in terms of, "are they bad" instead of asking, "are they good".
Right. The problem CRDTs solve is the problem of the three-way merge conflict in git: the problem of the "correct" merge being underspecified by the formalism, and so implementation dependent.

If two different git clients each implemented some automated form of merge-conflict resolution; and then each of them tried to resolve the same conflicting merge; then each client might resolve the conflict in a different, implementation-dependent way, resulting in differing commits. (This is already what happens even without automation—the "implementation" being depended upon is the set of manual case-by-case choices made by each human.)

CRDTs are data structures that explicitly specify, in the definition of what a conforming implementation would look like, how "merge conflicts" for the data should be resolved. (Really, they specify their way around the data ever coming into conflict — thus "conflict-free" — but it's easier to talk about them resolving conflicts.)

In the git analogy, you could think of a CRDT as a pair of "data-format aware" algorithms: a merge algorithm, and a pre-commit validation algorithm. The git client would, upon commit, run the pre-commit validation algorithm specific to the file's type, and only actually accept the commit if the modified file remained "mergeable." The client would then, upon merge, hand two of these files to a file-type-specific merge algorithm, which would be guaranteed to succeed assuming both inputs are "mergeable." Which they are, because we only let "mergeable" files into commits.

Such a framework, by itself, doesn't guarantee that anything good or useful will come out the other end of the process. Garbage In, Garbage Out. What it does guarantee, is that clients doing the same merge, will deterministically generate the same resulting commit. It's up to the designer of each CRDT data-structure to specify a useful merge algorithm for it; and it's up to the developer to define their data in terms of a CRDT data-structure that has the right semantics.
Because that's a terrible idea. what do you expect people to do when there's a cloudy winter day and the power company can't fulfill electricity demand? Freeze? When people are cold they're going to turn on their thermostat. If their thermostat doesn't turn on because the power company shut it off, they're going to use a space heater. Humans' desire to not freeze is a very in-elastic type demand, unlike the time of day they run their dryer.
Maybe it's extremely hard for people just staring out, too?
Sony, Adobe, Coca Cola, Bank of America... Are these really your clients? How long has the service been operating?
I have access to a lot of UN staffers, mostly high ranked (UNDP).
Answer is: corruption. Basically UNDPs role is to give away money in most effective way. Problem is that most countries where funds can be distributed to aid the most have some insane levels of corruption.
Hiring folks outside of the system is mostly to prevent just giving money to cronies of local appointees. This is a giant tradeoff, because locals would know how to improve situation the best, but folks who have access to UN staff is most likely to be very corrupt.
In 2016.
Manually verified job salaries/offers in Artificial Intelligence
While many developers do use these kinds of pre-built all-in-one game engines for various reasons (and that's great because it means more people can make games without the work of building an engine), there are still many many game developers who write their own "engine" for a wide variety of reasons.
Interesting. I might be adding real-time edit syncing to a hobby project sometime soon. Can you share more about the trade-offs?
It is quite possible that the loans were underwritten by other parties.

The fact that Trump is at least 300-400 million dollars in debt to unknown parties is a huge national security risk.
So the CRDTs could be applied to a document and an edit/change log to guarantee the consistency of the log and its entries, not necessarily the document itself?
> your post boils down to "we should be glad it isn't as bad as it used to be".

It doesn't. I responded to the complaint that there are now many competing subscription services.

> That doesn't at all imply that the current state is desirable.

I don't see any problem with there being multiple competing subscriptions, and you've not pointed any out. Your other complaints are valid but are on different topics.

> Depending on where you are globally, it might not even be possible to gain access if you subscribe to every available streaming service.

I wasn't commenting on this, but I agree it's long overdue to fix these region peculiarities. It's a market failure of a sort. An example from here in the UK: there's no way to buy episodes of The Simpsons on any streaming service.

> The license holder gets to choose whether I'm fed the "one episode a week" bullshit or whether I can watch episodes at my own leisure

That's not necessarily anti-consumer. For a show like Game of Thrones, releasing an episode a week is important to enable 'water-cooler conversations' about the show, which many viewers enjoy.

> whether to limit streaming to a limited time period or a limited subset of a series' seasons

Those limitations may be due to licensing/syndication agreements. The streaming provider might only have paid for a limited time window in which they're authorised to stream certain content. I don't think Netflix ever remove content that they own outright.

> obscuring quality ratings, limiting discoverability

These are both annoying, but streaming services don't have a monopoly on recommendations and reviews. Personally I put very little stock in their recommendations anyway, so I don't much care when they mess about with them.

> not allow viewing of shows because subtitles aren't yet available

Guessing here but that might be done in the name of inclusiveness. Adding subtitles improves disabled accessibility of the service. A strong policy of all shows must have subtitles might be a good thing; deaf users can then use the service in the knowledge that all available shows are accessible to them.

> We have the payment infrastructure to allow target audiences to access your content and pay a variable price based on what they watch.

The point of the subscription model is that you pay the same monthly rate no matter how much you watch. If you want to buy a la carte, you already have that option too. I don't see any problem here. If you mean to say you think the prices are too high, that's a different matter.

> rent-seeking, "engagement"-driven, anti-consumer walled gardens of crap.

It's not rent-seeking. Shows are costly to produce. (I happen to support radically reducing copyright durations, but that's not the same topic.)

I agree engagement-driven ecosystems can be very troublesome, but it's more an issue on YouTube (pushing people to watch politically toxic garbage), not so much with paid subscription services.

What do you mean by walled garden in this context?
> Can somebody tell me a new Netflix serie that comes close to House of Cards?

I enjoyed HOC, especially the earlier seasons. A few shows (none of them new though) available on Netflix that I found equivalently good, each got better as they went:

Bloodline[0] - starts slow & builds, I didn't expect to like it as much as I did. Very under the radar, very good.

The OA[1] - similar to bloodline, in that I didn't expect to like it & it got better with each episode/season as the story progressed.

Colony[2] - got cancelled so ends on on cliff-hanger (an exhilarating one), but if you like sci-fi/aliens it'll deliver.

[0] https://www.imdb.com/title/tt3520702/

[1] https://www.imdb.com/title/tt4635282/

[2] https://www.imdb.com/title/tt4209256/
>In some European countries governments are the biggest venture capitalists

Yeah, this x1000.
In my area, most startups survive by government and EU grants so the thinking pattern of most startups here is "what do we do to get more grant money?". You can't create successful SW companies like that. Not to mention, the elephant in the room, the fact that those government grants are often accorded by favoritism instead of merit(connections, nepotism, etc.)
You are equating the US government with China's. Those governments are supposed to work differently.
I think a better question is “what if merges were more well behaved,” where “well behaved” means they have nice properties like associativity and having the minimal amount of conflict without auto-resolving any cases that should actually be a conflict.

The problem with using a CRDT is the CR part: there are generally merge conflicts in version control for a reason. If your data type isn’t “state of the repo with no conflicts” or “history of the repo and current state with no conflicts” but something like “history of the repo and current state including conflicts from unresolved merges” then maybe that would work but it feels pretty complicated to explain and not very different from regular git. Also note that you need history to correctly merge (if you do a 3-way merge of a history of a file of “add line foo; delete line foo” with a history of “add line foo; delete line foo; add line foo” and common ancestor “add line foo”, you should end with a history equal to the second one I described. But if you only look at the files you will probably end up deleting foo)

See also: darcs and pijul.
macOS lets you install a kernel level debugger, though.
Thick clouds scrub SpaceX launch of 12th operational Starlink mission
This is an amazingly slick 3d system in my browser. What tech stack is this?
Yes, but I would hope that police are more aware of the situation and taking protective measures compared with say 2 people getting together for coffee. If this is the case the definition of contact needs to be different
That's amazing! Thank you for sharing!
Edward Tufte: Sparkline theory and practice
Riak as well, I've used it very successfully on projects in the past.

https://docs.riak.com/riak/kv/latest/developing/data-types/i...
Look, I'm as happy to complain about Trump and Facebook as the next liberal, but this is a rubbish article, since no examples of these ads from the 2020 campaign were given.

Examples from 2016 ads of Hillary referring to black youths as super-predators[1] were provided, but nothing for 2020.

[1] Has the DNC considered that perhaps, it actually needed to work for the black vote, instead of feeling entitled to it, before nominating her?
those bangs are really a nice feature. my most often used bang in 2020 unfortunately still remains !g for every time I search something that is related to finding solutions for code / software engineering (or copy paste a problem line from syslog etc). ddg is in almost every case not showing me the most relevant result I want.
The timing of this post is a bit funny. The UHK blog is just about due for an update on the manufacturing status for the thumb modules - the next post should indicate whether the modules are going to be available imminently, or delayed for some reason. These accessories are the clear differentiator for this product IMO.
Have you not answered your own question? OT does indeed stand for Operational Transformation.

https://en.wikipedia.org/wiki/Operational_transformation
I'd like to see the documents mentioned that support the claims in the article. Uncited, this is little more than Uncle Fred's facebook posts.
If andorid is great, then folks will pick android. That's fine and competition.

Things are a lot cheaper on android to, so they win on price.

The one android phone I ever purchased

1) Shipped with bloatware in the base install (!!!)

2) Shipped with an older android version.

3) The updates never came

4) The messaging story was CRAP (unsecured SMS / spam SMS)

Meanwhile I'm getting 4-5 years of updates on every iphone I have ever purchased. I've never gotten spam imessages I don't think. etc.

Apple choses these features because they think it will let them charge more for their stuff - which I think it does. Making a product people want by reducing scam behavior shouldn't be illegal, and people wanting your product and being willing to pay extra for it doesn't make you a monopoly. Def makes apple rich though!
It takes over 800 words, and several mentions of the CRDT acronym, before the acronym is expanded for the reader.

Don't write like this. Respect your readers and help them comprehend. Expand acronyms as early as you can, ideally at the first mention.
I can't complain as I mostly write Haskell these days and trade off compile time for other things.

That sounds excellent though, I'll check it out when it lands.
One rule for lawyers one for the little people
> But the expense seems to be...

There does indeed seem to be signs of oppression of ethnic minorities in China, but to me this is a relatively unrelated anomaly on a statistical basis compared to the general question of where do the fruits of labour in China go: to those doing the work, or to the ruling class.

Most of what I have observed suggests that there is a "rising tide lifts all boats" phenomenon underway, although determining the degree to which the distribution is consistent with what is "fair" is obviously problematic, as with any other country.

As for the Uighur & Tibetan situation, this is starting to look like it's going to be just one of those very unfortunate facts of life, but my intuition is that once the distinctness of these cultures is sufficiently eliminated (wild guess: 20-100 years), the difference of treatment will be relatively minimal, provided standard of living continues to rise across the board. But then who knows, anything can happen.
It's new to me as well, but this lecture (if you know Haskell) seems like a good overview. I've got some more things to look up before I could actually use this idea but if you read through this it may help:

http://okmij.org/ftp/tagless-final/course/lecture.pdf

With more here: http://okmij.org/ftp/tagless-final/index.html
I've known plenty of labs buying computers for students and staff with grant money. I don't think there is a ban, at least in my field (biology). It's a tool like any other, and they aren't full of bloatware unless you mean access to the university intranet if applicable.
A Man Who Carried Computer Science on His Shoulders
Rules for thee, not for me. That’s why.

The police ‘has better protection’, ‘knows better’ or whatever excuse they come up with. In the end it’s just that, rules are for plebs, not for the police.
Yes, as does riak. There are plenty of simple crdts and the theory, while recent, has all of it's fundamentals fleshed out. We know what property makes data structures crdts, and how to compose them, and how to prove they are crdts.

Currently we are in the "discovery of new crdts" and "engineering and implementing of older crdts reliably" phase, and in some cases "discovering when not to use crdts".

The crux of the this issue is that crdts that play nice with human expectations in regards to collaborative document editing are not known, possibly excepting automerge (yjs). As it's a 'softer' concept will no good axioms, there is no solid theory on how to combine the theoretical requirements of crdts with human expectations.
It’s difficult to find the motivation to spend hundreds of hours working on imaginary problems. Kudos to you for doing this though. Many/most of the best developers I’ve ever worked with wouldn’t consider wasting their time on such nonsense. It seems to be somewhat of a litmus test for determining how subservient one is.
many new language put type in last part of declaration. rust, go, typescript, and other
HashiCorp’s Homebrew Tap
For many sites, you can probably just guess the bang without much hassle. The easiest example is IMDb, but my success rate guessing is pretty high.

Plus, most people tend to spend most of their time on just a few sites. Knowing one or two bangs is useful enough.
Show HN: Bring your desktop-based engineering simulation results, Models in VR
$225k for a nurse? And I thought there was a lot of desperaity of tech wages between Europe and the US... The average salary of a nurse in the UK is £25,000.
Unless you're using certificates, your rsa keys don't specify any hashing algo at all. The negotiating between the client and server decide the signature algo.
For the mouse example (specifically), you could solve that by making (say) an OSS mouse:

https://github.com/biomurph/Mouse

But creating your own case for it. It'd likely be fairly time consuming, and need lots of iterations.

But once done, you'd be able to re-use the design pretty much forever. :)
That the same campaign that did this in 2016 is allowed to be on any ballot at any time after is absolutely incredible.
This is the kind of content that makes the top Facebookers fall into split personality disorders. For the business of Facebook, controversial and even hateful content is a massive boon for business as engagement and sharing is an order of magnitude or more than for "fact checked true" stories. So does Facebook allow this to go on and rake in the huge sums of advertising money spent on their platform or risk being accused of Nazi-like censorship by banning such content (and losing all of that ad revenue)?

Quite the conundrum.
Maybe I'm misunderstanding something, but we are talking about non-rooted consumer Android, right? Google already has complete control over those systems. That hypothetical oppressive regime could simply ask then to embed their spyware in the next OS update (or have them remote-install a spy app of their choice via the normal play services process[1])

What more potential for abuse would this change bring that isn't there already?

[1] https://www.quora.com/How-Google-play-remote-installation-of...
My main gripe about the Raspberry Pi is the SD card unreliability. I know you can boot from USB now but I wish there was a way to integrate an SSD directly on the board (something in the m.2 2242 form.factor) to make it more resilient and also faster.

I'll probably go with a small NUC or something like that instead, especially if there's some AMD Ryzen systems coming out in that form factor.
In order to reach 80% renewables we'll need 12 hours of storage. In order to reach 100% renewables we'll need 3 weeks of storage: https://pv-magazine-usa.com/2018/03/01/12-hours-energy-stora...
It is underdocumented, but you don’t have to go out of your way because you in most cases you can use prepackaged toolchains that other people have made.

I have successfully written my own toolchain rules in Bazel. Yes, it is a pain. But it’s usually only necessary if you have some kind of unusual target—usually, someone else has written the toolchain rules for you.

I've even witnessed a Bazel build system that made working DOS binaries. The entire set of rules was smaller than you might think.
I am a simulation engineer and trained other engineers to do the Engineering Simulation.
Often, I get comments from customers that they are not able to visualize the problem area in the simulation.

So, I created a software that brings desktop-based engineering simulation results from all major software (ex: Ansys, OpenFOAM, StarCCM+ or Autodesk) into VR.

Some of the major benefits of this software are

1) You can feel the liveliness of the objects in front of you in VR.

2) The problem area and its location in the simulation will be explicitly clear to you in VR.

3) You can import simulation results from all major software

4) It can be used with normal desktop/laptop with affordable mobile VR headset (and of course with High-End VR headset)

Since HN is a community of excellent early adopters, feedback from you guys are most welcomed. Please let me know if you are interested in the idea (demo video with prototype is available on url of this post), It will help me a lot in my growth.
This is The Prince of career advice: simultaneously accurate and evil, apparently written by someone who is aware of that fact.
What were the words they used to decline proceeding? Do you happen to remember?
Five ways the universe might die
That's a possibility and a possible contributor but doesn't convincingly explain why his traffic decreased 85% (if it was throttled after a certain level of success, you would expect it to plateau)
I feel the opposite way. The larger the team is, the more likely I am to want to switch to Bazel (or something in its class).
Self defence and how to safely handle a firearm, since any other life skills are useless if you’re dead.
I’m not sure this idea is all that they’re marketing it as.

Here’s a video discussing the drawbacks [0], the guy doing the video can be kind of abrasive at times but worth watching/skimming as a counterpoint.

[0]: https://youtu.be/NIhCuzxNvv0
This is exactly how iOS works today; in fact Apple recommends you upload your LLVM IR to them and tag your assets as well so they can recompile and recombine your apps for hardware you don't know the existence of yet. Which is nice if you trust Apple…if you don't, then it is very difficult to actually verify that what you're downloading from the App Store is actually what you submitted to the company. With resigning and FairPlay and all the wrappers that Apple applies, it is really difficult to do any sort of verification here :(
At a guess you are not into bondage.
Seriously. It needs to be explained the FIRST TIME it appears, and it shouldn't be abbreviated in the title. I read for a minute thinking he was talking about Chrome Remote Desktop (which is what CRDT means to me).

Mods, can we expand the acronym in the title of this submission please?
That seems to be a note-taking tool, not a tool for digitising written notes.