skysight-inc/HackerNews huggingface dataset:
Worked on StyleURL over the past couple of weeks with my friends Jarred (most of the code) and Lucy Guo (design). The goal is to make it super simple for designers & front-end devs to make changes to CSS on websites and export those changes into a gist[0].

We made an open file format called “Stylefile”[1] that the extension parses to apply shared changes to sites. Eventually, we want to support stylefiles on other platforms than just GitHub.

It was definitely inspired by something that we wanted for ourselves, as well as a reaction to the scummy behavior of Stylish....

It was really fun building this, especially writing the stylesheet diffing module, which diffs two stylesheets and prints the difference as valid CSS. It's open source[1], as well as the rest of the extension[2].

We're not really sure what to build next, or if this is even useful. Please share any feedback, especially what you might use it for.

[0]: https://gist.github.com/Jarred-Sumner/4197f93e0fc62d7cf235d4...

[1]: https://github.com/Jarred-Sumner/styleurl-extension#stylefil...

[2]: https://github.com/lukemiles/stylesheet-differ

[3]: https://github.com/Jarred-Sumner/styleurl-extension
Yeah it's strange how nobody talks about the fact that google search is getting less and less relevant and more and more filled with garbage every year. It's downright terrible, I have to go to social media or search with lots of domain operators (if I can remember them) to actually find what I'm looking for.

I'm sure google's "analytics" say they are doing great and results are more relevant and engaging for them and their corporate partners than ever, but I am often walking away from a search not finding what I know still exists on the web. They are just a massive media conglomerate trying to promote other massive media orgs and their content, content that doesn't live in that bubble is increasingly out of bounds.
Git cheatsheet, VS Code tips, building side projects and more
I have three computers and all have IBM Model M keyboards. I have tried newer mechanical keyboards, but I've always returned to my Model M. I'm sure they will outlive me and become part of my estate.
Why not extend that out further. Explicitly charge their delivery costs, their production costs, their management costs, their payroll costs, etc, etc?

Eventually we'll just clamor for merchants to just put a single price tag on everything and not worry us about how much of each item is going to all of their various costs.
Matt Mullenweg mentions in a recent interview with Kara Swisher that Facebook run most of their non-facebook.com sites on WordPress nowadays.
Just having the biomass is nice, but the crucial step is turning it into charcoal. Roofs also don't produce a lot of biomass per area.
I do not think Lucky is Ruby on Rails for Crystal. There are new patterns for just about everything. Routing is different, querying is different, views are very different.

It is Rails-like in the sense that it is aimed at productivity and developer happiness and that it aims to have most of what you need in one package.

Of course Ruby has a better ecosystem, this is mentioned in the article. Lucky (and Crystal) have a long way to go, but things are progressing rather quickly
Blocking traffic from select countries will not solve anything. They can trivially pivot off compromised U.S machines.
Ouch. I read this and I am completely confused about what to do with the rest of the time I have left. Should I even bother with my current career in tech, or would it be better to quit it and do something that could have even a slight impact now?

These articles are great, but preaching to the choir. What should any of us do? I'm seriously and sincerely asking. Are there any suggestions, from a personal stand point i.e. excluding a completely new economic model and government structure? Is it to drive less and cut out meat? (done) Buy less stuff? Support the right organizations and political candidates?

What if one is doing all of those things already, now what? Just sit here and watch our homes go up in flames as the entire place becomes a desert? Some actionable things would be great to have.
Overview of Machine Learning in Finance
> Hate speech is bad only if we let it affect us.

I think this is an overly simple response to a deep problem. We are all affected by what we take in, some more than others (and certainly when we are attacked). Getting people to be unaffected (or less affected) is likely to prove untenable or impossible.

Putting the onus on the recipient also leaves us blaming the bullied. "Maybe if they'd had tougher skin they wouldn't have committed suicide."
So, since lots of people here have experience with VPN, I'd like to ask theoretical project question:

I have distant family memebers, and it'd be nice to have a simple way to get devices on the same network easily.

My initial thought would be to setup a VPN server somewhere central and fast, and then distribute wireless routers with custom firmware that they could plugin to their network. Then anything they connect to that router would be connected to the VPN (because the router is pre-setup to connect to the VPN).

Is that doable? Is it a good idea? I know just enough about networking to be dangerous...
1) it's part of the social contract. freedom of speech is relatively new phenomena, and the history of the US has shown both the upsides and downsides of that right. standing in a town square and criticizing the king/emperor/lord would have gotten you imprisoned or killed for most of human history, from the times of the Roman emperors to the monarchies of more recent times. modern chinese trade certain rights that many in the West would consider "unalienable" for the efficiency of a tightly ruled authoritarian government that has been seen as instrumental in bringing two decades of unprecedented growth / lifting 500M people out of poverty.

2) the very fact that china has 1.4B makes the existence of an authoritarian government much more easier to understand. without defending the actions of the PRC, from a purely utilitarian standpoint censorship and state control of the media allows for greater social cohesion and the avoidance of ideas and movements that can spread and cause mass hysteria. china is very aware of its own history of such movements and the havoc they've created (the Taiping Rebellion for a great example).
Then it shouldn't "sound really weird", since you know the regulation is fairly recent, that cashback cards existed in the UK, and that America doesn't necessarily have the same regulation.
You might assume that fairly, but depending on parameters involved that might not be true.
any idea why?
China certainly has a very strong view on the make-up of the region, much is historical, some of it fair. However, we don't see them going around converting everyone to communism. In fact, even all the investment they are doing in Africa right now, very little of the social aspects of china are being exported. Xi Jinping has always maintained: china is not for export.
> started insulting people based on the colour of their skin

That's not only what social media companies censor, and not what anyone in this thread is advocating for, and you know it. You're spouting insults, trying to claim free speech advocates are racists, as a way to avoid actual discussion. My morals are indeed very different from yours.

> But I expect you to support my right to throw them out of my place too...

Sure, but stop advertising your house as a discussion platform when clearly you don't want that.

That said: please don't contact me again. I'm not interested in your reply, I don't think anyone else on HN would be, and I think you've indicated which direction you want to take this dicussion.
How does it compare to taskwarrior?
He’s clearly taking about economic value.
It may be true that the USA has achieved the largest reduction in CO2 emissions in absolute terms. But they’re coming off a very large base.

In percentage terms, there are several countries that have done significantly better, including the UK who’s CO2 emissions are now 38% below 1990 levels (and 25% below 2012 levels!) despite significant population growth.

While US emissions have, by some measurements, dropped in the past decade, they are still well above 1990 levels.
I assume this is what you want?
https://wiki.archlinux.org/index.php/WireGuard#Setup_a_VPN_s...
> Yes, static analysis is very useful for understanding what the source code will do for inputs you didn't test. Testing is rarely exhaustive. However, testing will find performance issues where static analysis won't.

Static analysis is a funny word to use about what Agda does.. Remember, Agda has dependent types, so what you're calling "static anaysis" involves evaluating/executing functions. In fact it needs to be able to evaluate/execute any functions beyond value-level in any imported modules just to be able to parse a sourcefile, due to the presence of mixfix-notation[0] and how it affects typechecking.

> Testing is rarely exhaustive. However, testing will find performance issues where static analysis won't.

How do you test a function that takes a natural number? Not an unsigned integer, but an actual countably infinite natual number? For every natural number n you test your function with, you can construct a new natural number n+1 which your function is untested for, (literally) ad infinitum.

The answer, of course, is mathematical induction[1] and in the case of more general data structures we have the more general structural Induction[2]. But at this point you don't call it testing, you call it proving, and it's this that Agda is aspiring to.

> To quibble with "none of these are acceptable in Agda": it seems unlikely that Agda or anything like it would detect hangs or timeouts due to code not meeting its deadline.

Yes, your right that actually detecting hangs or timeouts would be difficult or impossible. But that's not what Agda does. Agda only allows functions that the compiler can figure out are total, which can never be all total functions (otherwise we would have a solution to the halting problem I think.)

Basically, functions are either (provably total by the compiler) and hence acceptable. In the case of long/diverging computations Agda just has a timeout threshold, where it rejects a function if it takes too long to evaluate it during typechecking. I'm pretty sure that's what would happen if you tried "a ↑↑↑ b".

> Of course, as a another commenter pointed out, this sort of practical bug-finding is not actually what the termination guarantee is for.

Correct, it's not for bug-finding at all, but rather to keep the type theory/logic sound when using Agda as a proof assistant.

Just to be clear: your criticism makes a lot of sense from a software engineering perspective, but considering the general performance characteristics of Agda, and the almost noneexisiting tooling around it, I think we're a couple of years away from "deployment specific assumtions" being something Agda needs to be too concerned about :)

[0] You can define a function "if_then_else_" where the underscores represent arguments, so you would use it like this: "if TRUTH_VALUE then TRUE_CONSEQUENCE else FALSE_CONSEQENCE"

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

[2] https://en.wikipedia.org/wiki/Structural_induction
Same thing from Australia (+61), even after multiple attempts.
Unknowable?

Visa: https://www.visa.ca/en_CAsupport/small-business/interchange....

Mastercard: https://www.mastercard.ca/content/dam/mccom/en-ca/Documents/... (PDF)

AMEX is a bit harder to find, reseller is https://www.helcim.com/ca/american-express/
Stop hiding the error and start fixing the problem
Well Planned IoT Adoption Can Make Your Business Flourish
User-interface is still very laggy compared to Emacs but it opened large files much better than I expected, though it disabled syntax coloring for larger files and scrolling is really slow. I wonder how this compares to VS Code and Oni which are also built in Electron..
> Everyone uses the European debit cards with chip/pin

Actually, everyone uses Dutch debit cards with Chip+PIN. Colleagues and I had trouble using debit cards from other EU countries on our last visit.
Show HN: Thyme. Time logging in your browser (using localstorage)
Concentrated ownership is power. Power tends to corrupt.
Yes, these goals are fundamentally at odds, and any close-to-current-optimum balance is a dynamic one.

(Life is full of this; see more at "First noble truth". Alas.)
There is a push to go cashless in a lot of urban areas.

https://www.dmagazine.com/business-economy/2018/07/why-some-...
How do you _automatically_ maintain a shadow-library? I always argued against the parallel-collection-approach as you'll likely run into inconsistencies while trying to maintain it manually.

I'm glad iTunes offers to transcode my lossless collection to lossy AAC on the fly before syncing to the iPhone (yes, some people still do that).

Of course my concern is storage in mobile devices. Yours seems to be flac support? However is that really an issue these days? I use ALAC (due to using iOS devices), but even then I never run into compatibility issues. Any worthwhile software/hardware supports either format - with Apple being the big outlier requiring ALAC.
> Additionally there are GUIs around with the ability to search in the GUI itself. Usually it's limited to Option-Dialogs to find the specific setting, or menus to find the specific entry you wanna call.

JetBrains tools, Netbeans (ctrl- i) and VS Code (ctrl - shift - p) all has this in the main interface I think.
Same in Greece.
.NET is fine. Visual Studio is the de-facto IDE.

Microsoft's problem has always been Windows. Software made for "A PC on every desk" doesn't fit so well into a wall of servers running the internet. They should have gave away Windows Server for free. Heck they should do it now. It should be as free as .net core.
> Some economists say the construction industry could attract more workers if builders raised wages further to better compete with other industries.

Seems obvious. Young Americans will happily work in craft industries like home building if there is a future in it. That means higher wages, but also good benefits and job training.
The 2018 Fields Medals Go to Birkar, Figalli, Scholze and Venkatesh
I tend to get bored when I'm not learning anything new, so I have this issue too to some extent.

Some options:

1. Figure out how to automate yourself out of a job, which can be a new challenge.

2. Rewrite a legacy system to not be terrible, so you're doing root cause fix instead of bandaids.

(Talk about those in more detail here: https://codewithoutrules.com/2016/03/15/stagnating-job/)

3. Find an organization with many kinds of projects and move teams when you get bored. Much less work than finding a completely new job.
I think all coffee grounds make decent fertiliser too, as well as decent compost, even without mushroom.
You're also welcome to leave the site and not return. You're not entitled to their content on whatever terms you decide are fair or not.
The best tool for the job depends on which other tools you are using, synergistically.
This is my main hobby outside my software gig. You're extremely unlikely to grow poisonous mushrooms, the main problem you have is with unwanted moulds or bacteria. As kartoffelmos says below, you need to sterilise the coffee (creates a blank slate) or pasteurise it (keeps beneficial bacteria in the coffee). A lot of the time, if you get super fresh coffee, it's effectively already been pasteurised and you just need to introduce mushroom spawn to it.

If you like experimenting and growing your own food, it can be a really interesting hobby
> to read just one article from the New York Times, I had to download the equivalent of ten copies of Moby Dick.

But how many Mona Lisas are this?
In my 40s, I just started working my first real job as a data scientist. I'm a polymath but I've lived most of my life as an entrepreneur and party boy. I've helped out at other people's startups before but usually got bored fast and quit. This time feels like it's going to be different. The work is interesting and I feel a genuine sense of purpose. I guess it was finally time to grow up.
Search terms about human rights, democracy, religion and peaceful protests will be among the words blacklisted in the search engine app

This is disgusting! I am not using Google Search anymore because of Firefox+DDG, but where are alternatives to YouTube, Gmail, Gmaps?
Either way, it's off-topic meta noise. Nobody is going to change their voting behavior based on an admonishment, especially when the owner of the site has acknowledged that votes here are used as like/dislike.
The global CO2 production dwarfs what you could do with trees, I'm fairly certain even if we planted a tree on every square centimeter available, it would not be sufficient to counter our production sufficiently.

What we need is to invest in technology to reduce CO2. Nuclear fusion/fission, solar, wind, electric or alternative fuel cars, redesign CO2 industry processes, etc.

The petrol and coal industry would have to go entirely bankrupt. No exceptions.
It didn’t, it’s the backbone of a lot of enterprise companies and organizations that aren’t primarily focused on tech. Like most of the European public sector.

Coincidentally, companies that aren’t tech companies rarely share their tech stacks, because why would they? Technology isn’t what they are selling and IT people are the guys who tell you to reboot every time you call them, even if that’s not really true.

Take the municipality where I work as an example. I manage several software developers, and we’ve build around 400 minor systems and services over the past decade. Last year when I was working on my masters in public administration I discussed our in-house development with one our eight CEOs. This is the guy in charge of efficiency, which is where my digitization department resides, and while he knows me and what my department does in general terms, he was surprised to learn that we develop software ourselves.

It’s different for Netflix and Airbnb, because they are tech companies and I’m fairly certain their CEOs know that they employ actual software developers. ;)

That’s the public sector, but look up Volkswagen, Maersk or similar and notice how they don’t have entries?
So, centralized is greener ?
For sure without the industrial revolution, synthetic fertilizers and the green revolution we could not achieve such population, but turning back is no longer an option.
$8k for books found in a dumpster? Jackpot!

The rest of the wealth can be said was rightly divided between everybody else.

https://en.wikipedia.org/wiki/The_Pearl_(novel)
Don’t give up on tech. It’s technology that offers the best hope of solving these problems.

Consider applying your skills to the renewable energy sector, companies working on transport electrification, and other “clean tech” sectors. These are exciting growth industries and you’ll be making a difference.
If you want the honest but depressing answer: it's probably too late. Don't have kids unless you want them to have a worse life than you've had.

On the plus side, the worst consequences from climate change will occur after we're dead.

Just enjoy the rest of your life and try not to think about it too much. After all, that's what everyone else has been doing.
More efficiently for what?
Don't forget the pressure on Marriott to fire an employee for clicking 'like' on a Tibet-related topic.

And for pressuring airlines not to list Taiwan on their websites for booking.
Natural Burials Are Rising – Big Funeral Fights Back
evangelize in high birthrate countries things like contraception and encourage education especially of women. The fewer people destroying virgin forests and becoming western style consumers the lesser the better for environmental health.

An earth of 7.5 billion is more sustainable than an earth of 10 billion. 7.5 will live better lives than a world of 10, given sociopolitical realities.
I don't think that this is a question with an absolute answer.

Standard UI widgets and current design conventions aren't always great or even good ways to tackle the problem in terms of productivity and efficient use. For a complex productivity application that I'll use daily for a long time, learning the basics is always a relatively small initial hurdle whether it takes an hour or a week. It's much more important that its application of standard UI widgets doesn't get in the way of productivity later on when I am at a stage of learning where I can perform the basic operations from muscle memory.

For such an application, say a music sequencer, 3D modelling software or CAD software, I'd much rather have a terse UI and a manual in a binder than standard UI widgets that are worse than specialized solutions that take into account every aspect of the problem.
I thought Google performed censorship in North America too. After Trump's election people were crying for more censorship on facebook and Google.
On a related note: I very much wish Org Mode had decent support outside Emacs.

It's great, well thought-out in many ways, and supports many types of workflows. I sorely lack a web tool for it to share with others.
> Let me tell you that abiding and legitimating freedom opressing regimes is not very american, even if it is for money.

This is really far from the truth,Israel and Saudi arabia are example how this is bullshit.
How to tell the difference between persuasion and manipulation
Blogging isn't technology? You can't start a company based on writers? Have you not been following tech very long? Blogging is way bigger than Uber and Airbnb combined.

But to actually get to the point you want to talk about, I worked at a startup in 2009 that was a microsoft shop. We committed to some version of .net/visual studio, paid for a bunch of windows server licenses, built multiple data centers, etc etc. So it did happen, at least one time.
Going "cash-less" is a growing trend in the restaurant world. I know several restaurant owners that are moving that direction for the reasons you listed. Time is one of the biggest ones, you have to have someone (normally a manager) dedicated to cash management before opening and after closing.
That's a naive and simplistic view of the world.
I grew up in the Middle East and really believed they needed some democracy.

In reality, moving to Democracy would result in more radicalization and instability and not less.

Without going into a long rant, there are toxic forces within many countries that would take their country on a profoundly bad route, by any universal standard, if Democracy were forced upon them.
This doesn't seem to be working for me. I am in the UK. I enter my number, then receive a text:

> Hi! This is txxt. Send messages to this number to see them on your page. If you didn't ask for this, ignore it!

I then reply with:

> Reply

but it doesn't show up on the webpage. If I reload the page it says:

> Looks like you were sent a welcome text but didn't finish setting up your account.
>
> Reply to the text and you'll see your message(s) show up here.
>
> Click here to be sent another text.
Nope. Try France (since the 70's), Sweden, Switzerland, the UK. Germany is pumping out way more CO2 per capita than most of its neighbors.
I've tested it myself as well. It is still as laggy as I remember, such a shame. I really want a simple graphical editor that can color the files that have been modified in Git.
Are they... making Pied Piper?!
Yep, although the outbound iptables ALLOW is missing, which won't work with default DENY. Check my config in a sibling comment for the right one.
Build your own robot with these open source rover plans from NASA JPL
Retailers.

There where agreements in place to ensure reasonable costs. This made it cheap to use. And it was so popular it surely did make a profit.

Then the big banks realized they where helping the smaller banks and even more profit could be made by themselves. Hence a lot of lobbying for a "liberal" market.

We still have the card. But slightly more expensive. Not sure for how long. I do not look forward to a future with global players setting the rules on "market" terms.