skysight-inc/HackerNews huggingface dataset:
I bet if your situation was such that your friends start killing, you would be in the same situation and start killing too. Yes we have free will, very much so. That is why we kill.
I don’t think they’re excuses. They’re explanations of how things happen. The asymmetrical relationship especially explains how professors can get away with treating students badly, but it isn’t a justification. If you read Bad blood, for instance, E Holmes and sunny treat everyone horribly, but ultimately lots of people quit because they have other options.

The pressure on the professor and the selection for obsessiveness explain motives.
A more efficient (but no histogram) way would be native redis module (rust) https://github.com/brandur/redis-cell
Yes it does and yet you are still wrong AFAIK. Citing a paper does not necessarily mean that said paper would form the theoretical basis of the citing paper.

This paper about the experiment is trivially true, there were no surprises regarding to what QM predicts.

Here is a direct quote from Scott:
>My comments about the Frauchiger-Renner paper never doubted for a second the result predicted by QM. So an “experimental demonstration” of their setup—by which one really means an experimental demonstration of Hardy’s experiment, since the Frauchiger-Renner one would require superposed conscious observers (!)—has zero effect on any of those comments.

And here is a prescient direct quote from Craig Gidney:
>I wonder how long it will be until someone 1) executes the circuit from Hardy’s paradox (which has very few qubits and very few gates, so you could run it on a NISQ machine), 2) confirms that of course the results match the predictions of quantum mechanics, 3) frames the result in terms of Frauchiger et al’s variant, and 4) journalists telephone-game it into something like “quantum researchers prove decisions aren’t real”.

Please see also the relevant discussion in comments here:
https://www.scottaaronson.com/blog/?p=4147
> Anyone with half a brain about internet infrastructure and has ever read any of the mission directives or legal authorities of NSA will realize exactly what they're doing there.

It's a good thing when long running rumors can be corroborated, so labeling this as non-info is somewhat unfair. News in Europe of cell towers listening-in on national parliaments discussion or phones being directly targeted, make scary headlines outside in Europe or anywhere outside US. This story drove home the same message to Americans: that it's not just something the NSA does overseas to "keep us save". The story also made sense since it continued the established narrative from previously published Snowden leaks in The Intercept.

> NSA is also pretty important in ensuring weapons proliferation and military equipment movements (which helps indicate possibly wars, covert actions or invasions) using measurements of various types to track nuclear, biological and other weapons

as a non US citizen, this deeply terrifies me (even without the current geo-policial climate).

edit: reduce waffle
How do you manage your ".Trash" folder? Who is in charge of deleting it's content? Do you do it periodically or based on some other event?
This doesn't work if the peripheral manufacturers are themselves big players (which they are): they can already afford fighting to secure a place in the oligarchy of big players and it's not in their interest to open up space for direct competitors. Whenever you become big enough, you start to share some substantial interest with any other big company: the one of not allowing smaller producers to step in.
Please elaborate :)
FastoRedis PRO is good idea to buy?
Hi Folks,
Did someone use FastoRedis as Redis GUI tool? What is better to use FastoRedis or FastoNoSQL? Does anybody know? I wanna buy PRO version for our company but i don't know which is better to use for Redis servers? Please somebody with Redis or NoSQL DB knowledges give me some help!!!

here are links:
https://fastoredis.com
https://fastonosql.com

Thanks
My “alternative” to rm is to use mv directly. I just mv files aside whenever I am not 100% confident they are safe/ready to delete permanently.

Personally I’m not a fan of shell environment customizations like this because they are often fragile and may vary between systems. I like to know exactly what commands I’m executing.
Maybe that will be a rallying cry during the next civil war: "We're entitled to watch snuff films on Facebook!"
That’s quite an assumption to make about intentions. Repository hosting is also a way to back up your code or make sure it’s available on multiple devices. Until very recently, you couldn’t do that and keep your code private on github without paying. So (unless they want to also maintain a bitbucket account) people dump stuff there for reasons other than explicitly wanting to share it with the world or show it off.
I cannot stand this kind of developer armchair psychology.
Yeah running the delete in the user's crontab (i.e. in the background and on a schedule) would be a better option IMO.
For sure, I'm not saying it's a universally valuable signal, just the most valuable one relative to other signals on a github profile.
exercising well before bedtime

Get good exercise close to bedtime or exercise earlier in the day?
The assumption is that if you have a personal github project then you're doing it because it interests you, you're passionate about it, and you're not doing it just for money.

If a developer writes sloppy code when they're doing it for passion, then that doesn't show them at their best. Of course we all have repositories, tools, or code, that was just thrown together to solve an immediate project but in general I'd expect something that is a labour of love - not a project for work - to be something that they'd put more effort into.
> The Windows API may be old and rotting, but NT is a very modern kernel compared to Linux.

I've seen this parroted before, no evidence to support this opinion.
He has a daughter.
Not the one you replied to, but I have been working for a customer service of a large platform for 10 months now and no one has ever asked a question about the ToS.
There's plenty of good reasons not to use shellscript, but someone not knowing the difference between "$@" and $* isn't one of them. This is prominently documented in Bash's documentation: https://www.gnu.org/software/bash/manual/html_node/Special-P...
Comprehensive and brilliant.
ML came out around the same time, though I don't know why they chose to have the type on the right there.
Large denominations get removed from circulation because they are used to enable crime.
Three Kinds of Good Tech Debt
I think we all agree that growing tall is “lucky” (and genetic), but there’s no controversy around accepting the tallest people into the NBA, so it’s not a discussion point. There IS controversy around sorting by intelligence.
Awesome post, from a fellow Brazilian!

We did a very similar implementation (although not distributed) for a similar problem, using Redis and Laravel.

We had MANY people crawling our website, and we would prefer that they use our API for that. Using Redis we block IPs who accessed our website more than X times not logged-in (200 URLs right now).

We also had the requirement that all good bots(Bing, Baidu, Google) should pass-thru without blocks or any slowdown.
Another requirement, was that those good bots should be verified(Reverse & Forward DNS Lookup) before entering out good bot list.

It is working great for our high-traffic website ( 2 Mi hits/day). You can check our work here:
https://github.com/Potelo/laravel-block-bots
Two daughters.
I don't follow- where is the excuse?

I left one of my junior dev positions in the industry with a stomach ulcer as a souvenir. I don't know what Goldman Sachs is like, but as a junior developer you're expected to do all the work for half the money it's worth and in half the time it would take your senior colleagues.

Edit: and while youre senior colleagues treat your work like rubbish to justify their senior salaries.
exactly and thinkpads especially. they are usually used in critical places.
Gives me goosebumps just to see the URL
It's pretty simple in my book and is why I expected Trump to have a good chance of winning the election.

Both Trump and AOC are populists. They care less about what's factually true and more about whats emotionally true.

Politics is not about being factually correct. You can be correct but still not have it your way.

This is what Trump knew. Perception is reality.

That's why it never make sense to judge a politician on their person but only on their policy.
Yeah but those students aren’t putting in those extra hours because it’s “fun”, right? They’re doing it because the culture intrinsically rewards if not requires that sort of overwork. It sounds to me like that professor is treating the symptom (students want to overwork themselves) but the cause (toxic culture) still needs to be addressed.
Diversifyn – Free tools & resources to learn & develop your Personal Finance
Diversifyn.com is an all-in-one place that will help you go from $0 to W. Buffet!

Free resources and tools about Money Management, Investing, Retirement and many more, that will help you to learn, develop and diversify your Personal Finance.

https://www.diversifyn.com
That’s fair, and I think my wording might have been too harsh in the context of your post.

But outside of this context, these same explanations are exactly the excuses that professors and administrators will ultimately make.

Don’t get me wrong, industry isn’t perfect either. But I know which one I’d rather pick, and it sure as hell isnt academia.
Ask HN: Modern day frameworks are cumbersome
Hey HNers,
I am a full stack developer(.NET,PHP,Plain vanilla JS,CSS) who is looking to expand the skill set particularly in frameworks area.

I feel Most of the UI technologies/Backed frameworks are focused on making things complex. Most of them are OOP on steroids and is overkill to solve real world problems.

I am feeling this in spite being from Enterprise software world which is known to introduce unnecessary complexity and humongous code base.

This feeling/bias has made me reluctant to learn frameworks like react,angular etc and not to mention the various NodeJS frameworks which requires you to learn many things to achieve simple basic stuffs which you can do via PHP, .NET etc

Am I wrong in thinking these are overkill and not required in most case or I am just biased against it .

I am practically unemployable if I lose my job in which I am good at since I do not know these frameworks.

Please let me know your thoughts on the new frameworks out there.
There's more or less a cult around using Linux on older Thinkpads. They're so widely available for so cheap, and since so many people use and test software with them, pretty much every Linux distro works out of the box. The older models are coreboot and libreboot-friendly, the keyboards are amazing, and almost every single part is replacable (the older 14" models have socketed processors even).

Many still enjoy the old IBM models. I'm typing this on an X220 model, and I do understand the risks associated, which is why it's running coreboot, a stripped-down Intel ME, and GNU/Linux (as opposed to original firmware and Windows).

The X220 that I'm using has run every Linux distro I can think of with zero modifications, and I even had macOS on it as a hackintosh for a time. I've replaced the wifi card, I have two hard drives in it and two batteries for it, and it still does everything I need a computer to do with zero fuss.

Even without Coreboot and Linux, many still find the risks don't outweigh the rewards. Same reason people buy newer Macbooks that lack magsafe, sd card slots, USB-A, Ethernet, a decent keyboard, an escape key, replaceable disks/RAM, etc. For Macs, it's form over function. For Thinkpads, specifically the older ones, it's the exact reverse.
How do you dismantle a cycle of abuse without first understanding the incentives and power relations which are the pieces of that abusive system?

——

I ask this as someone who has been accused of making excuses when I was explaining a problem ans asking for help in solving the problem:

What is it about the above comment that seems like excuses?
The key is often held somewhere in memory, it's just a case of finding it.

At least that's my understanding of how these have been cracked in the past.
Show HN: Scheme with first-class call/cc in 700 lines of Go code
But its the way they're doing the rescue that matters. AAV delivering a green opsin gene into ganglion cells which normally _would_not_have_ expressed or used that gene. Its supposed to be the cone photoreceptor cells that use that gene. So this isn't just replacing a knocked our gene, its a true 'hack', utilising other cells that are easier to target.
I couldn’t agree more. Closely listening to his performance while attempting to learn that piece myself was transformative. The depth of feeling and the goosebumps it leaves the listener with. Transcendent.
>I don't see how this will work, unless every country does this, or your currency becomes non-convertible.

You say this as if tax fraud is a consequence free activity.

>And even then, you would still be able to buy stocks, expensive jewelry, gold, houses and so on

Sure, but everyone will do that, so those asset prices will surge making it a poor investment
It actually matters very much if someone is a believer or not. I don’t know where you live, but in the U.S., we have so many people in denial that our efforts to curb the effects of climate change over the last 20 years are now being reversed. There’s not enough support anymore. If more people don’t start accepting this information as “facts”, this planet is in a world of hurt in the next 100 years.
I've had great luck with Thinkpad T420. I bought 2 over the last 2 years for about $225 (USD) from amazon. One of them i run linux mint without issue - my daily driver. The other one i kept with win7 (for kid as their school machine). I did replace the battery on one of them for a smaller physical size, and it apparently boosted the duration/power...so the original battery must have been aged. I can't complain because the replacement battery - again off of amazon - was around $50 (USD). Overall quite happy with T420 and would purchase theme again. (I have no experience with any other thinkpad models.) I hope this helps!
> Half of you think I’m describing Donald Trump. The other half, Alexandria Ocasio-Cortez.

Not really, no. The people who are aware of both AOC and DJT enough to have an opinion are not split evenly in terms of their thinking about each of these politicians. I don't despise AOC, I just don't particularly care for her, and I think the way she was elected by exploiting people's lack of attention to the primary race, and unwillingness to even consider any alternative party in the general.

Conversely, I don't laud Donald Trump, I'm just not personally all that offended by his MOR '90s Democrat style policies.
>> Lots of academics do “Uber for ice cream but with AI.” Academia is iterative.

Iterative, yes, but it must be innovative, not a recombination of existing contributions.

Also, if you only ever contribute tiny baby steps, you will simply not stand out. If you want to build a strong reputation you need strong results that advance the state of the art significantly.
> I think if you stop thinking of philosophy as a body of answers, and more as a body of in-depth examinations of questions, then it gets good again.

Agreed. I like to frame it as such: the "point" of philosophy is a form of play, rather than a quasi-theology.
+1 for this. I used to be a recruiter, and knew hiring managers looked at GitHub profiles. When I started, I used to to stress out over pushing crappy code to my GitHub account. At some point I realized that anyone judging me for stuff I put into GitHub was simply not someone I would ever want to please. My GitHub is mostly a graveyard for experiments, learning, and goofing off, and that is exactly what I want it to be :)

If you have something really notable in your GitHub account, maybe it should probably be on your CV/resume, too!
Oh, so maybe these people are using knives to cut things out of the pans, which causes the initial cracks in the glass.
This are not normal mice that gone blind. These are special mice that have one of they gene broken. (The same gene in all the mice in the experiment.) So it is "easy" to fix their problem by giving them a new working copy of the defective gene.

It's a nice result, but now the interesting question is if this can be generalized to people that doesn't have that a more diverse type of problems.

See also https://en.wikipedia.org/wiki/Synthetic_rescue https://en.wikipedia.org/wiki/Gene_knockout
Haven’t seen too many impassioned defenses of free speech after this. Strange!
The article doesn’t have a picture of one of the most striking features of the TWA terminal: its iconic Tunnel to the gates. Walking through it really made you feel like you were leaving one world and entering another, futuristic, one.

Here’s one image that doesn’t quite do it justice — the bottom of http://edgeofthecityblog.blogspot.com/2015/04/jfk-twa-termin...
I'd definitely buy this for my gramps or something like that, and I'd buy it myself if I had an iPhone, just because I like smartwatches.

But what I am concerned about is that this kind of stuff is a Pandora's box that can cause some undeserved panic...
This is a small interpreter of a subset of Scheme. It implements the same language as https://github.com/nukata/little-scheme-in-python (and also its meta-circular interpreter, https://github.com/nukata/little-scheme). As a Scheme implementation, it also handles first-class continuations and runs the yin-yang puzzle correctly.

$ cat yin-yang-puzzle.scm
;; The yin-yang puzzle
;; cf. https://en.wikipedia.org/wiki/Call-with-current-continuation

((lambda (yin)
((lambda (yang)
(yin yang))
((lambda (cc)
(display '*)
cc)
(call/cc (lambda (c) c)))))
((lambda (cc)
(newline)
cc)
(call/cc (lambda (c) c))))

;; => \n*\n**\n***\n****\n*****\n******\n...
$ little-scheme-in-go yin-yang-puzzle.scm | head

*
**
***
****
*****
******
*******
********
*********
$
For anyone just skimming comments - this is a very well written, well researched, thoughtful, and objective piece. That's pretty rare in today's climate. Definitely worth the read.

It's the first time I can remember signing up for a newsletter voluntarily, despite my general distaste for those types of popovers.
Great distillation of the internet's effect on business, education and politics.

Perell references Martin Gurri and Ben Thompson throughout. Going to dig in to Gurri as I'm not as familiar.

Alex Danco's series on Understanding Abundance is probably a good reference point as well.
To be sure the exact same argument can be made for some startups too. Toxic work-culture for the sheer possibility of (often limited) rewards is not unique to academia -- its just more prevalent.
Germany used to export 69% of collected plastic to China too, so they will likely face a similar crisis as America. https://qz.com/1310240/chinas-ban-on-plastic-recycling-impor...
Good for them. Currently in my country they are actively cutting trees thanks to a EU renewable energy policy that counts biomass as renewable energy, resulting in a lot of "sick" and "dangerous" trees getting cut.

https://www.princeton.edu/news/2018/09/12/europes-policy-tre...
These are awesome. For a long time I’ve thought a 13.3 X thinkpad like the 2X0 series (a proper successor to the x300/x301) would be the best thing ever. You take the x2X0 chassis, renowned for portabiltiy, battery life, and repair ability and shove a 13.3 inch screen in. Just like how the 13 inch class chassis on the x1 has a 14 inch screen.

Well it’s happened: the x390 now exists. Maybe ever better would be a thick X1. Not larger or wider but thicker so the battery life was insane and you could upgrade the ram to 32/64gb.
The paper goes on to say that

> Unfortunately, in practice it would seem that SMT solvers are monolithic, and SMT internals expertise is required for implementing new theory solvers.

and

> We argue that programmers should not have to be SMT internals experts in order to implement theory solvers for their domain of interest. We propose to evaluate that claim by developing a framework for implementing custom, efficient domain-specific solvers. In doing so, we hope to democratize theory solver development and make it accessible to programmers who are not SMT internals experts, in the same way that Delite aimed to democratize DSL implementation and make it accessible to programmers who are not compiler experts.

The title should give a hint. ;)
It’s common term in Lean circles. For people who (like me) prefer not to use Japanese terms when an English one will do, “stop the line”.
This seems strange. In industry, it seems that great cachet is attached to academic experience. In AI, there are a lot of positions paying a half million per year and up that are only available to PHD's. In blockchain, there have been many projects that have had little to show besides a powerpoint and the letters after the founder's name but still raised tens of millions of dollars in funding from big name VCs. For a time, this was so prevalent that projects like this were given the joking name "professorcoins".

Are you talking about the experience of students whose subjects are not used in industry? In that case, it seems that they would have a difficult time regardless of whether or not they were in academia, since they would simply not be working on their subject at all in the private sector.
> Tablets are for consumption, not creation.

I agree, but it’s worth pointing out that Tim Cook doesn’t see it that way.
Database Architecture Blog
Ask “Why?” Before You Write a Single Word
Machine learning actually- in particular, Inductive Logic Programming. But, yes, it's basically CS.

I appreciate that there's a difference between different fields. I'm also aware that the article above is about research students in the US- I'm in a UK university.
There was a trend for a while of making business/power laptops much more configurable (I have an old Dell with a hard drive cage that swaps out without removing any screws). But most laptops are more about form rather than function; their design requires reworking all the internals to prevent getting a big clunky heavy box that overheats.

For very low-power machines you might have tons of internal space free, but more powerful laptops need complex heat management in addition to reducing size and weight. It's only now that we have very advanced fabrication techniques and energy-saving designs that we no longer have to hyper-focus on heat exchange.

If size and heat and weight weren't a factor, you can bet that a standard would have arose to manage interchanging parts. But soldered ram is a good example of why that's just not necessary, and can be counter-productive for reducing cost and maximizing form factor.
Questionable Coding Concepts – Episode 1. Variable Variables
Picotorrent: a tiny, hackable BitTorrent client
War Games and Ferris Buelers Day Off were why I searched "how to hack" into excite.com a couple hours into getting my first internet capable home computer. I found ESR's "Hacker How-To" and tried to follow it with youthful zeal.
Cool!

Recommend removing “never played” and using something like “popular” on more played. This way new content doesn’t look like no one likes it.
For $250m, The Intercept was a noble freshman effort.

For comparison, Fox News was run at a massive loss for its first decade. Most of the other right leaning orgs have patrons.

One needs stomach, fortitude, deep resources, and business acumen to build a self-sustaining media presence from the ground up.

Alternately, use the seed capital to start an endowment, keep the effort modest.