skysight-inc/HackerNews huggingface dataset:
Well, here you are defending the way you expressed your personal reaction to the book. Your reaction itself is of course fine. -But earlier you expressed your reaction to the book as if your particular experience of it were an absolute truth. Obviously (to both of us I have no doubt), the book is not anything in absolute terms, but you did not put it that way in your original comment. The original statement says flatly the book is "too dumbed down." This puts an implicit value judgement on anyone who might like this style of exposition. And a new learner is often _vulnerable_. So thank you for returning to clarify here.

To anyone struggling through calculus for the first time: Use what works! For all we know, Strang himself might of learned from Calculus Made Easy. He'd be in good company if so, though it seems like RPF was rather free with the calc books, if ya know what I mean. (see the other thread)
yep - they also use vosotros for the plural formal, which might throw off someone just reading the text lacking that knowledge.

yeísmo is also present, which is at present just about absent in Spain, except perhaps from the older speakers in the south.
When faced with complexity you have to use with whatever 'opinionated hyper-standardized workflow' to build 'un-opinionated hyper-unstandardized workflows'. The net result is like trying to build sculpture with glass with chisel and hammer.

Its then you realize you had better started with clay.
The same problem exists with IPv4, and there are many ways to address it: Cloudfare, IPFS, Tor, web proxies, etc.
I just wanted to say that your portfolio is amazing [1], and you've had the coolest career ever [2]! I was wondering, are you still the sole developer of Toodledo, or do you have some employees now?

I hope this HN bump has been good for Fold N Fly!

[1] http://www.jakeo.com/portfolio.php

[2] http://www.jakeo.com/about.php
> a very efficient server could, say, serve 100 miffins/hr and be tipped 20% each accordingly. A fast, but rude server could serve 100 muffins, but perhaps get 0-10% tip each sale. A slow, but polite server may only serve 50 muffins, but garner 20% tip each.

This seems like a weird argument. Do the customers get no say in whether or not they want muffins?

You seem to be implying that a person behind a counter selling muffins is able to alter dramatically the demand for muffins by being efficient.

Most cafes or stores that I see are basically waiting for customers or have only a couple of customers, nowhere near reaching the limits of how fast a worker can throw muffins at them.

I realize you're only using muffins as an example but it's the same with most food places I see.
Lithium batteries do not use rare earths.

Tesla's specific battery chemistry uses significantly less cobalt than the other common vehicle batteries
> This is great, except for that existing CPUs don't stall after issuing a load. Scoreboarding + prefetch are together capable of more than this "deferred load," and require less work from the compiler. If you have independent instructions following a load, any existing architecture worth its salt will notice that and execute them while the load is in progress.

<Citation needed>. BTW, deferred loads were rediscovered as "decoupled load" (http://people.duke.edu/~bcl15/documents/huang2016-nisc.pdf) and achieved a respectable 8.4% avg speedup.

> It's potentially a neat idea to include the number of cycles until load retire in the instruction, but it's a joke to pretend that it's higher performance than what x86 does and will get you back all the performance lost by not speculating.

That's not at all what's claimed. The entire idea is that you try to approximate OoO performance, not beat OoO performance.

> I can't help but think that the mill architecture gets a lot of hype from a lot of people that don't know very much about computer architecture. There have been lots of great ideas that didn't pan out for general purpose computing, and I'm not sure that this vaporware architecture deserves to be thought about.

I mean, it's been discussed as a valid idea by people on the P6 team (one of the first commercial OoOs), but what would they know? ¯\_(ツ)_/¯
These questions seem pretty good!

In the max heap question, I'd argue that add should take a parameter by value, rather than a const reference, since this prevents having to needlessly copy temporaries (and is less verbose than overloading for T&&).

List of iterator categories is missing input iterators.
I understood all of it.
> The majority of health products (90%) could not be supported by science.

10% could be? Outcome more positive for Goop than expected.
Cheers!

You might also like: http://conal.net/papers/compiling-to-categories/

He transforms Haskell to a point-free form that's suspiciously like Joy... ;-)
> These days, in addition to sequential algorithms, there are parallel algorithms, distributed algorithms, probabilistic algorithms, quantum algorithms, learning algorithms, etc.

These can all be converted into sequential algorithms with some overhead. Is there an actual proof in the video or just an argument that something that can't be made sequential must exist?
I would need something like that to measure life spend in Slack channels and DMs. At least with a real meeting, a call or an ad-hoc talk you could focus on the one only, but forget it on Slack.
An interactive book on deep learning with Julia
‎شيخ بن ريديق في فزان
Ask HN: What tools do you use to program on remote machines?
Basically at the moment I ssh into the machine and use tmux and nano to run things and edit code. Everytime something goes down/wrong, I ssh into it again and then fix it. I was wondering if there are better ways to do all this?
Or it actually creates three worlds, two heads worlds and one tails.
I've fixed some old stuff before and often there's a schematic affixed to the inside of the case.

Knowing how a Mac is connected and what parts are used is a long way away from being able to make one for most people.
PDF: https://pdfs.semanticscholar.org/af34/2af4d0e674aef3bced5fd9...

Also the Liquid State Machine paper they cited, "Real-Time Computing Without Stable States: A New Framework for Neural Computation
Based on Perturbations": http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.8...

Fascinating idea. If I understand correctly, it's like an extreme version of data pre-processing. If you're trying to figure out whether an audio clip is saying "zero" or "one", analysing the raw amplitude data is pretty tough going. Instead you could run it through a Fourier transform in the hope that the clip's frequency content would be easier to analyse. If that doesn't help, maybe a wavelet transform, or something more fun like, uh, the "inverse Fourier transform of the logarithm of the squared magnitude of the Fourier transform"

In a sense, it doesn't really matter what pre-processing you do, provided that the differences between "zero" and "one" are more distinct in the output than the input. This is the "separation property" that the papers mention: important differences get magnified at the expense of unimportant ones. If that's true, your final analysis will have a lot less work to do.

What's cool about this is that "anything that magnifies important differences" is a pretty open-ended requirement, leaving you free to choose pre-processing that's easy to implement in hardware. In this case, fluid dynamics has the desired properties, and the laws of our universe make it very easy to implement a fluid simulation using actual fluid in an actual bucket.

Perhaps there are other systems with similar separation properties that are even easier to implement in hardware. Maybe something with electromagnetic waves, like in time-domain reflectometry? Even if such a system's behaviour is uninterpretable to us, it might still provide useful pre-processing to a machine learning algorithm.
Maybe service workers should wear badges showing their hourly wage, then customers would know how much they should tip. /s
It is doable, but it is a concerted effort, like doing OOP in C. It’s hard to keep the discipline especially when new people start working on the code
But you're not competing with those brilliant people on technical merit, but in the political game of building a fiefdom in a large company. That takes very different skills, and many people find it distastful.
I don’t think most people living in these “opportunity zones” are going to be happy with people basically being tax incentivized to make housing more expensive in the area in which they live, thus making life harder for them.
Re-newtab: A productive chrome new tab extension
They're more than descriptions because (most of them) make testable predictions about the world. Doesn't mean they're correct, of course, but making predictions is really important.
Good idea. Poor execution. 5/10.
I created this chrome extension. It is a redesigned, productive and pragmatic chrome new tab alternative. Welcome to try. 10+ home widgets, better built-in browser functions and quick search by shortcuts. For examples, a finder like bookmarks manager, clock, recently closed tabs, Google Drive and Calendar widgets.
Yeah, speed aside, audio-video is much better for conveying emotion than information.
This is a pretty good discussion and I’m surprised that while discussing OOP not much was brought up in the way of managing private versus shared memory which I think depending on the platform is not as universal as we all hoped it would be by now. Marshalling objects with pointers accessing vtables over uneven terrain is how it goes down. I think here is a good example: https://trac.webkit.org/wiki/WebKitIDL

And to further that point there is no more Safari on Windows for this reason among many others. Remember MemMaker? It’s crazy there were so few applications we managed some of the memory ourselves but it worked very well didn’t it? OOP really took off back then too and then memory utilities were not needed and didn’t last too long. The convenience of not worrying about it is one of the many things OOP was able to solve as it advanced. It is still pulling off the same tricks today in a much more complex and metered way. OOP does so much more than just this of course but the solutions developed with it for managing memory are intense and as much art as science. So we should question it and many paradigms to make this better. A mentor of mine when explaining this would compare it to juggling...and then proceed to actually start juggling while talking about his code. He’d stop and look up, just pause, and say that’s all we are doing here just juggling.
Disclaimer: I actually like jira.

If I were you, I would primarily fight to have enough privileges to be able to have your own workflow. In that case, Jira can be maleable enough to make it fit your current process, and if you can negotiate to be the one that decides/implements the workflow, you should be able to shield your team from any rashly imposed process from above.
If you want to get a job, yes.

The world is built on OOP, it's just that too many like to use it as a punching bag.
Where can I find such non-software projects?
Nice diagrams. Do you know the book "Kids' Shenanigans" by Klutz? [1] I grew up with it, and it has three paper airplane designs, corresponding to your "Basic Dart", your "The Square Plane", and one called the "Nakamura Lock"[2] (also mentioned elsewhere in this thread), which you don't seem to have but bears some resemblance to your "Tail Spin".

[1] https://www.amazon.com/Kids-Shenanigans-Approve-Whoopie-Cush...

[2] https://www.instructables.com/id/Paper-Airplane-The-Nakamura...
SwiftSweeper
SwiftSweeper is a Chrome extension packed with features that remove unwanted files to speed up your browser and keep your anonymity online.

SWEEPS OFF BROWSER DATA
Deletes your cache, cookies, and other browser data for a more private browsing experience.

FREQUENCY OPTIMIZATION
Choose how often you want your data to be deleted.

BE PRIVATE
Automatically deletes adult sites from your browser history.
Looks good! 8/10, points docked for the Notepad not being a Google Keep widget.
Ask HN: How can I get better at negotiating?
Ok, so this proved to be more difficult than I anticipated and it took me a while, but fortunately I really enjoyed the challenge!

It seems that the answer is definitely "yes", it can be done with WhyML.

There are a few minor caveats:

1. I had to change the function with the while loop to return an option instead of raising the Not_found exception, which makes the code a bit uglier. This is because I ran into the following bug in Why3 (it's already fixed in the master branch, but not in the most recent release): https://gitlab.inria.fr/why3/why3/issues/214

2. It turns out that the value of "high" is not statically known at compile time, because it depends on the size of the array. So I changed "high" to be a function of the array rather than a constant (I did the same to "low" for consistency).

3. Similarly and consequently, the predicate P(i) is not only a function of "i". It's also a function of the value being searched for ("x"), i.e. if P(i) is true or not depends on which value you're searching for. This also means that P() is also a function of the specific array being searched for (because some arrays may have "x" but others not).

4. You said that "we're pretending to know that there is a small value at arr[-1] and a large value at arr[arr.length]", but unless I misunderstood something, we can't actually pretend that, this must be written in the code somewhere, otherwise it won't work. For simplicity, I have chosen to implement those rules in the predicate itself. However, this is also enforced by the function with the while loop, i.e., it always makes sure that whatever predicate you have chosen, it has to implement those rules. I am sure that this could be changed, but I think it would complicate the proofs.

The result is that in module "GenericBinarySearch", like the name says, we have a neat generic binary search function which works with any predicate P (called "pred" in the code), any function "low", any function "high" and for any type.

And in module "ArrayBinarySearch" we have an instantiation of "GenericBinarySearch" which works for sorted arrays!

Also note that the axiom in the code is only an axiom in the generic module (it specifies what must be true of P()), but when the generic module is instantiated, Why3 verifies that the axiom is actually true for the specific instance of the predicate (so there is no cheating).

You can find the code in the link below. Enjoy!

https://clbin.com/Ov3NX
Peter thiel, libertarian who also runs a govt surveillance outfit? What a POS
If a breathing human was painted as literal saint in the past with no possible complication, then it was black and white in the past.

That being said, I don't think article paints him in as evil or saint. It seems to be more on his side, as in, saying that he was right in his criticism of west.
4. Try to look for a different (one you might understand better) explanation of the same concept in different sources.

These can be youtube videos, other books, math.stackexchange.com, math forums, etc.
Books from Mir Publishers that get translated to english are generally a good bet (they're Russian publishers from Soviet times). We used many books from Mir Publishers to learn Science and math in high school, they were all generally very good. I specifically remember a book called Problems in Physics by Irodov that I spent many joyous semesters working with.
Show HN: Optimage – Advanced image optimization tool
JIRA gets a 5/10 from me. Interface is too much of the same colour for different information. Gets confusing when trying to move around quickly.
I had an interview with a C++ guru while I was just a user of C++, among other languages and not really into language pedantry. So I failed at most questions, even some that are actually classic like the difference between struct and class (I was not even aware you can have member functions in struct in C++)

I still got hired, probably because I did not go to that interview with a high expectation of being hired (I was actually curious about what they were doing and would have been happy to just chat about that). So I would typically say I don't know, propose an hypothesis (usually wrong) and suggest that in the real world I would just google it real quick or write a test program.

They later told me that some interviewees were really stressed out by these questions (I can understand, they were hard!) and that no one could really answer a lot. They liked that I was actually curious about the things I learnt about C++ and would ask follow up questions ("Really? struct and class are almost the same in C++? Are they packing the same way as well?"). I realized how unfair this situation was: I was good at getting hired because I was not in a dire need for a job at the time. Would have I been desperate for this job, the temptation to try and fake it would have been great. And would have backfired quickly as the interviewer still is to this day the C++ programmer with the deepest knowledge of the language that I have ever met.
Orca: differential bug localization in large-scale services – the morning paper
Corporatism in the sense that they will be working in concert with a government to oppress the Chinese people's ability to communicate and access information. Neoliberalism in the sense that it's their excuse for doing so i.e. profit motive, competition "somebody else would do it anyway, so we may as well do it better". It's quite disgusting for an American-born company to be doing this.
Scientists Created the First Successful Human-Animal Hybrids – DhakaReport.net
https://bellard.org/

http://norvig.com/
It's more the fact that it wasn't put out to tender and won by a big outsourcing company like Capita. They would have tried to implement it all using SharePoint, gone massively overbudget and bailed leaving a slow mess that everyone avoids.

Instead, lots of small projects written by a young team using sensible technologies and sticking to an excellent set of user interface guides.
Like many other audio codecs, Opus lets the encoder decide how to spend the bits is has -- on what frame and on what frequency bands. On top of that is has a few special features that also require decisions from the encoder. So while the decoder doesn't change, the encoder can be improved to make better decisions. While the format itself is not perfect, I have not come across any particular thing that would be worth breaking compatibility over. I prefer working within the constraints of the bitstream to keep improving the quality.
Any sane interviewer in the field would accept "just don't do that" or "I think the answer is <X> but I would write a test program to make sure and/or check the spec about it"
0/10. IPv6 with never be the front runner.
"<Citation needed>"

This is a joke, right? Or are you actually calling me out for no evidence on a discussion of the mill architecture, which has been proclaimed for a decade as the greatest thing since sliced bread without a shred of supporting evidence?
Haha I'm now looking at Khan Academy.

I went to https://tutorme.com/ and went on a free trial.
The use case I gave is not a simple website, it's a code base with millions of lines of code. I agree that a simple website or small school project is a different situation with different needs.
I use Vim. With Vim 8+, theres a terminal command, :term, that works well. You may have to build from source because most package managers have older versions of Vim.

I use `mosh`, https://mosh.org, for keeping connections alive.

The combination of the two makes working on remote machines a breeze.
Casual home users don't need 10 Gbps to the home.
The novel bit here is being able to do it in a couple of seconds on a phone. They have custom silicon for it (the same bit that does the on-device machine learning), it's that compute heavy.

They need to do it in a couple of seconds because the RAW video (used as input to make a single photo) is gigabytes per second of data. If you do it slowly, you run out of RAM if the user tried to take another photo.
For coders – CRUD microservicegenerator
No more that dreaded auto login to Google feature on Chrome starting version 70
It's also possible that every version plays out physically but your spooky consciousness only picks one of them. Quantum suicide involves a little philosophy, it's not a direct implication of MWI.
Western education drills into us the mantra that reading books is virtuous. It certainly is something that children need to learn how to do, like eating and sleeping. But like eating and sleeping there are limits to the benefit you will get from reading books, and I don’t think this is widely recognised. The prevailing opinion still seems to be that reading is unreservedly Good For You.

Why do I say that? Because reading is ultimately a form of consumption. The quality and quantity of that reading matters, just like it does for eating and sleeping. Someone who spends all day reading isn’t necessarily in any better position than someone who spends all day playing video games.

Don’t get me wrong, I do love and recommend reading books - but the right amount of the right stuff.
In fact go back a little further, and darning socks used to be considered an essential survival skill.

Can you imagine socks being expensive enough that sewing the holes in them, rather than buying new ones, was worth your time?
> the minutia that std::unique_ptr<> has no copy constructor.

This is not minutae. This is a test if you understand the theory behind ownership semantics.
Sure, note I'm not trying to say the position being argued is right, I am simply trying to describe it as well as I can understand it.

One might say that a "classical analogue" computer that "outputs" line segments could output the square root of two but an digital computer could merely "represent" it.

That could be pure sophistry, especially since such classical analogue never have real infinite precision. But it seems like that's the sort of thing being claimed here.
That side effect of NAT is easily replaced with a simple firewall. Even today, many home routers have this capability already by virtue of running linux. Enabling it would be a pretty simple step for manufacturers.
Thanks. I also want to make a Google keep widget, but Google doesn't open google keep api.
Lost Jewish tribe 'found in Zimbabwe' (2010)
The test may be simple, but was costing the government about US$40 equivalents per test.

Because everyone was asking for it, they’ve stopped making it so easy to get free tests based on lack of cost-benefit.

If in doubt, or at risk, just supplement.
>I wonder why drying clothes in Sunlight is avoided in western countries.

Surprised nobody else mentioned a big reason: Pollen.

I can get away with drying most of my clothes outside, but if I do bed sheets outside, especially during the spring, I get terrible allergies from them.
VitD will store in fat. It’s b12 that’s stored in liver.
> Nobody is walking up to a door and dragging poor old grandma out.

What exactly do you think happens when an apartment complex gets purchased by a buyer whose plans are to redevelop (either remodel or demolish and rebuild) it for a more upscale market.

> Nobody is entitled to live in a certain community for a certain price.

Whether entitled or not, people are in fact harmed by being forcibly displaced from their home.
No jobs for cheats.

You’re surprised? Angry? Indignant? It’s someone else’s fault you had to cheat?

Please.
Apple's planned obscolecense [PSA]
I've come here to post this video which I think deserves the attention. Discussions over the video, Apple's practices, and anecdotes relevant to the case, are welcome.

https://www.youtube.com/watch?v=AVL65qwBGnw
think they mean the movies and things
I'm having a hard time understanding the difference between outputting something and representing it. Can you explain the difference, or is that just your best understanding of the argument here?