skysight-inc/HackerNews huggingface dataset:
It's like writing "pusillanimous" when you want to say "nice" -- the chosen word is both unnecessarily fancy and wrong. I'm not aware that this has become the conventional understanding just because some people here and there make this mistake. It's fine for words to acquire new meaning, sometimes even an opposite one like in the case of "literally," but even in that case the word serves some purpose (that of emphasis). So if you tell me that the word "formal" has acquired the meaning informal, I would still ask what purpose does "formal" serve here? What's wrong with just saying proof? And yes, I did need to scroll to the section about the proof to see that the article does not, in fact, provide a formal proof. I agree that this is pedantry, but in this case the article emphasizes formalization so much that it seems like it's a central point, and yet no formalization is to be found. To me this suggests that some people may simply not know what "formal" means in this context, which is fine, but since this is an important concept in computer science, I thought it is worth pointing out.
France wins the World Cup
New material eliminates need for motors or actuators in future robots
Unless your goal is to mount it on a wall. Better/worse are really not meaningful by themselves w/o context.
Read "Neuromancer" by William Gibson, also "Snow Crash" by Neal Stephenson.

Both offer something beyond just being Sci-Fi.
Print lungs and breathe life into them with stem cells
The Middle Child Is Going Extinct
Ridiculous in what way? It certainly solves all the constraints given in the article. What do you see that was missed? Are you imagining that it's running through the middle of the room? That's not necessarily the case. if nothing else, it could easily be anchored through a pulley or ring attached to the wall.
The Oral History of Travel's Greatest Acquisition Booking.com
Surely this must be some HN user’s satire.
What exactly does verifying memory safety mean in Python? What memory-unsafe operations does Python allow?
I am not impressed by this exploit, because there are some chance he had studied the document before the presentation, or even asked someone to verify it.
He was flawed on many aspects, for example trying to attract developers by dancing and chanting "developers, dev...".
His successors put Linux in Windows, open sourced .NET and this seems more efficient... without even harming Windows market share.
"His handling of racial discrimination at the colonial British was also pretty bad-ass!"

If you have any references to any anecdotes about this, I'd love to read about it.
The sisal rope will wick based on the elevation change and deposit clean oil to the lower receptacle.
Inside Haddington Dynamics and Their Groundbreaking Dexter Robot Arm
> Talk about snatching defeat from the jaws of victory.

Well said. All of it.
>Sellers could take advantage of the bias of joint evaluation by emphasizing information that consumers might think is important but actually isn’t–our computer screen has 1.073 billion color combinations while our competitors only has 16.7 million–while making less salient 6 hours of battery life versus 8 which may in practice be more important.

Is there a specific computer manufacturer that this is taking a shot at? Apple maybe?
And what exactly would be the problem for the NSA with patching networking devices? They even mention how it's useful specifically for these hard targets

>"some of the most productive operations in TAO because they pre-position access points into hard target networks around the world."

https://arstechnica.com/tech-policy/2014/05/photos-of-an-nsa...
I can sort of understand politicians (even then...), but definitely not celebrities or otherwise there's this concept of "public person" that seems awfully free form. We also don't really combat paparazzi well at all.
I just use HTML directly if I need formatting. I find it wuch easier to remember its syntax than Markdown.
Bing has proved to be one of the best investments that Microsoft ever made.

Ballmer's failure as it related to Bing was trying to build an advertising platform to compete with Google and failing.
Evidence of this? I've found his perspective on organisms pretty refreshing and implementing his dietary advice has been very rewarding (have never felt healthier). He does seem like a crazy whack as most of his opinions go against the accepted norms but that largely stems from him disagreeing with the fundamental tenants of molecular and cell biology. His work is heavily influenced by Gilbert Ling and Albert Szent. G who look at organisms through the prism of energy rather than the dogmatism of genetics ("energy and structure are interdependent at every level")
Yep, that's it as far as I know. Rather, the difficulty requirement sets forth how many leading zeroes the hash of the data plus the variable parameter must have.
I think that it depends upon what you interpret it when you say “it’s a function”; it’s data as well. Which, now that I reconsider it, was kind of the point that the parent was trying to make, that they’re also very much unified.

So point taken.
When it comes to happiness, there's no such thing as "true" outside of your own cognitive perceptions. I mean, what would that even look like? Your own happiness is just an emotion happening inside your head; how could any other person, without access to your head, tell you that you're "wrong" in perceiving that?

Now, it's possible for someone's actions to suggest that they have some subconscious motivations that are in conflict with what they say makes them happy. And it's also possible for them to grow in ways that overcome these cognitive distortions, such that chasing an ambition over all else is no longer fulfilling for them. But even if that happens, in the moments before growth they still were not losing out on anything, because their psyche at the time didn't care about what they missed out on.
Yeah, makes sense. I was thinking that you could look for an uptick in biodiversity or something from the fossil record, but I'm sure it would be tricky to separate the reasons for that.
Google Docs for long form stuff.

Apple Notes for the rest.

I honestly didn't realize how much I was using Apple Notes on iOS and Mac, until recently. The ability to create folders, and iCloud sync (after it became useful enough) are amazing.

I only wish Apple Notes would get a lot more features similar to Google Doc, but at that point it'd be an another replacement for Apple Pages.

I was never hooked to Evernote, despite the amount of traction it got. So I'm not sure if Notes on iOS and mac will be a good replacement for Evernote users though.
You don’t need the OS to be written in that language. It’s enough to wrap the APIs into these interfaces. CPUs are much faster these days, for many tasks modern PCs are often IO bound, count of kernel calls rarely becomes the bottleneck.

Windows does just that with their PowerShell. Here’s an example that copies a file remotely on the server:

Invoke-Command -ComputerName SERVER -credential USERNAME
-ScriptBlock { Copy-Item -Path C:\Temp\1.txt -Destination C:\Temp\2.txt }

Copy-Item cmdlet doesn’t require arguments to be files, it can copy some other objects too, registry keys, installed certificates, etc.
Good point; similar to the refutation of the argument that biological eyes are too complex to have been produced without supernaturally intelligent design.

When you only consider the result of a whole pile of small but good design choices, it seems implausible. You have to consider all those steps that led up to the current state. Standing on the shoulders of giants, and all that.
Make it three, mostly because the wifi card in my laptop was a nightmare to get working in linux
in a social context I see the word toxic being used to describe behaviours that are detrimental to other members of the community, to the extent that the members of the community that do not engage in those behaviours will disassociate themselves.
Most of the suggestions here involve organized, and perhaps structured, note taking. This is good and makes sense for personal knowledge/research.

That said when I saw ‘personal knowledge base’ my first thought was ‘personal knowledge graph.’ An advantage of knowledge graphs is the ability to start with public data sources and combine in your own information. Like, customizing DBPedia with your own scheme and data.

For organizations, ontology development, defined vocabularies, etc. make sense, but not for most individuals.
If spammers IPs are so widely spread out, then doesn’t it make most IP based RBLs fairly pointless? Or worse, more likely to get false positives?

Sending legitimate email becomes increasingly frustrating, yet spammers still to find their way to our mailbox.
Is there a catch to vgo's approach? If not, why aren't the cargo people copying it?
as a teen it was so strong for soccer that I could keep my legs from hitting the table legs when eating dinner
Guess not. The failure mode is: the person in the bathroom becomes incapacitated or dies.
Can we get the brain excited about positive-sum games? Dogs can run after a ball, maybe as humans we can do better? Maybe we ought to do much better?
They knowingly take a well understood risk, yes, but that doesn't make it ok. It's also well understood that walking around certain parts of town dressed certain ways is dangerous, but it doesn't make mugging me ok when I do.
Yes, and the funny thing is the author even didn't get the correct take-away from this event.

Ballmer looked at the bottom line, was surprised by the number he saw and then started looking at the math that produced that number in detail. It has nothing to do with being a math wizz. The lesson here is that good executives ignore noise (the speaker) and focus on importance (numbers).

Balmer isn't a superhuman who can listen to a talk, read slides and do higher level math simultaneously, but he can spot a bottom line number that is surprising given his mental model of the deal. He expected to see one number and saw something else. That's when he stopped skimming the slides and gave 100% of his attention to the math that produced that bottom line number. That's also the point where he tuned out the speaker completely.

Math genius is not required. Superhuman ability to divide attention is not required. The only skill Ballmer displayed here is ability to direct his attention to a number he didn't trust, which turned out to be the right decision.

Programmers of average ability have their spider sense tingle when they look at code with sql injections, or at loops that don't terminate, or suspect allocation/threading logic. Bad code looks bad. Not always, but often enough. Finance is no different.
You use the word "unique" in the strict database sense. That is also a unique trait of our profession.

(and yes the above sentence was meant to be a logical moron)
Elon Musk calls British diver who helped rescue Thai schoolboys 'pedo guy'
The fact that it went viral is unfortunate. The whole thing was a non-story (two people meet, wow) with big pink headlines and two giddy voyeurs. The only thing worth noting was the marketing aspect.
I've been looking for perfect solution for over 15 years. Finally found it. Emacs's Org-mode. Nothing else truly beats its simplicity, versatility and robustness for note taking.
DSS – Deterministic StyleSheets
No, because “brain” and “muscles” are different things. In fact, it's the opposite, it's a way to satisfy a desire which would reinforce health and weight loss, without actually reaping any of the benefits.
I use a local wordpress to document and shape my business plans. I am prone to circular thinking so doing this helps me stay on course.
Quite welcome!

Getting a tangent to change that drastically over a small interval is quite hard, except on a cusp, where the curve itself is discontinuous (so anything that happens at the cusp is always going to be wrong). Of course, cusps only occur in planar curves, but you _could_ still run into that. Splitting the curve at the cusp and treating it as two curves, to be joined "however is the most aesthetically pleasing way" is basically your only option.

A shift and renomalization is a very efficient RMF, but can lead to weird things when the projected binormal ends up lying in the plane of curvature. Say, a curve that starts off going up and left/right, then changes direction from left/right to front/back. If we're not framing on small enough intervals, the binormal of a frame on one side of that change projected to the other side of that change will suddenly lie in the plane of curvature, and renormalisation can suddenly be broken.
The effect of these things is often significant due to how poorly managed some channels are, though. And it's not always due to large size, it happens in schools all the time and we call it bullying.

For instance, this kind of thing could affect your job and lose you your job, which shouldn't actually be a thing, and we should ask why is this a thing or why is this a problem?

Consider SWATting, it only works because there's a framework in place to make it work.

Why are threats effective?

A lot of this is preexisting problems that manifest in bullying and stalking and frankly they're not handled very well, the victim often has little to no recourse. So it more seems like we do not have good solutions to these issues, socially OR legally.
(defun sum (lst)
(let ((acc 0))
(dolist (x lst)
(setq acc (+ x acc)))
acc))

(sum '("a" "b" "c"))

gives me a runtime error. Does sbcl support parametric polymorphism?
20000 lieux sous les mers !
no, it doesn't...
Raises hand.

I made plenty of money in mobile app development before. My secret? Work for a large company that does business to business apps that do large 4000-10000 device deployments that are willing to pay 6-7 figures on an implementation.

Chasing after $0.99 purchases is a fool’s errand and winning at that game is no more assured than winning the lottery.
It’s not just sports, this happens with YouTube for me. Somehow watching people do cool things with CNC sates my desire to spend $15K on a Tormach.
Given that it's a fresh account with no other comments, I highly doubt it.
2018 MacBook Pro Review
Top two things that come to mind are camera megapixels and 4k screens on phones. Apple always used a smaller number of megapixels but ultimately a better sensor, while other manufacturers touted the raw count. Similarly there were some 4k phones with an unnecessary dpi. I think Samsung had one and although the screen was 4k the OS resolution was defaulted lower to save battery life.
Normally in the two generals problem you assume that if you send a message repeatedly for an indefinite amount of time it will eventually be delivered. This assumption makes the problem the author described possible, but the actual two generals problem is still impossible. See my explanation here: https://news.ycombinator.com/item?id=17536337
If they demonstrably damage one's ability to thrive in the world, then we should demonize them. If.
Great, but this can be done with type-safety too. See this https://github.com/pelotom/runtypes -- it isn't purely meant for validation, but not much is needed to use it for it.
I’m no expert, and I might even be very wrong, but I read the post about it and it seems to hinge on only resolving a minimum version and assuming all future packages with the same import path are backwards compatible. If I’m reading right it basically treats path/to/package and path/to/package/v2 as entiresly different packages.
I love these kind of writeups about services which are like plumbing for the web. If it wasn't for mailinator, managing my inbox would be a chore. I use it all the time, although there is a panoply of others to use and I suffer from disposable inbox fatigue (just as bad as suffering from an overflowing inbox).
I can't speak for other articles, but my primer usually makes HN maybe once a year, unless I happen to write a new section and get lucky enough on upvotes when I post a link to it myself.

My normal pace of writing new sections is "maybe once every half year", this time I was requested to write about rotation minimising frames less than a month after the previous update, so if you remember seeing this same primer last month: you did indeed, although it was on a completely topic (namely, curve fitting).
Same here.

The way I try to overcome it is by thinking that there are things that I don't control. I could create an app in XYZ stack and in the months some packages are broken and unmaintained.

Just realise that if it's hard for you, it's also hard for others. If you fight for it, eventually things will work. I had many failures in the past due to arrogance, not playing along, over confidence, etc. In the end, you've to analyse the situation, learn from it and just keep going forward.

The more you fail, the better you'll become at handling it. You were born on this plant knowing nothing and you failed a lot of times, more than you can count, until you become you. Each day you're a little bit better than yesterday.
That presumably is in the BOFH DLC :-)
Let's be fair. Even if those videos weren't there the chances of most people investing 15k on the hope of sticking to learning a complex skill are slim.
Not the person asked, but think about what cryptos fundamentally are - decentralized trust among anybody. If it doesn't strike you as how tremendous a tool that is, consider that many things, before the clever applications are developed, sound rather less than inspiring. The internet, at its most fundamental level, is nothing but the ability to send a signal representing a 1 or a 0 to another individual connected to 'the' network. That such a thing would end up completely reshaping not only the world but every aspect of our everyday lives is something that would have seemed rather hyperbolic at one time.
If we had insurance and could use it to bring back our employees like we did in May 2011, June 2014, and August 2016 we would not be publicly allowed by HR and legal to tell you about it. :-)
Hey, Turtl creator here. Import/export is launching with v0.7.0 very soon. I've been working really hard on the upcoming release, and self hosting should be easier since we're moving to Nodejs for the server (saying goodbye to lisp).
I don't see that it said the same thing. This is an opportunity to practice the site guideline that asks you to respond to the strongest plausible interpretation of what someone says, instead of a weaker one that's more easily dismissed.
I used to play football (soccer, not hand-egg) a long time ago. When watching football, I still see my reflexes, especially on my left foot, getting into overdrive when some player is about to kick a ball without much warning.
Decreased libido in 15%[1] of users, for one

[1] https://www.webmd.com/sex/birth-control/features/the-pill-an...
Elon Musk Called One of the Thai Cave Rescuers a “Pedo”
Yes, json export is planned, and should be launching in a few weeks (hopefully...I'm building on nights and weekends and I have a busy summer!)

Out of curiousity, is there a more ideal format for import/export?
OK, here's what I was referring to:

https://www.fil.ion.ucl.ac.uk/spm/software/spm12/

in this package there are (was?) some scripts for running dynamic expectation maximization. Cheers
when I'm playing Mario Cart my brain thinks throwing shells is a reasonable method of dealing with traffic.
I don't see many use cases for phones outside of wallets. Even that is a bad idea because phones of all varieties are so insecure. Mainly because people don't update their phones for a myriad of reasons.

HN hates blockchain, so I doubt you will get a very good answer here. I am blockchain admirer but I just don't see a lot of use cases on such an insecure device outside of perhaps social media where you control your own data. Reading the blockchain, sure.. writing to the chain? Not ideal.
Yeah, that's the cheapest device available. If you only need 2 ports, the apu2c0 is only $99 w/o case (~$10 for the case) [1]. An espressobin (w/o peripherals) goes for $50. EdgeRouter X (1 WAN, 4 LAN ports) goes for 50 EUR here, with SFP module it goes for 75 EUR. Those are competitive prices. Netgate's cheapest device is expensive by comparison. Doesn't say anything about the quality though!

[1] https://www.pcengines.ch/newshop.php?c=4
Ignoring the misunderstanding about what bike-shedding is (already covered in another comment), this seems a misinformed statement: I started this article because there _aren't_ any articles that actually explain Bezier curves for programmers to the degree necessary to actually implement them, and perform common operations with them that make them useful in codebases.

I still see almost no articles in this space: they're all either the (super valuable) jason davies style "here is why they work, it's just linear interpolation!" pages, or very short explanations that give the calculus expression, and then... stop. This in contrast to linear algebra and calculus, which as general maths subjects have an almost countless number of free ebooks, book-sites, college professors putting up slide decks for their entire courses, and researchers making their phd theses and research papers available online.

This is still a niche subject (it's a tiny speck in the Venn diagram of calculus, linear algebra, geometry, and graphics programming), especially as most people don't need to know anything about Bezier curves to _use_ them in things like CSS or Illustrator; you can make them do what you want just by playing with them.

If you need to program with them, though, you have a problem: of course, you can find all the information in this primer if you want to look up 30 different web pages that all cover each section on their own, with disjointed maths notation and level of detail, but that's how you figure out any niche subject in the absence of single page resources like this primer =)
As a rule, Rust and Cargo developers aren't satisfied with something until it's difficult to explain and complicated to implement.
I have reservations using a just-in-time assembled prototype for a life-critical task. How well-founded is my reservation?
I watch fotball while exercising on my spinning bike. Highly recommend!
Didn't some recent research show that merely visualising exercise had measurable physical benefits?
Don’t listen productivity gurus: why waking up at 6am won’t make you successful
Elon Musk Is Mad His Mini-Submarine Didn't Help in Thai Cave Rescue
Yes, or like Scheme.
Yes if you want 2D MS-DOS style performance.
Are you going to also make a conclusion video? Like wp is for x pw is for y?
I think (maybe) they mean something like:

x = Foo()

thread1.do_something_to_foo(x)
thread2.do_something_to_foo(x)

wait_on_threads(thread1, thread2) # however that works in python?

do_something_to_modified_foo(x)
> Bonus temporal adjustment points can be obtained by posting retrospective parody articles to Hacker News the day before your game comes out.

Some highlights:

365 days of pixel art

109 points eigenbom 3 years ago 34 comments

(https://medium.com/@eigenbom/365-days-of-pixel-art-f6131f280...)

A game whose source code fits in one tweet

162 points eigenbom 3 years ago 51 comments

(https://github.com/omnus/tiny-twitch)

I'm 2 years into development of my sandbox game, Moonman

128 points eigenbom 5 years ago 71 comments

(http://bp.io/post/1501)

Ask HN: What are some poorly written but very successful open source software?

35 points eigenbom a year ago 32 comments

3.5 years of open development for a procedurally-generated adventure game

15 points eigenbom 3 years ago 4 comments

(http://forums.tigsource.com/index.php?topic=21997.0)

Moonman: 3 Years of Solo Gamedev and 2 Left to Go

https://news.ycombinator.com/item?id=9011787

13 points eigenbom 3 years ago 8 comments

I'm a dad

11 points eigenbom a year ago 9 comments
To witness one of the most deadly attacks in American history, and then, with gravitas, say "you know what's more important than connecting with our community and people and reach them now in a time of bloody and violent uncertainty? making sure MSFT makes more money"

sounds like a real peach of a leader. truly inspiring.