skysight-inc/HackerNews huggingface dataset:
People think it's that we've become lost in beauty. I don't think that's the main problem. The main problem for high energy physics is that it is an empirical science with a design-build-test cycle with a timeline of around half a century. That is simply too slow and too costly (in $$ and time, which is money) for the science to make any progress. The LHC showed nothing new, so do plenty of other scientific endeavors, but those endeavors took a few months and cost $10,000, while the LHC took 30 years and billions of dollars. High energy physics killed itself through experimental lack of imagination at least as much by mathematical masturbation.
An interesting alternative to SMS over XMPP/IRC over Twilio is SMS over XMPP over your Android phone. This lets you send and receive SMS on the computer and share the history with the phone. For this I'm using MAXS (http://projectmaxs.org/), an open source modular system available on F-Droid and Play store where each module is installed separately and provides a specific service over XMPP, such as receiving new messages, reading old messages, querying location, etc.
Proton mail down
https://twitter.com/protonmail?lang=fr
So your real point is the tension between random process and process such that the person being executed will not be able to use a process of elimination to predict the day of the execution?

If we don't care about randomness, can't the judge just use the strategy of Always pick Wednesday?

If we do care about randomness, the job is to explore whether we're guaranteed to surprise the convict, and of course we're not: if the random process selects Friday, the convict won't be surprised.
"At least part of the point is building/repairing credibility with the capital markets"

In order to do that it would probably help to not cut off investors asking legitimate questions with snide comments to then devote significant parts of that call to answer questions by a fawning Youtube "personality" fan during an investor conference call.
Summary, kind of. I replaced my Sophos UTM with OPNsense. So far so good.

- Sophos phones home too much, is not open source.

OPNsense in comparison to pfSense:

- using better BSD, with ASLR (the only check I did so far)

- licensed under BSD 2-Clause, vs Apache 2.0

- nicer GUI :)

- not running PHP as a root user

Looks like OPNsense is true hacker's stuff, check this out for DNS over TLS:
https://forum.opnsense.org/index.php?topic=8748.msg38928#msg...
What if you have poor/intermittent backend connectivity, low latency requirements, or are handling sensitive data and don't want to ship it to a cloud backend? I think there can be a place for this model. Perhaps something like GDPR can make it more attractive? In the projects you have worked on, was the primary motivation maintainability or a business need to gather all data centrally in order to perform some kind of global cross device analysis/aggregation?
In my case I don't actually have the originals so it would be hard to impossible to verify on this dataset but if there are concrete examples of such errors then I could use that to identify documents that are more at risk of such errors.
replace "narcissists, sociopaths, and borderlines" with "Leos, Tauruses, and Pisces" and you'll realize you're assigning arbitrary labels to people you don't like without actually knowing anything about them.
>and it is impossible to entirely verify this solution without having terrorist-levels of access to the underground system

Isn't it already "terrorist-level access" for a privately owned restaurang to "inject" their "air" into the tube station ventilation?
I think most people would agree here. Nearly all CS college courses include practical projects, precisely to try to provide these good and memorable examples.

It is also true that practical projects in 12-week long courses just cannot compare to the amount of problem insight you get if you spend N years working on it from the business side. There many courses that I would enjoy (and benefit from) much more now that when I did them some ~15 years ago!
What an interesting contrast. I wonder if there's some regional difference in behaviour, or if it's just a case of mandating something which seems superficially beneficial.
China Tariffs Seen Hurting Tech Sector – EE Times
See David Malan @ CS50
https://youtu.be/y62zj9ozPOM
Is there a standard for signing HTML files yet? I've not one where the signature and content could be in the same HTML file.
Disclaimer: I'm a former recreative drug user who particularly experimented with various psychedelics throughout my early '20s. Most of these were legal or decriminalised at that time, in my country. I've found out at the age of 35 that I have autism, and wish I knew this earlier in my life. I recommend every human being to, instead of self experiment, follow the conventional scientific method instead, and solely (although, yes, this can be expensive and long road and a matter of finding the right therapist/diagnosis).

"Above all: God forbade it."

Says who? In medieval Europe (and to this very day) monastaries were growing hop (arguably a drug) brewing beer (arguably a drug). Pharmacies are arguably selling drugs. There is evidence of drug usage throughout our history, especially a.muscaria (fly agaric).

"This, it immediately impressed upon me, was an intimation of godness; it opened my heart to the divine; this was a sacrament, a fusing of the material with the ineffable. Pollan tells the story of a woman called Mary who ate two or three spoonfuls of mushrooms one day and, she told him, “had the most profound experience of being with God. I was God and God was me.”

This is supported by the works of John Marco Allegro and some of his, eh, followers. [1] [2] [3]

"And the word “drug,” like “psychedelic,” is horribly loaded. Like the miraculous weed, psilocybin comes from the earth. LSD comes from bacteria. They are not addictive; yes, they can be abused, but very few who have had a psychedelic experience want to have it again and again."

Its dangerous to throw all psychedelic drugs on one pile. Psilocybin cannot be used effectively in tandem (e.g. multiple times a week) however LSD can. LSD is actually an oddball, pharmacologically, though I'm not an expert at this field, see Wikipedia [4]

Also, LSA comes from bacteria (ergot and the like). [5] LSD is made via chemistry of human interaction (synthesised).

Now we come to my actual point: we have the scientific ability to diagnose people. We have the scientific ability to figure which medicine/cure works on them. We have the scientific ability to standardise drug dosages. Recreational drug / "natural" drug usage uses practically none of these abilities. Its experimenting often done irresponsibly. I'm all for experimenting, but it should be done in controlled settings, following the scientific method. There are scientists who are proponents of that, but articles like these are not going to win them grants because they resonate with the experimental/recreational drug use culture only. The general public is against that.

[1] https://en.wikipedia.org/wiki/The_Sacred_Mushroom_and_the_Cr...

[2] https://logosmedia.com/the-holy-mushroom-evidence-of-mushroo...

[3] https://logosmedia.com/SecretHistoryMagicMushroomsProject

[4] https://en.wikipedia.org/wiki/Lysergic_acid_diethylamide#Pha...

[5] https://azarius.net/smartshop/lsa-seeds/
>In the field of software engineering, there are concepts of "clean" and "beautiful" code and languages.

Anyone who has sat in a code review with two "true believer" "software engineers" will know how subjective and poorly justified, yet fanatically defended these positions are - in fact anyone recruiting will know how damaging having a true believer in your team can be (two is a genuine disaster).

Software isn't engineering because we can't measure anything much about it apart from compression, speed and detected defects so far. Speed and compression don't matter for 99% of modern software; we have laptops with 32Gb memory, servers with 1/2 Tb and scores of Ghz cores - the need to write in C has disappeared for almost everyone. Detected defects is problematic because as soon as you start counting them people stop submitting stuff to the code repository until they have removed everything that they can find. That's a problem because they hold onto it for weeks and meanwhile if it had been in the repo everyone would have found twice as much. Also the team stop reporting the stuff they have found and just talk about refactoring; also the team gets less keen on testing..

So what do we measure ? We can't tolerance it; we can't deduce structural properties; we can't deduce lifecycle (recycling, onward development) properties. We don't know why the core engineering decisions got taken because often the core decisions happen at 3:17 on Tuesday and no one even notices at the time, or remembers later. It's not engineering, not close.
That's where you quit proofs, and start experimenting. I found tests to be extremely effective at rooting out most bugs. Especially if you use property based tests.

Programs that do need a proof still have model checkers like TLA+, and proof assistants like Coq.
Nobody take "siestas" in Spain. Only some toddlers and old people, so they are not designed with that intent on mind.

Their aim is to avoid sunlight in summer and keep warm in winter.
Great. Now I'm annoyed too.
I feel I've heard enough.
Something I hate about the business side of the tech world: the fad-chasing.

From the article:

> I hear these days for you to close that funding round quickly and early enough, you must throw in “Blockchain” even if it has no relevance in the grand scheme of things. A while ago, it was Machine learning and Artificial Intelligence.

Right on. No, blockchain won't help you with your corrupt voting system. If you don't understand the technology, you can't reason about its applicability, and there are more buzzword-chasers than serious technologists.
While content sites are not doing well, live cams have nowadays quite a high turnover. However all you said regarding merchants and banks is still an issue, payment processors get quite a large chunk of the pie. I’d also add Epoch to the dominant billers besides CCBill.

Hopefully the crypto world will mature in the upcoming years and people will use it for payments. That would help customers stay anonymous and there will be no charge-backs. Sure, we will miss recurring payments but still a win imo.

Source: I’m the CTO of a mid-sized live cam platform.
American Gut: An Open Platform for Citizen Science Microbiome Research [pdf]
Backyard ethics: defending the NIMBY [audio]
The fact that google voice works in Europe is not the authors' qualm. His qualm is that you cannot get an european number from google voice, nor call european numbers for free, nor send sms messages to them, etc.. It just "doesn't work" when your life is european-centric.
I don't understand this opinion of "little fundamental physics". First, what do people actually know about all of modern physics to make such a statement?

There's despair at HEP, yes, but it's because we can't discover a Higgs boson every year and many physicists thought that maybe there were lots of new particles coming up. There was a solid theoretical possibility that would have allowed in a way to get something similar. But they're not there, or at least we don't have the means to produce them now, so you have to try other things. That's not bad, that's simply how science works.

You can't make up new particles if they don't exist. That's not a failure, that's the sign that you have done your job. The better you get at something, the harder it gets to improve your results. No one tells biologists that they have to get something better than Evolution every decade.

That disappointment of many can't spoil what has been a triumph, the Standard Model with warts and all is how Nature works: there really are Higgs bosons which we didn't have the technology to even look for until now. And there are still precision measurements to be made that will give us information about what we can't reach directly, because it's hiding in some numbers there. Such things don't make it to headlines, though.

About fundamental physics... Well, we've discovered that neutrinos have mass, that's new physics right there. We've measured gravitational waves, which many thought was impossible. We've discovered that the Universe expansion is accelerating, more new physics. Also that dark matter is pretty much not an hypothesis, because of weak lensing and a number of other independent observations, so there's exotic matter out there. There's a lot of work to be done, yes, but we've learned a lot already.
Weed can be harmful in an insidious way. I think it should be legal, but not promoted. Hopefully, legalization will be accompanied by prevention campaigns.
Pre-Acquisition Skype Reads Your BIOS Using NTVDM [2007]
The older I get the more I appreceate that passage from Keynes.

Most annoying brain virus at the moment are the walking libertarian cuckoo clocks that appear to have infested every online comment section. The contemporary version of the new age hippy marxism of the sixties and seventies, just on the opposite side of the spectrum. Much like the Marxists, they’re completely impervious to the facts, and you’ll get the exact same excuses (“that’s not real capitalism!”). And then there’s blank slatist culture warriors vs biological determinists, techno utopians vs climate defeatists, ...
And this is only one example. (Yes, I am talking about application compatibility)
Filebot transitions to cross-platform license model
I feel you do Leslie Lamport a disservice here. I read the SciAm article and the full "How to Write a 21st Century Proof" and did not get any sense of denigrating people or being adversarial. Sure, he is concerned about clarity and correctness, but that is the exact point of mathematical proofs.

So everyone else, please skim the SciAm article and then take 15 minutes to enjoy reading the paper [1] in Lamport's own words.

[1] https://lamport.azurewebsites.net/pubs/proof.pdf
Neat, I didn't know Windows 10 has an improved compression system.

I presume it only works with NTFS? Surprised the page doesn't say.
well, website.com/product=11 became website.com/myfavoritejeans
When you are long on time but short on money things like Uber are no longer on the options list. Rule #1 of surviving when you are short on money is to make every decision right.
The NES turns 30: How it began, worked, and saved an industry (2013)
I believe op was just referring to the hn title which has a 'y' in place of the 'u'. The original URL does not use that spelling
To help with Clojure/ClojureScript adoption, I would love to see this, clojure-docs and the official documentation in one place.

People give up easily if they can't find decent getting started and docs.
It adds to that initial hurdle.

Any chance the authors of these initiatives can get together?
I think if you get to influence people by your charisma, you may fear of misleading them into a bad route and feel responsible. I personally rarely feel this one.
What you consider garbage others consider good. Netflix knows what you watch, they are the product, you are the customer. There's no competition for time slots where people who like $goodshow are drowned out by people who like $populartrash

With legacy tv you are the product, the show is the overhead, and the advertisers are the customer. With Netflix you are the customer and the show is the product.
The controversy over child killing among Amazon tribes in Brazil
The way Google returns results is totally different than 15 ways ago. When it was once algorithmically, impartially sorted, it favorised spreading of information without political or judgemental intents. Now Google, while still not evil, has been forced to censor itself over the years, and is not an impartial research engine anymore. If Google keeps reinforcing the system, who will propose alternatives? Where will we find new ideas?

Edit : To me "piracy" of music was a new idea : free access and distribution of digital contents, because we technologically can, and it doesn't kill anyone
EDA Startup Rises from Ashes of ATopTech
تنزيل وتشغيل العاب نينتندو 64 على الايفون
Hi-tech dreamcatcher defeats sleep amnesia
"rain dancers" is brilliant, I've seen a few of these over the years.
One of my friend was in your shoes. After he got fired from the startup where he did lots of hard work without payoff. He just lost his faith in the system and sold off everything, moved to China.

Now he gives talks in local Chinese and Indian conferences shillings consultancy for companies.

He meets a lot of Chinese and Indians and now he has saved a lot of money to retire even by American standards.

One thing we don't recognize is that we might be more valualed in a country where we weren't born.

You are failing in America doesn't mean you'll fail in Thailand, India, China where my friends just because they are white get paid thousands of dollars for smiling for photops

There are many businesses in East who don't know anything about the US but still have software products which can potentially undercut western products on prices, if you show them the way to enter western market - you too can charge a premium for this.
Just like what Ralph Waldo Emerson said: "I cannot remember the books I've read any more than the meals I have eaten; even so, they have made me."
So, Quassel and Quasseldroid? (e.g. the new beta of https://quasseldroid.info/, requires the new beta of Quassel, both are expected to be released in the next week, only minor bugfixes pending)?

Or Weechat + Weechat Android?

Or IRCCloud?

Mobile IRC can be an amazing experience, if done right. Now we need to make sure it becomes more accessible.

Disclaimer: Quasseldroid author
I dispute your notion that anything has fundamentally changed about the nature of central planning vs market economies, or the scale of firms.

Firstly, your examples are self-contradictory. WalMart doesn't compete on price? Really? Amazon doesn't compete on price? Come on now.

GM (~225,000 employees) had to split itself up to be manageable, but you claim just decades later the much smaller Google (~88,000 employees), Amazon etc have "conquered scale".

Yet Google has been forced to split itself up: what do you think Alphabet is, if not Larry and Sergey accepting/admitting that Google had become a place where innovation could no longer happen due to its size and low energy levels? Most of Google's most interesting projects now hang under Alphabet as separate companies e.g. Waymo, or in semi-autonomous subsidiaries like DeepMind. Google proper is still able to do a few interesting things with AI research but when was the last time they launched a truly interesting or new product that became essential in our lives? The Google of 2006 was in many ways far more effective and innovative than the Google of 2018, despite/because of its much smaller size.

Facebook has a similar problem. Facebook's growth has been coming from acquisitions like Instagram and WhatsApp that continue to operate rather autonomously. The core company has grown hugely but what do they do all day?

Apple hasn't actually changed in size much over time when you eliminate their retail employees (i.e. focus on the parts where risks are taken and new things are made). That's why they can pack most of the company into a giant doughnut in a single city.

All of these companies seem to be poster-children for the problems that come with size and success. Googlers seem to spend most of their energy fighting social justice wars or rewriting things from one language to another. Facebook has to buy up successful companies to stay ahead of the curve. Microsoft stagnated for years under Ballmer and only now is it being turned (slowly) around - largely by letting go of the tight central control and adherence to a unified product strategy that previously typified the company (e.g. everything must integrated with Windows).

The basic underlying insights about human nature that separate right wing capitalist thought from left wing socialist thought aren't so trivial that they fundamentally change when you make communication faster. Knowledge is still scattered, power still corrupts, reality is still too large for any one person or group to comprehend, the way forward is often unclear and "picking winners" is therefore a strategy doomed to fail.
Rebble emerges after Pebble ceases operations
Nice read, but it could have done without the patronizing 'what you should learn from my story'.
To me, the criticism of the Science review that this book offers no alternative paths forward is very strong. This is because when blundering around in the darkness to find truth, there are no good algorithms.
If you could tell a high energy theorist a better algorithm to find good problems to work on, they would listen. But if all you can do is point out that their algorithm is suboptimal: well, sure. Of course it's suboptimal: we know, we just have no better search algorithms in physics-theory-space.

Woit and company seem really invested in smearing high energy theory in front of popular audiences. A book-long `look at the fact that this algorithm is really slow!!!' is a sigh-worthy addition.

It's well acknowledged in the field that SUSY, string theory, etc. are very incomplete ideas. No one is saying they have the full story, and I don't think anyone expects to have the full story anytime soon.

So what have people been doing?

1) People have been expositing our `best guess' theory, which /is/ string theory. We have really good tests of quantum field theory, and really good reasons to think that `the most natural' generalisation is string theory. We're not cocky enough to claim that string theory /is/ the generalisation, just that it's a really good candidate and isn't it worth spending a vanishing fraction of GDP to explore it and see how good of a candidate it really is?
Like, an incredibly larger amount of money is spent on innovating ways to get people to look at advertisements. It doesn't seem like there is a high bar to pass to justify the existence of studying this stuff.

Of course, a lot of effort goes into finding better guesses. Supersymmetry has been under the gun since the LHC turned on, and tons of effort has been and is spent thinking about the alternatives.
Supersymmetry just remains a strong enough idea in comparison to the alternatives people have proposed that people think it's the best idea to explore. And as time goes on and supersymmetry looks weaker and weaker, more people do spend time looking for good alternatives.

2) People have been using tools from string theory to tell us about ordinary quantum field theories. Dualities like ADS/CFT are huge right now.
Lots of really good ideas have come from high energy theory in recent years. ADS/CFT is a string-theoretic duality which teaches us a lot about statistical mechanical systems, things that definitely are testable. So string theory has been testably productive, as applied to the study of quantum field theories and statistical mechanics.

3) Also, the idea of topological quantum field theory is a recent innovation of high energy theory, hardly fully explored, and has been hugely important for modern mathematics.

I think these activities are pretty reasonable.
Kudos to Microsoft for using Rust. It's a shame Google is attempting to write a new operating system (Fuchsia) almost from scratch right now, but is completely missing the opportunity to use Rust so it doesn't have to deal with decades of memory corruption bugs and other security-related bugs in the future.