skysight-inc/HackerNews huggingface dataset:
Lombok is really not that complex and it not close to using a different language.
Quantum circuit is used to model quantum computers these days, not Quantum Turing Machine. QTM is also a different beast than Turing Machine, see e.g. BQP or PostBQP.
Speaking as project lead for Matrix, we of course encourage as many implementations as possible of all parts of the ecosystem, including servers. The issues raised by that developer are entirely due to their destructive behaviour rather than any illwill towards community developers, as per the thread at https://news.ycombinator.com/item?id=19418111.

In terms of the spec being incomplete a year ago... yes, it was still a WIP and in beta. We exited beta with a complete spec in June 2019, as per https://matrix.org/blog/2019/06/11/introducing-matrix-1-0-an....

Since then, on the server side, development on Dendrite has resumed in earnest - and there is zero overlap between those working on it and the Synapse developers & team. Other community servers are making slower progress, but this is not due to antagonism towards the community, but because it's quite a lot of work. I suspect folks have also been scared off by fear & uncertainty from the kind of threads you linked.

Finally, "intentionally putting implementation ahead of spec" is absolutely critical for Matrix. We draft proposals, we implement them, and only if they are shown to work in the field do we merge them into the spec. We believe this is something that XMPP and others got monumentally wrong, and a very desirable and nice property indeed.
> but last i checked that project wasn't doing too well.

Check it out again :)

OTA-12 is closed to be released https://github.com/orgs/ubports/projects/15
I agree. If it were up to /r/personalfinance, everyone would have three credit cards and that's all they would ever use and it would solve every financial problem ever. They fail to realize that many people (myself included!!) are just not equipped for credit cards and it can cause huge problems.
I've been using Cypher (neo4j) for a bit over a year now, and I low it. We'd need a dozen JOINs to do some of our queries in SQL, but in Cypher it's very natural to write complex relationships.

Overuse of WITH does make it a bit more imperative, but also makes it easy to shape the result in the form you want it in. Cypher has been a joy to work with. Gremlin, by comparison, does not attract me at all.
IMO they should treat it exactly like they treat uninitialized variables.

void test1(boolean b) {
String s;
if (b) {
return;
} else {
s = "test";
}
System.out.println(s);
}

This code compiles.

void test2(boolean b) {
String s;
if (b) {
if ("a".equals("a")) {
return;
}
} else {
s = "test";
}
System.out.println(s);
}

This code does not compile. But it does not mean that println will try to resolve s to something else. I think that they should have gone to a similar route, where declared variable will be available for entire lexical block where `if` was used, but initialized only inside matched branch. Usage in other code would error with "variable might not have initialized" consistently how it works now.

Of course that would require to shadow previous declaration for consecutive `if`-s. But it would be much more obvious and understandable. Actually the whole construction would be just a syntax sugar almost expressible with current Java constructions:

/*
if (o instanceof String s) {
System.out.println(s.length());
}
//System.out.println(s.length()); // variable might not have initialized
if (o instanceof Number s) {
System.out.println(s.intValue());
}
*/
String s;
if (o instanceof String) {
s = (String) o;
System.out.println(s.length());
}
//System.out.println(s.length()); // variable might not have initialized
Number s$; // no variable shadowing in Java now, but it could work
if (o instanceof Number) {
s$ = (Number) o;
System.out.println(s$.intValue());
}
//System.out.println(s$.intValue()); // variable might not have initialized

and would be directly expressible if Java would allow variable name shadowing which is a good thing as proven by Go and Rust (although that would be incompatible change for old code, but allowing variable shadowing for patterns would not be incompatible change, because old code does not have pattern variables).

Of course I did not think about this problem for too long and probably missed something important, so that's just my 2 cents. I guess, developers took that path for a reason.

Basically they want to following code to work:

String s;
void test(Object o) {
if (o instanceof String s) {
System.out.println(s); // local variable o
} else {
System.out.println(s); // this.s
}
}

and I'd argue that this code should not compile! It's bad code. If developer wants to use `this.s` he should explicitly write that.
> My rule is "never break line of sight"

That's an actual law with children in Australia, idk about the rest of the world. <5 years old within arms reach, <10 years old within line of sight.
China’s All-Out War on the Coronavirus
I find blind app to be a lot more objective. Your company information is required to sign up. This primary property of the app makes it is easier to differentiate an ad vs real advice.
> I’m curious about cheaper KitchenAid alternatives.

I've got my eye on some Kenwood mixers, lots of reviews seem to talk of people who have had them in the family for a long time and they seem to be price/feature wise a better deal than KitchenAid if they last well.
In the case of Stack Overflow, I would argue its gamification creates a lot of low-quality answers. Many reeks of someone who knew nothing about the question but did some hasty googling to score points. Now they propagate misinformed/wrong, and outdated information.
Memrise | Frontend Engineer | ONSITE | Full-time | London

Memrise are looking for a Frontend Engineer to join our small, autonomous Web Squad. Lots of work on an exciting language-learning product with a fresh stack (TypeScript, Next.js, styled-components).

Apply link here: https://apply.workable.com/memrise/j/5422043DFB/
SEEKING WORK | Remote (GMT +1) | Full-stack Developer

Location: Germany
Experience: 8+ years

My core skillset is in turning ideas into products, either using the full-stack on the web or building command line tools/libraries. I prefer to work on backend code with a sprinkle of DevOps but I'm able to work on the full-stack.

Technologies:

- Languages: Python, JavaScript, PHP, Java, C
- Backend: Django, Flask, Pyramid, Scrapy, Django Restframework, Daphne, AsyncIO
- Frontend: Vue, node, native JavaScript, Bootstrap, CSS, HTML
- Database: Postgres, Elasticsearch, Redis
- DevOps: Docker, Docker Compose, Serverless, Kubernetes

Recent work: https://gebauer.dev/
GitHub: https://github.com/jayfk
Email: jannis@gebauer.dev
It seems like spotting drowning children could be a good use case for computer vision, at least as a backup. The heuristics for a drowning child are pretty marked, but they're hard to spot for humans distracted by lots of other stimuli.
Almost all of marketing statistics/metrics are correlation, not causation. They are mostly just looking at stats over time, trying only one new thing per quarter.
No way to know for sure if the new channel was actually the reason for success, but you can be fairly confident
... for them it is already full screen and way better resolution
> Does HN have people moderating ??

Yes
Components of the Disaster Recovery Plan Checklist
Well, what I meant is that they're solving the unhelpful messages :) The root of the problem is still there. Only languages without Null and everything that entails have truly solved the problem.
It's easier in real life because nobody just jumps in the deep end and starts drowning. When you're doing nothing but watching the pool you notice who is and isn't a strong swimmer and focus your attention on the kids who look like they're a higher risk. Also when you do it all day you get good. Most people who are struggling will know it and make it to the side of the pool with no issues so you get a lot of experience identifying what "not drowning but might soon" looks like.
What I really do not like about this fork is that it requests permission for all sites while the original version from iamadamdev only requests permission for sites the extension actually affects.

They briefly switched to all access (like the linked "bypass Paywalls Clean" above) but came around pretty quick to go back to their less invasive model.

See this issue thread on the original repo: https://github.com/iamadamdev/bypass-paywalls-firefox/issues...
Hey voldacar! Writing is hard, but I suspect it will get easier if I do it more often. Thank you for the encouragement :)

Indeed, this is the only native GUI programming interface available on the system. Outside of the standard C library (which includes an increasingly reasonable subset of POSIX), the whole OS is modern C++.
Looks like it give you a different video each time.

Lifeguarded during high school. It's hard, even in a small pool.
All these articles make the same basic argument, which is “Non-intelligent processes cannot give rise to intelligence.”

Which is about as true as non-hurricane particles cannot give rise to a hurricane.

We already know that the human mind is full of non-intelligent atoms, and perhaps non-intelligent neurons, and yet here we are.

Any argument that makes the case that computers cannot be intelligent is also making the case that humans can’t, either.
Must admit, reddit got me caring more about my finances.

It seems not many people are taught about money properly. I certainly wasn’t and non of my friends where.

I’ve always been good in that I never spent what I didn’t have and lived within my means. What savings I did have where in a zero interest current account though!

Following the finance Reddit’s at least put me in the right path. 6-12 months cash savings now in a high interest account, now have a pension plan, putting money in to ETF’s until I have enough in the ETF’s I’m willing to by some individual stocks which may not be as stable as the ETFs I have.

As someone who’s been a senior dev for 10+ years doing well but stuck in a rut I’m also finding the various cscareers Reddit’s useful about the job market. Seeing people’s salaries, negotiations, what jobs to look for, what companies to look for etc etc.
Just wanted to say thx for writing a blogpost. Rare to see great history snippets left as a comment on HN with any link to a longer form content from the author’s perspective if one is curious.
I think/hope it's just a matter of time. Devices are getting fast enough as far as I can see. Apart from Ubuntu Phone there's Samsung Dex as another commenter metionds, and I think Microsoft Continuum was announced even before those existed. But also dropped dead together with Windows Phone IIRC; unfortunately because it looked pretty good.
I’m wondering how long it will take for large companies to realize that people are gradually adapting and starting to look for information on sites other than Google search bar.

Today, Google results are a big problem in the sense discussed in the article, there are no more sources of information that can be trusted like in the old days. Some days I reflect with myself trying to figure out how it can be solved…I hope someone ends up finding a solution.
Julian Assange’s dad compares WikiLeaks to Ethereum
Chrome and Firefox Extension Allows You to View Delete Web Pages
How does a Linear Actuator work?
This is choreographed - I don't think the comments on reactions vs lifeguard reactions mean much.
Yeah, this is the same selling point for Le Creuset. $200 for a pot is a non-trivial expense, except when you consider:

* Has lifetime warranty
* Should easily survive your use and be capable of being passed down to kids, etc.

Basically the selling point is: "buy this pot one time, for life".
Ask HN: Script to dump macOS app menu as a website?
I strongly believe that a couple of months back I encountered a blog post with an app/script that allowed to 'dump' any macOS app's menu as a clickable web page.

Unfortunately despite diving deep into my bookmarks, notes, google, etc I am unable to re-discover the link :(

You guys are my last resort! Maybe someone knows the link...
Hemolithin: An iron and lithium-containing protein
That's interesting. I guess KitchenAid have different products for different markets. In Russia they are considered an expensive but crappy product. Great number of colors, but underpowered, not well designed (engineering wise) and easily broken.

I was thinking of buying Le Creuset after my Woll Diamond left me unsatisfied after two years of use.
Stars Realigned: Improving the IMDB Rating System
I’ve noticed amongst my peers in their 30’s that the action of trying new things is intrinsically linked with buying new things. Maybe it’s a product of being raised in 1980s USA, but it isn’t enough to just try to put new soup ingredients in the pot you have. You must buy something that ‘sparks joy’ or ‘inspires’ the action. Value isn’t derived from the practice of something new unless accompanied by the dopamine bump of status symbol acquisition (and perhaps peer reaction to display of such symbol).

Want to start exercising? Gotta buy new $140 Lululemon tights to help inspire the action, because willpower isn’t enough.
Maybe being ignored (i.e. hidden) is the malicious intent.

What if the largest file on your drive has that filename and no tool can show it?
> they earned their money legally

"Legally" is a vague term. What's legal today can become illegal tomorrow and vice versa. What is legal depends entirely on who gets to define and enforce the meaning of the term.

That enforcement can happen in two ways. Either because individuals acknowledge that the state holds a monopoly on violence in return for lawful order through a social contract, or individuals get effectively subjected to violence coming from a stronger individual or group of individuals.

> And yes, they already paid tax on said money in the country they earned them.

You're appealing to a principle of fairness. However, such principle only applies if those who get to define the rules are willing to accept and enforce that principle. Either because there's a large social consensus, or because enlightened despots are in power.

A universal principle of fairness does not exist.

Society at large isn't rational. It's a collective that spawns irrational, often conflicting views and beliefs. And the net result is, in the best of worlds, an uneasy compromise. If the large majority of a community feels that an exit tax is a fair principle, then that's something you will have to accept unless you find a way to convince people of the opposite view.
> the overview of the form structure and completeness of the data already entered are also important

Hum... The entered data is only important on the context of the place it is in.

By default labels and inputs have very clearly different appearances so that they would not be confused. And if you make the label information not accessible, you have just made the input information context-free and thus useless.

(Also, what is that with text prominence and screen readers? Are you completely removing the labels for blind people?)
REPL driven development

We can develop our program while it's running.

And it's not a tricky thing that injects or restart anything, it's by design. Load file to REPL and now your functions are redefined. Just on this namespace.
Load file/reload isn't a automagical thing. It's simple: just "stream" your file to the REPL.
HTTP library, DB library, any library need to thing about "how do I hot reload", it's a language feature.

I see many developers arguing things like "types are important because avoid runtime errors".
If you develop INSIDE runtime, you have no reason to fear runtime errors. Your runtime error will blow up during development process.

A cool thing about this pieces:

- I can start my app from REPL

- Connect my browser in this app

- Run my integration tests that create entities (inside the same REPL)

- See in the browser the state from app after run the test.
At what point does this logic stop? I see it all the time to justify taxes, but I'm sorry I think there is an upper bound of justifiable tax and a 40% exit tax certainly seems egregious.
Some good points but no diagnose or solutions beyond the expression of the problem.

Here is what I'd add for it:

I don't care if you're make or female, people need to improve constantly in 3 parameters for their whole life-span:

1. Looks (basically proper nutrition and some degree of bodybuilding training)

2. Psychological strength

3. Affluence

You need a life meaning mission that makes you feel good at improving these, using that mission as the vehicle. If you can do that, you'll be an example and all the rest will fall into place.

If you unbalance these, you'd be screwing up and diminishing the overall life-satisfaction returns.

Startups, or business, in general, are only going to (when they work) improve affluence and (always) consume psychological strength.

Proper nutrition and going to the gym (and I mean lifting HARD) falls into improving looks which also helps in relieving psychological and physical stress.

If you break that delicate balance you're investing in some kind of deformed creature that will eventually show. Hence, this kinds of depression wouldn't be a surprise to emerge as a manifestation of breaking that sustainable self-improvment equation.
There are two things going on here. For people who actually make soup - making soup can be a very lengthy process. For example, chicken soup is generally made by boiling down a chicken carcass for many hours and then adding veg and seasoning for flavour. On a practical level, you can then freeze the soup and it'll last for months. It's a great way of having a healthy, easy meal waiting for you any time. You can also really change and play with the recipe to come up with something great.

Cast iron is great because its really heavy and stores heat so it's great for slow cooking, and you want enamel because it reduces maintenance (uncoated cast-iron absorbs what it's cooking which is why you never cook tomatoes in a cast iron skillet). Le Creuset are great quality, last forever, and are well designed which is why they command a premium.

The point of the article is that actually she doesn't want to make soup, she wants to be like the people in the videos she watches and the concrete immediate step to get there is by buying the tools they have. It's like buying a gym membership in January. You want to get fit, buying a gym membership is easy. Actually going to the gym is hard.
Friends of friends recently had their 1.5 year old drown in the bathtub when her dad left her alone for a minute.

When you are at a pool / lake / sea with a kid that cannot swim, keep them in arms reach.
Vega-lite is nice: https://vega.github.io/vega-lite/
Then they can shift work hours :) who cares what numbers clock shows.
They are. You lose your money if you leave, so it's more appealing than not to stay.

And why is "the country" in scare quotes.
How to Code a Stock Trading Bot Class 3 of 5 Machine Learning
What’s frustrating about this article is how sparse it is. I could only bother to waste five minutes on it before giving up. Where’s the meat? You aren’t going to convince anyone with 150 year old platitudes. I need proof. I’m sure anyone quoting a mathematician would appreciate the value of that.
To answer your question, yes soup is easy to make, but good soup can be as complex as a full meal. A good soup comes from a good stock and a good stock only comes from building it yourself. So you need chicken or beef bones, vegetable pealing, correct spicing, a crock pot and several hours of a low simmer just to build the base. After that you have to build the soup, lets say you are making french onion, one of the simpler classics. You need a good beef stock, you need to select your onions, braise them. Then you need the beef stock you built, you need to select a Sherry or Madeira, you have to select a Gruyere cheese, you then have to simmer this, transfer it to crocks and then broil in the oven.
> I'm hardly putting words in your mouth. You were expressing more-or-less exactly this sentiment in your previous post.

Trust me, I wasn’t.

> It follows by definition of output-based or blackbox evaluation. Evaluating the output of a system implies that you are evaluating inputs in proportion to their contribution to the output.

I like this! It’s like pure functions/total programming, only not rigorously defined in the slightest.

It’s not an answer to my question though, HOW do you know that the results of your output/blackbox testing is correct?
In what way are those interfaces clunky?
The IRS mostly follows the law. Proposals to change the law to raise taxes or close loopholes exceed the "IRS said so" criteria.
I have a Kenwood Chef Classic, and while it does work for now, at least one tooth on an internal gear has broken off, which happened when I was mixing some pie dough. So it runs, but will sometimes skip a little. I have not been able to find the appropriate spare part.

It is also significantly less solid-feeling than a KitchenAid mixer. When/if it finally breaks, I will replace with a mixer from a professional kitchen supply store, which will be expensive, but will also hopefully last basically forever with ordinary home use.
Interesting and given "The price of €359 inside Europe or €309 outside (plus any import taxes)"

I'm thinking by Europe they mean the EU, hence price in Euros.

Also https://www.notebookcheck.net/Gigaset-GS290-Review-Good-smar...
Has a price of 269 Euro - first URL saw and didn't hunt for cheapest

I also looked at specs...and agree it does look like the Gigaset GS290, and yes it 50 euros more - only if you live outside the EU/Europe! Otherwise if you live inside EUrope, its 100 euros more. For a phone that they say will be made in EUrope.

So it does somewhat feel like you are better off buying a phone that has good alternative OS support (like an older Samsung or other popular model of yesteryear) and a case of your choice and ending up with something cheaper and better.

Also this free VPN, it's a 3rd party.

Well Willyfox released a phone and promised advert free truecaller for life - I can attest that was a lie. So be mindful of such 3rd party services they offer as you have no guarantee with that.

Also of most importance: "DISCLAIMER: Please note that the device is only CE certified and importation into countries outside the EU and EFTA states may be refused by customs."

So they will sell you a phone that you legally may not be able to use and possibly be blocked by customs and in that situation - I suspect they will just point to that disclaimer and say told you so without any way to resolve you outlay. THAT is something to be most mindful of.
> Do make sure all text meets WCAG colour contrast requirements.

Presented by the person that places #BBBBBB text on #FFFFFF background. Meh. If you want to talk about good practices on the web maybe stop using lazy loaded images and that other unnecessary JS clutter.
So by your logic an employee who only maximizes his "pile of gold" (salary) and is morally bankrupt and should be punitively taxed?!

What should he do, not sleep at night thinking about "the good of the company" to be a "good employee"?!
The code for material design components is crazy complicated because it was designed by UX designers for multiple platforms with little engineering input.
I don't understand why you said "I don't care if you're male or female." Are you expecting someone to argue that either men or women don't need that?
Disagree. I am pretty close to the Biglaw tech scene. While you’re correct that most firms would say they use all of those things, the actual implementation and execution isn’t there. It’s not even a nuanced critique, I mean maybe 1% of amlaw 100 revenue is even touched by anything in your list. There is a lot of work to be done, and great opportunity in the legal industry.