skysight-inc/HackerNews huggingface dataset:
one such example would be https://en.m.wikipedia.org/wiki/Primecoin

The big issue with making a POW is not making something hard to calculate, but making something hard to calculate and easy to verify. As far as I can tell, useful tasks that satisfy those conditions are very hard to find.
No, GCs collect reference cycles. Whereas a (strong) reference cycle in ARC in an operation repeated many times in a long-running server or something adds up.

Worse, sometimes, you don't even know if you're creating a leak. For example, I recently had to call, given two gesture recognisers a and b:

a.requireToFail(b)

A is a long-lived object. B goes away when the current view controller is popped. But not if A keeps a strong reference to it. Does it? Probably no one without access to the source code of UIGestureRecognizer knows!
Toybox is a 3D printer for kids
I'm trying VSCode now, but I still switch back to Sublime for SublimeGit. It's such an integral part of my workflow, and VSCode's built-in git is no substitute.
I don't think this is a mistake, I think they needed a "visual," Googled LIDAR and thought Sombre Scanner was the coolest looking image... I wonder if Introversion knows about this usage? I guess for an indie game any kind of exposure is good even if its completely misappropriated...

It's also sloppy on Techcrunch's part because it's not even a real LIDAR capture, it's a video game emulating LIDAR.
You bring up stuff like this and the left is going to call for the institution to be renamed in favor of their feelings.
I have similar concerns. I'm all for using my machine to its fullest, but in large, applications like web browsing should be an additional thing I am doing on my computer, not something that thinks it can take the full computer.

Though, I have to admit I am also a little torn on this. Yes, browsing is typically done "during compile" or some other task. However, I have also begun doing most of that work remotely so that I can save battery on my laptop. To that end, it is now less of a concern on preserving cores for my tasks that actually need it.
While Sublime Text is a very good editor I do think $70 is a lot when you look at the free competition. VSCode and Atom did not exist when ST2 was released and ST2 offered the best out-of-box experience back then, now I am not so sure.
Professor Unbanned by Google, No Insight Provided
You may want to be careful with that approach.

Not all GPUs have the Z-Buffer fillrate to make that approach viable(esp on mobile). I've seen more than a few cases where it was actually faster to turn off Z-Buffering and do the overdraw. More than a few architectures share Z-Buffer bandwidth with other pipelines.

On tiled architectures it'll also increase your tile count which can impact your per-drawcall overhead.

For low-tri things like UI you're better off doing the rect-culling yourself in software(ideally on another thread) and only falling back to the Z-Buffer if you have actual 3D transforms that need per-pixel culling.
The Soul of a New Machine gives a very good depiction of the moral ambiguities of that crusading spirit in the context of (most) computer-industry work.
I'm 40 and I've found out the hard way that 90% people under 35 adopt absolute statements for everything, as if they think they already know how the life, the world and the universe work. Good luck.
Ask HN: How can someone be 26% of a nationality on Ancestry.com?
How can one have a fraction of a nationality where the denominator is not a power of 2? e.g. 1/2, 1/4, 1/8, 1/16
Absolutely correct, except for this part of the article:

"Luzar said the officials were interested in lowering the temperature of taxiways so that aircraft would be less easily seen by spy satellites using infrared cameras, which form images using thermal energy."
I wasn't defending Gawker, I was criticizing the legal system's inability to mete out justice against everyone who does this.
Yes, and thus a perfect example premature optimization; semantics should define default usage, not some possible micro optimization. This is exactly the kind of case Knuth is talking about, going around doing ++x because you think it's faster when the standard idiom is x++ is premature optimization.
I'm not sure I understand the complaints. What will a "stable" tag offer that isn't available already via dev builds? Are there things that are limiting your productivity or effectiveness? How will formally calling it "stable" change your life as a developer?
WOW, you have made my day. Thank you!!!!
Petri-Nets as Mental Model for Domain Driven Design
> I hope the vast majority of people would stump up that kind of cash in the absence of any other taxation.

This is, in my view, a pretty naive (maybe to be polite I should say highly optimistic) view of human nature. Even if a majority of people planned to pay it I suspect many would end up not paying it most months as other priorities intervened.

Even if, say, 60% of people did end up paying the voluntary "taxation", a large number would pay nothing. The total sum required would be the same and those willing to pay would have to pay significantly more or there would be a huge shortfall. This would be extremely unfair; freeloaders would get a huge effective pay rise and consequently more influence in society.

In practical terms it would be very difficult to pay for services if if it was not possible to predict how much tax was to be gathered from month to month. Government income would fluctuate wildly. Employment in the public sector would be very risky. The economy would be extremely volatile to say the least. Planning for the future would be next to impossible.

There are many more ethical and practical problems with this idea. I could go on.
> If you do an "Inherit Backup State" you will not re-upload everything

I tried this, and it failed. I went back and forth with support for some time, and at the end they effectively shrugged. I may have encountered some weird bug, I dunno, but it was definitely uploading everything again, and support acknowledged as much.
You could switch to Backblaze, but you have to give them your encryption key when you restore.

Use B2 with a decent client instead, you don't get an all-in-one plan for your family, but at least you keep control over your data.
That does not make sense to me. Common Lisp provided lots of improvements over Zetalisp.
I suppose you want some incorruptible and relatively unbiased jury to manage it as well?
I recently sat through one of those company/product mission presentations at work. It was one of those "am I the only sane person working here?" moments. I like our product, I want to see it succeed, but I really can't stand the religious fervor marketing departments and managers give off. And the amazing part is that my co-workers seem to completely buy into it. Everyone talks like what we're doing is going to change the world and yadda yadda yadda, like there's some kind of prophesy about our social media app.

How about lets make the thing and see if it's successful before we start singing its praises, okay?
Obviously you went beyond facts into making an unsupported claim about motive.
...and then there's Julian Day (JD).

https://en.wikipedia.org/wiki/Julian_day
>I will switch to the small business (love the private key[...]

Are you talking about this?:

https://support.code42.com/CrashPlan/4/Configuring/Archive_e...

"Archive encryption key security options
Your encryption key is secured in one of three ways, which is based on your security settings:

-Standard: Secured with a salted and hashed version of your account password

-Archive key password: Secured with a salted and hashed version of your archive key password

-Custom key: Encryption key is replaced by a custom key that is never escrowed on a authority server"
And don't even think about a bluetooth keyboard!
Hm, you may be lost if you don't have Rust IDE handy to jump around. Web cross reference for Rust code navigation is in development, but until that is ready, the next step is https://github.com/servo/servo/blob/master/components/layout...

parallel and sequential traverse_dom is generic traversal code which calls DomTraversal::process_preorder etc to do actual work. Here is lightly edited code:

impl<'a, E> DomTraversal<E> for RecalcStyleAndConstructFlows<'a>
where E: TElement,
E::ConcreteNode: LayoutNode,
E::FontMetricsProvider: Send,
{
fn process_preorder<F>(&self, traversal_data: &PerLevelTraversalData,
context: &mut StyleContext<E>, node: E::ConcreteNode,
note_child: F)
where F: FnMut(E::ConcreteNode)
{
if !node.is_text_node() {
let el = node.as_element().unwrap();
let mut data = el.mutate_data().unwrap();
recalc_style_at(self, traversal_data, context, el, &mut data, note_child);
}
}
}
Most familiar with Python currently. Done some Ruby and Java and C and Pascal earlier. Some D and a bit of C++ and a bit of Go. I do understand that structs and tuples are examples of product types (because the range of the values for a struct or tuple is the Cartesian product of all the possible values for each field). My question was mainly about sum types as described by rbehrends, was trying to relate them in my mind (somewhat, if it makes sense) to traditional inheritance as in Python, Java or C++.
> Not only is it hard for outsiders to know what's premature and what isn't,

My rule of thumb is if you haven't profiled it, it's premature to try and optimize it.

> but sometimes it's nice to make a habit of doing things the faster way when you have two choices that are otherwise indistinguishable.

Now this is a good habit to be in.
I said without knowing the seed, so f(1) is not public, only f(n) formula is.
> Agreed. Given the list of problems was removed from the GH issue, I have no idea what this is about, and no way of forming an opinion on any of it. I at least will flag it.

There is plenty of information in the comments to this post to get an idea of what it is about. I respectfully suggest that you get some insight before suppressing the post through flagging.
That's a good thing. I means that lawyers have a great incentive to keep an eye out for illegal behavior from massive corporations.
You might need a p2p backup solution where your computer is part of the network, but I want a me2idontcare solution, where I give up dollars, and gain gigabytes offsite.

I want a boring solution, written by a boring company, that very boringly stores my files.
Per some of the comments, why not just add white pigment or more concrete based streets.
Some questions that add complications, particularly when finances merge:

What are the individual budgets by activity for each person and how is the budget reflecting reality?

What about any shared bank accounts?

Do you separate investments by person? How do you handle diversification?

Those questions are not all current problems or by any means all possible problems, but hopefully you can see how a spreadsheet could grow too big for its bridges there. If Honeydue were able to provide an easy method that addresses many of those questions, it would be impressive. TBD of course, and color me a bit doubtful. I've thought of making a personalized app for myself given the level of detail I'd probably require for me to use it.
Some suggestions:

1. mosh instead of ssh
2. run editor locally and edit files remotely (either using the editors built-in support for that or something like sshfs)
> the team and organization gets funded, the buyers are liquid, nobody makes ridiculous decisions counter to their dreams hoping for "an exit", because everyone already has one.

Can you expand on this? What do you mean by "everyone already has one" in this scenario?
Same. Using 'with the same material' would have made that way more clear IMO.
All of this sanguine Gawker romanticism is asinine. The site's writers mostly consisted of cut-rate fresh grads without the common sense to not violently shoot their livelihoods in the head with a figurative 12 gauge shotgun. It would help if the people calling the shots weren't this same kind of stupid.

Gawker was glad to play in the Big Boy Leagues until the Big Boys got involved, after which they screamed about "suppressing independent media" and acting like they never did any wrong. The constant attempts to blame Thiel/Hulk Hogan border on comedy. They don't seem to want to accept that their flagrant violation of somebody's privacy is what led to their fairly messy death, and not somebody else being the lesser person in an argument.

I don't understand how anybody could think Gawker's swill would be at all helpful in arguing against Donald Trump's presidency. It's the exact same reporting that turned a lot of people on to him in the first place.
I have to google what the "checked" actually means. But in Java you can throw parent classes, in Python you don't need to declare them at all. And honestly having a bad implementation is still better than no implementation. The main point here is to get correct, helpful error reporting so people understand what's going on. If I spend another 4 hours debugging an error message that was actually just a warning and not a biggy at all I'm going to throw up.
What am I aiming for on this read? I'm assuming the hard parts are swallowed elsewhere, which is good. I'm a little surprised there are two methods for the traversal, depending on the parallel versus sequential. (I'd expect that could have been switched based on the "pool" parameter passed to a single method. No, I don't actually care.)
define poorly maintained - do you mean "not pushing half finished code often"?
Invisible ink is very useful. I've used it to text people minor pieces of privileged information at work when I don't know who can see their phones. After all, most people just leave their phones on table tops with notifications on. It's also great for texting with my wife when she is with her parents or traveling with co-workers.
I wish Sublime has Goto Definition. But other then that, it's my favorite text editor.
Thanks! Can this also be added to already compiled tools somehow? E.g. kubernetes uses a lot of go components, but of course I only receive them in compiled form.
what does VSCode do that sublime3 doesn't? I ask as a sublime user who took vscode for a brief spin and then put it down when I wasn't quickly wowed.
Agree! It now even has a nice GUI https://github.com/Tarsnap/tarsnap-gui
Looks good. I was expecting for an automated detection for the golden ratio on the uploaded image.
Both feed back into one another if used well. Rich can buy power to stay rich and keep their progeny rich until some major levelling drift catches them. (Say a catastrophe of dumb successor or major misfortune.)
It doesn't matter what you drive.

I cannot tell you where I know this from, but the newest top secret satellites launched recently from Florida will cover the whole US terrain with infrared scanners. Now, given every person has a different size of veins running under their skin in slightly different ways, there are no two people with the same configuration of blood circulation system. So unless you are wearing metal armor 24/7, you are being tracked and cataloged of when and how long you been.

So please - update your tires to let your car know and to notify you when your pressure is low. It might safe your life!
Some get recursive :)

Ctzen for primary care

Ctzen: 311 for the developing world.
> You can model sums with inheritance along with an exclusivity constraint, but it's a weird model and subtyping is more general.

You don't need an exclusivity constraint. Exclusivity is purely a modularity concern; you will still have a finite number of variants in any given software system; traditional ADTs and exclusivity just limit the declaration of variants to a single module. See also "open sum types" vs. "closed sum types", because it can be beneficial to have extensible sum types [1]. Not all sum types are closed; see polymorphic variants and extensible variants in OCaml.

Also, do not confuse the language mechanism used to specify a type with the type itself.

I do agree that inheritance is a generalization of algebraic data types.

> Further, the idea of each variant being its own type is inherently a subtyping sort of idea. Sums don't give names to their conponents, only distinctions.

Try polymorphic variants in OCaml (mentioned above); or GADTs:

# type _ t = Int: int -> int t | String: string -> string t;;
type _ t = Int : int -> int t | String : string -> string t
# Int 0;;
- : int t = Int 0
# String "";;
- : string t = String ""

There's nothing inherent about summands not having a distinct declared type in ML and Haskell, only convention. Obviously, they do have distinct actual types.

Edit: A practical use case is the representation of nodes for an abstract syntax tree. An `Ast` type can benefit from having abstract `Expr`, `Statement`, `Declaration`, `Type`, etc. subtypes that group the respective variants together in order to get proper exhaustiveness checks, for example.

[1] See the question of how to type exceptions in Standard ML; in OCaml, this led to the generalization of exception types to extensible variants.
The IT dept at the lobbying firm I was at set it up for me. Legislative writing requires certain formatting, and referencing to the US Code. I could hot key things and it made the formatting very easy. When writing amendments, it made it easier to do strike throughs and new language additions by color coding them, and inserting hyperlinks to reference bills and laws. I really wish I still had access to it because it was incredibly useful.
Google is trying to push Chromebooks into big businesses, the core market for MS
Just FYI,

#2 was addressed in the latest update, and works well in my experience (open a 130M text file and jump to end in <5s).

#1 is available in the current preview build.
I've worked a few APIs that are "liberal in what they emit, and conservative in what they accept", which gets you the worst of both worlds.
One of the goals of Common Lisp was backwarts compatibility. The stuff from McCarthy's Lisp is mostly present in Maclisp, Zetalisp and Common Lisp. That's why they are Lisp languages. Every language existing for a longer period of time accumulates different design approaches. A language purist may complain, but a programmer will get his stuff ported and will get work done.
What are the outcomes for consumers, relative to the outcomes in the U.S.?
Agreed. Bad click-baity title.

Before I clicked on the article I was trying to figure out how coating a city's streets would somehow prevent spy planes from being seen. I didn't even want to try and crack why this might be necessary.
If that’s what you want to do, the you should ‘nice’ your web browser (or use whatever priority mechanism your environment had available). Artificially limiting performance is absolutely the wrong approach!
I think because software engineering is not very mature yet, everybody knows how low is the rate of projects that ends on time successfully. So, the process of construction software is always changing, and to deal with this problem, companies sometimes tends to look for generalist than specialists.

Technology also evolves too fast, and a company formed just by specialists will face problems with technology and software engineering processes changes. Having just specialists on a such ever change area is not a good deal. The best is to have a mixed team, formed by specialists and generalists, and in a perfect world, a good organization should be made of men, women, young and old people, natives, foreigns, etc. It's like a sailing crew, everyone is (or should be) really good doing something.

In this ever change world of software building, when hiring a specialist you always think: "If tomorrow this job doesn't need to be done more, what this specialist will do to stay with us?"

All of this is just my opinion, my personal theory. I made it up working 10 years with software engineering and development, and recently bootstrapped 3 companies, and the last years I'm studying administration.
An idea that if an organization has a CoC all the members should be unquestioning fanatical supporters of it and can never even consider discussing the costs vs benefits of it or reevaluating the premises sounds weird and rather harmful for a healthy atmosphere. Since when the doubt is a thoughtcrime in tech community, that must result in immediate expulsion? Since when have we become so stuffy and drunk on "authority" that the mere thought of dissent is intolerable?

> 4 felt strongly enough about this that they have resigned.

Those people felt so strongly about somebody mulling the downsides of CoCs that they preferred to leave the project they worked on than to try and cooperate with the person that may have slightly different opinion. Unless CoC is pretty much the only thing in the universe that can never have downsides or unintended consequences, this is pretty depressing.
>final case object Red extends Color

On a side note, that syntax seems a little counter-intuitive - the extends word seems to indicate that Red is a subclass of Color, but from what you said seems more like Red and Green are values for Color. So it seems like an enum would be more appropriate here (for this use of Red, Green and Color)?
The usual way of thinking about this (if you think about it at all) is to think on the margin: was the marginal hour worth the marginal purchase? That is, if you cut the hours you'd most like to cut, and cut purchases until the budget balances again, is that better?

If you compare all of the work to all of the stuff, then there's no way to notice (within that framework) if the best answer was to work part-time, or slightly less overtime, or slightly more overtime.
Stylo isn’t available on Firefox for Android yet but you can track this bug; they’d like to enable it “sooner rather than later” https://bugzilla.mozilla.org/show_bug.cgi?id=1366049
The alternative is regulatory agencies with teeth, as you see in the EU. 'Doing nothing' is a false dichotomy unless you subscribe to libertarian/corporatist philosophy. (Which would, if it could, abolish the position of the attorney general.)
> Consumers are doing fine.

By what measure?
GDPR was approved on 25th of may 2016 with the IP address defined as the poster above you specified is my understanding
Your comment made me think of a book that I read recently, Developer Hegemony[1]. It explores how the modern corporate forces us into three roles: pragmatists who opt out of the game and find their identity elsewhere ("I'd rather be fishing"), idealist middle management who sacrifice perspective and work twice as long for 10% more plus the illusion that one day they'll be recognised for their hard work (they won't), and opportunists who realise that the game is about perception management and are willing to sacrifice ethics for their place in the upper echelons.

I found myself pretty depressed after the first few chapters. The author even takes shots at the software development as a craft narrative, which is fascinating because my bubble is filled with people who devote their lives to this idea. Ultimately he outlines a vision where software people take advantage of the huge gains that a business can make through automation to carve out a comfortable niche outside of the corporate rat race. But it requires understanding business and marketing and not "being paid to practice your hobby" (which he reckons is the reality of most software jobs).

[1] https://www.amazon.com/Developer-Hegemony-Erik-Dietrich/dp/0...
I doubt very few of them depend on it, but that was just a way to get a higher profit margin. It's the reverse when developers try to negotiate higher salaries for themselves. Some portion of the population is not going to be good at negotiating and so will be underpaid.