skysight-inc/HackerNews huggingface dataset:
To just offer a possible contrary perspective: nobody else is around to tell you you're using the wrong tool for the job.

There's many fine options for each domain and yeah, you get the choice of them if there's no established languages. But be careful not to go off the deep end on using your favourite langauge for everything.

On small teams it becomes increasingly important to endeavour to objectively scrutinize your own choices as best as possible.
Iris is a separation logic, a framework for proving the properties of programs. There are many like it, Iris is just one of the recent examples.

To prove statements in this logic, you have to rely on the proving facilities of the host environment, for instance Coq in your linked example. Most of the proof is then written by hand and quite tedious. The difference is that Why3 attempts to automatise as much of this workload as possible, most frequently with the help of SMT solvers.
For others not in the loop, VHCOL seems to mean "very high cost of living".
But they don't want that. They want to silence opposing viewpoints, not protect them.
Apple says it's struggling to sell iPhones in India, but it's really not trying
CC (Creative Commons) Working with Flickr to Protect the Commons
Dude, I bought a max spec'ed macbook air mid 2012 with 256Gb SSD + 256Gb SD Card, a dual core, and 8Gb of RAM, for ~1600 EUR in 2012.

In 2018 I would have to pay 2000 EUR for 512Gb SSD, still a dual core, 16Gb of RAM that is only slightly more powerful than my mid 2012 machine (I haven't found benchmarks yet that manage to get a 2x difference) to the point where it is just not worth upgrading.

If I were to upgrade it, I would throw 1500 EUR at Dell for a quad core, 32Gb RAM, and a 1TB SSD, maybe with nvidia discreet graphics. A similarly spec'ed macbook pro sets you at 3-4k EUR...

The only people I can imagine buying macbooks in 2018 are those not paying for them themselves (company laptop) because for an individual they just don't make financial sense - one can get similarly spec'ed laptops for almost half the price.
I've asked: https://meta.getaether.net/t/how-do-you-stop-hostile-communi...
The Z Expression Language (Spf4j (Simple performance framework for java)
I dunno - when I saw 'decentralised' I assumed I'd have to download something. Isn't that how decentralised applications work?
Project Volutus: Micro data centers at base of cell towers
The current Android app development landscape seems to be where the web was circa 2005, where you have a "standard" Android API (except without an actual standard), implemented a million different ways based on the whims of each individual vendor. Compounded by the problem that Google seems to enjoy replacing parts of the API every single year for no discernable reason.

I do not envy the job of an Android developer.
I feel like the cost of having open communication platforms is the existence of toxic communities.

The correct approach (IMO) is to educate people about these rather than to have some sort of censorship mechanism.
Achieving Consensus in Blockchain-Based Systems
This is only a contradiction if the type of housing remains constant, which it does in low-development, high-construction-cost markets like San Francisco where public policy prevents the modification of (almost) any housing to increase density.

Here’s how it would work otherwise: family buys single family home in year A for $100k. Lives there for a while, then sells in year B for $200k. The buyer is a developer, who then constructs a larger building on that same lot consisting of 4 apartments that now each sell for $100k again. Original family gains in wealth, developer makes tidy profit, new families can still buy a place to live for $100k. All numbers inflation-adjusted, you pick A and B to make whatever return you think is reasonable.

This is how densification happened almost everywhere until zoning laws stopped development mid-century.

Note what you don’t get out of this arrangement: a neighborhood that doesn’t change for 40 years; the ability to live in the same type of house your parents did, in the same neighborhood, for the same price. But you could have the same amount of (indoor) space they did, and outdoor space through public parks and the like.

What’s not sustainable is everyone having a suburban style detached single family home without increasing density in perpetuity. That is what leads to this contradiction.

The non-density alternative is sprawl, where prices rise in long-established neighborhoods, and outlying new developments are where you can buy new houses for less — which is what you see all over California.
They don't, at least based on their community manager's response to a comment of mine on reddit. They are the biggest clevo client so they get a say on putting linux-friendly parts in the mainboard but that's it. My understanding is that clevo machines are linux friendly mainly because of s76's influence on them.
Based on the stated concerns, data sent to Google, bundled apps that can't be removed...

And given the author's interest in FOSS...

Really interesting Lineage failed. He claims apps kept nagging about the lack of Google app support. How pervasive is that? Could he have just found a couple app alternatives rather than throwing them all out at once?

It's hard to disentangle whether the problems we have are with our phones, with the OS, or with the app ecosystem.

(Quick edit for clarity.)
The people who can't afford food are embedded in a corrupt society that stops anything structural from happening. Food is number one million on their list of needs, along with law and order.
Thanks so much. Do you have any Github repos that you could recommend? Or tricks to finding good github repos?
Notifications need teirs.

You have notifications, that are not important, so low priority.

But equally you have notifications that are important, those should be sent and logged message queue style, so they stay on the send queue until processed and processing acknowledged by the client.
Partially true, internally libraries represent the rotor as just four scalars and can convert these to a quaternion. However, to actually make use of the rotor to do anything useful, e.g. interpolate, which is a power quaternion math has innately, you need to provide a lot more external information; plane origin vector, bivector, angle. A 3D file format storing the transformations between joints of the skeleton of a character for example would have to provide these extra bits of information in order to store the frames to perform inverse kinematics.

Likewise, if you needed to store or transmit spherical camera interpolations or non-player or player character transitions over a network this information would also have to be provided. You could perhaps do some optimization, e.g. only sometimes transmitting the origin once and then only sending the bivectors and angles in some cases which still would waste bytes and increase complexity. And, sometimes you couldn't so you'd have to send the whole thing.

But, with a quaternion you get this for free without any logical gymnastics via the previous four scalars to the next four scalars between delta frames. And, in the case of slerp only the lambda of time.

Now you can argue that a rotor could be used locally and then when storage/transmission is required you could convert to and use quaternion math to perform the necessary interpolations and thereby get the space savings. However, this article is specifically asking for the complete removal of quaternions from the field of computer science.

Unless I'm misunderstanding. Though I haven't seen a code example where rotors don't require this extra information. For example, in libvsr they have examples that require all these pieces for each frame. However, maybe that is an inefficient or naive implementation.

I did find this: http://geometry.mrao.cam.ac.uk/wp-content/uploads/2015/02/01...

Which provided a formula for rotor slerp:
R(lambda) = (1.0 / sin(theta)) * (sin((1 - lambda) * theta) * R0 + sin(lambda * theta) * R1)

If that is the case, then the bare minimum information required is still more than a quaternion. We'd require the lambda, theta, and R0 (4 scalars), R1 (4 scalars).
Well noticed TekMol. Just added MIT license to the project. Thanks for your feedback!
Yup. I just bought a $250 Moto X4 to replace my Nexus 6 and it feels faster. My Nexus 6 cost $450 a couple years old, and my new phone was new.

I don't see any reason to pay $1000 for a phone these days, and I probably could have gotten the same experience from the Moto G at $200.

I just want a phone that:

- can last the entire day
- can run a browser reasonably well
- has decent reception
- will get security updates for at least 2 years (expected lifetime of batteries)

I don't need a fancy camera, next-gen graphics, or super high DPI screen, I just need a phone that's reasonably reliable, and even the bottom tier phones are more than capable.
You can use with Tor:

https://meta.getaether.net/t/how-to-use-aether-behind-tor/53
I agree, wholeheartedly and have a hard time understanding the thought process and worldview of someone who rides a loud motorcycle even five blocks in a dense urban neighborhood at night.

In one neighborhood I lived in... each building was 4 stories, with 5 apartments facing the road. There are two sides of the road. There were four apartment buildings per block.

5 * 4 * 5 * 2 * 4 = 800 homes being affected! Yikes!
That happens because the US provides people that come here for humanitarian reasons work permits. Europe does not.
I thought so too, until while programming a wifi webcam I needed to sniff wifi traffic from my phone. God that was scary. I remember doing packet capture work 10-12 years back and knowing more or less what my machine was doing on the network.

These days I can't even begin to work that out. There is easily a 100x more traffic and every single time I ran a capture I would find a whole bunch of new hosts being contacted that have no business talking to my phone. And I just use my phone for email and messaging. Not a big app user.
The is no evidence that Gab can't find a price at which to run its service. Again: even Stormfront is still up and running. And Stormfront is just Gab without the pretend rules forbidding threats and harassment.
This has me really curious about the state of software engineering principles in academia if you can find bugs that invalidate 18 months of work.

I'm not saying it should have been preventable. It just looks like there may be opportunity to improve practices.

Admittedly I'm completely naive to the domain. Are there no forms of validation checkpoints you can reach where your foundations are rock solid and well backed with tests and such?

I had a Prof in grad school who lost years of cryospheric research data because an external hard drive was stolen. This was in 2010. It was a head scratcher, especially being faculty-adjacent to some of the best CS and engineering faculties in Canada.
Blog Post – Thoughts on Site Monitoring Tool – UpDown
I agree with you, but your four levels really need to be refined by a fifth level, corporate power.

That is, power that is wielded over you by corporations even though they're not your employer because you essentially have to do business with them (Visa and MasterCard come to mind - they're essential infrastructure to the point where it really should just be a function of government, but isn't for historical reasons)
>> Housing is not independent of other goods...

Yes it is. Or rather, prices rise with inflation but there is another much larger influence on housing prices - interest rates. When rates fall, prices rise and when rates rise prices fall. This may actually be a driver of inflation, as it is the biggest way consumer borrowing changes things.
TCL/TK is probably one of the most underrated GUI frameworks out there.
Minimalist ID is by far the cheapest way to achieve good details. Mixing 2 or 3 materials together and getting them right is even harder. ID has been done to death and has stopped amusing me for years now. This is why I think the direction s76 is going is much, much more interesting. Wood on a desktop computer is a good idea( ignoring the execution), but a laptop with 2 or 3 materials mixing would be even better.
> machines that we would call desktops were very often referred to as mainframes.

I suspect you're misinterpreting what you are seeing, those adverts probably showed someone working at a keyboard and VDU screen. They aren't the computers, they are just terminals which connect to the computer. Have a look at the links below for some examples.

http://www.chilton-computing.org.uk/ca/technology/ibm3032/ov...

http://electroprops.co.uk/73/Computing/1970s-DEC-VT100-VDU-c...
Some people are so good that they will shine anywhere but for a lot of us it's better to work somewhere where you get challenged with difficult problems so you can grow.

When I look around my company a lot of the young guys are in positions where they will never become very good because the environment what's them to repeat the same thing again and again.

To become a good software engineer you need to have the opportunity to be creative, make mistakes and learn from them.
Some type of social credit system with power at the local and global level. Give active and creditable participants in a single community more authority there by giving more votes. Global credibility (you play nice in other communities) additionally is factored into the users ability to influence. Make this credit consumable. This way a community that wants to disrupt another will have to overspend and leave themselves vulnerable to destruction. MAD in essence.
Some aspects of coding as we think of it today probably will be made redundant and in fact have continuously been for quite some time now.

Higher-level programming languages, abstractions, libraries, IDEs: These are all tools that automated one or several aspects of coding

However, short of an AGI some tasks will still require a human being, particularly the translation of business requirements into code. Humans get this wrong frequently enough due to communication failures. I don't see how a machine without at least human-level intelligence could perform better at this.
I am also unable to download and I doubt _my_ cache is the issue as I've never visited this site before. Is anyone able to download the Windows client (or any other)?
Good news! We haven’t lost 50% of animals. We’ve lost 60%. https://www.theguardian.com/environment/2018/oct/30/humanity...
From the FAQ:

> How long does it take for a post to reach the most of the network?

> [...] Long answer [...]

> [...] In fact, it’s a little larger than one request in a minute, because some nodes are behind restrictive firewalls and NATs, and they cannot be reached, they can only make requests out.

Regardless of the actual FAQ discussed here, the statement is made that "some" nodes are behind NAT's, implying that most will not be behind NAT's. Living in the Netherlands, I'm not sure about countries overseas in the Americas, but here I'd wager >99% of normal household PC's will be behind a router implementing NAT. This makes actual peer-to-peer communication nigh impossible here, and I'm always doubtful about nice peer-to-peer solutions that claim to be cool and such but sneakily have the ever-present requirement that you have a public IP address. I don't. Nobody I know does, except for VPS's and so forth. But I generally don't run a graphical client on my VPS.

Of course, theoretically, this should be solved by IPv6. But really I wouldn't know how to start using that, and whether my provider has all the hardware and software in place to actually have this work. (And whether my provider-issued router supports it, as well.)

Can anyone chime in on how the situation regarding NAT's is in the Americas? And does anyone have a good source on how to get started with IPv6 communication between peers, when I don't even know the stuff I mentioned above?

EDIT: I see that Aether has/seems to have the option to work around this problem by allowing one to run the backend (the thing that actually connects to the peer-to-peer network) on a different machine than the client. That would enable using a VPS to run the backend.
Although a much less extreme example, this brings to mind GitLab's model of location-based pay [0]:

"Market rates for roles are different for different regions and countries. We pay market rates instead of paying the same wage for the same role in different regions."

[0]: https://about.gitlab.com/handbook/people-operations/global-c...
Crystal 0.27.0 released
That’s only 5.4 books per day since birth totally possible
It is theoretically possible to serve a web app from github pages and let the decentralized peer-to-peer application run in the user's web browser.

There are limitations and this approach might not be feasible for this application.
Thanks amazing. Thanks! I always wondered how companies create their own type of QR-code. Anyone has any idea how something like this can be built? https://i.imgur.com/wtxZDdh.png
> You have one with a good enough battery and the same apps as anyone else, and the speed is all fast enough to not notice. At this point the technology has converged.

Sure, which is why we're seeing a shift towards choosing a phone based on your personal/philosophical/marketing beliefs about how your personal data is treated instead, which is what at least part of this article talks about in justifying the switch.
People keep saying this "ought to be concerning". What I see are mainstream commercial conveniences refusing to be complicit in spreading bigoted messages that have gotten people killed. Why am I meant to be surprised by that? If I ran a hosting provider I sure as shit wouldn't let that happen either.

We can all think of things we would ban if we ran hosting providers. We all know there's a line. Why are we pretending there isn't?
CSIndexbr: an open tool for exploring Brazilian scientific production in CS
It isn't possible, but you can choose which subs where you want to subscribe.

There will be a moderated list of subs (maintained by the main developer), but users will be free to try to find an join even the most controversial ones.
The same way you prevent them from becoming progressice/racist trash bin worse than reddit.

You let them speak and prove them idiots. It's really not hard. Unless you're constantly on the side that's losing, then it's pretty miserable.

But know that even though you're losing now you can reformulated your arguments and try again because no ones going to censor you. You have all the same rights because you, like they, are people deserving respect, no matter how much you look down on them or hate them. And that's what I tell them about you.

Less hate more love.
There are a some, the most obvious example being Linus Torvalds.

At google you have Jeff Dean who has, rightfully, become famous as a world class software engineer.
Yes their hardware is grossly overpriced, but the flagship Android phones are pretty much inline with Apple these days.

So which is it, Apple is grossly over-priced or inline with what a decent Android phone costs? And then the author goes on to complain about the data firehouse back to Google and bloatware. Are we yet seeing that price is not always measured in dollars? I don’t mean to pick on the author, I guess it’s just interesting to watch the process of coming to this realization.

But the notifications, holee-shit. That seems like one of those “under a full moon...” reports, but others here confirm. I’m so speechless, I don’t even have a snarky Apple fanboi comment.
I also have an SE and love it. The OP, and various posts above are slightly wrong to say that Apple is a hardware company. Apple is a PRODUCT company; They design, sell, and support the whole product. That’s why is all Just Works, which is what most folks of any ilk want. Even their Unix (basically BSD) Just Works. Yeah, a little more Open would be great, but when I want to build something else, like a house, I really don’t need to be worrying about recompiling my screwdriver. Like the OP said, I want a phone that’s a phone and works. I want a Unix that’s stabdards compliant and works. I want a laptop that works. And I’m willing to pay a little more for someone else to build and maintain the roads and bridges so I can get where I want to go. And, yeah, not to spy on me while I’m getting there.
Yay, arbitrary undocumented language for comments!
>...but open source hardware it is not...

They mentioned multiple times that their intentions are to make the hardware as open as possible with each generation. They never claimed that this hardware is 100% open. My guess is that it has to do with how many parts they can order from mobo manufacturers so they slowly release more and more pieces.

>and the claim about it being manufactured in Colorado seems a bit specious. Maybe they're milling the cases in Colorado and installing the parts? The real parts that do the computer part seem to be the same as the real parts in any PC.

That's correct. But coolermaster or corsair cases aren't necessarily made in the USA while these are. Basically what they are saying is that everything they do themselves, including the value-adding steps is done in the USA.
So, once again, "Are you willing to compel Stripe by threat of force to keep processing credit cards for nazis?"
"Most of the bloatware on Android devices I’ve used over the years cannot be removed as they’re marked as system apps."

I believe you can use the Application Manager in Android to disable any of these Apps, even though you cannot remove them.

Just don't disable an App the phone actually needs.
Also the application takes 1-5 minutes to "download fresh content".
I worked on an OS390 for a little while and had a copy of the editor which ran on a PC. It was called SPF/PC and was pretty interesting and also allowed me to practice on it at home.

One thing, unique at the time I think, was you could selectively hide rows and then perform column operations on just the visible ones. Very handy when you needed it!
I don't think I do: more willing than is the case with the UN is a very low bar.
This should work on a global switch like zerotier. Then the problem of NAT disappears.
This is all true but it's not actionable. By that I mean, it's philosophically correct but not practically applicable.

Yes, mathematical theories are merely a model of actual reality. But a model that produces accurate predictions is useful--even if we know it is not a complete model.

Even if we know it's not always accurate, we can model the inaccuracies of the model and constrain how we apply it. NASA knows Newtonian physics is less complete than general relativity, but they still use Newtonian to plot routes through the solar system because it's good enough.

So, sure, mathematical physics is not reality. But unless someone has a better tool than mathematical physics for making predictions, merely pointing out that fact is a pointless. Scientists already know it... that's why they do science!

Telling a scientist "your theory is not complete yet" is like telling a writer "you haven't written the perfect book yet." Yeah--they know.

EDIT to clarify that, while I'm replying to coldtea, my comments are really directed at what v_lisivka is saying in this thread.

v_lisivka, you're not wrong, but you're also not adding anything of substance to the conversation. "Physics is not a complete description of reality" is a critique can be dropped into any discussion of physics, which means it does not add any value to a discussion of a specific topic within physics.

It's like saying "you can't prove the sun will come up tomorrow" when someone is trying to plan a lunch date.