skysight-inc/HackerNews huggingface dataset:
> The abuse of the preprocessor for checking pointer size is definitely poor practice.

[Non-moving-target reference with commit hash: http://www.kylheku.com/cgit/txr/tree/rand.c?id=6ca6be767f8ac... ]

The problem with your statement is that it isn't true.

Selecting code alternatives using #ifdef is one of the benign uses of the C preprocessing feature, exemplifying "use it like this" in contrast with "bad" uses. In many a coding guide you can it recommended to use the preprocessor to do a little #ifdef here and there, while avoiding crazy macros. (Of course, code can turn into a hairball of nested #ifdefs, which everyone rightfully hates, but this sort of use is not characterized with the word abuse. It is just use.)

We could split the function into two copies for those alternatives, put them into separate files and then have something slick in the Makefile to pick the correct file (not the GNU Make ifeq syntax, of course; that would be ironic).

However, those two functions would then contain lots of repeated code also. If something has to change, two identical parts in similar functions have to be updated.

Okay so then we could refactor the function so that all the common things are in a generic part, and then the switched pieces are in a helper inline function (included from one of two different files, etc).

It's not clear that it would improve things in that particular case.

I really have no idea what, if anything, would be worth doing, and that could be due to my mental limitations. If someone sends me a plan about how to refactor that code in a good way (just an outline with bullet points in plain language, no code) I will seriously consider it, and possibly do the work.
Inc. Super/GST?
It may not be refundable, but if it can be changed, you may be able to change the flight for a codeshare where the flight is operated by another airline and not united.

I think your chance of doing this is better on an international ticket, though I'm not sure how you find out if a flight is a codeshare or not.
Started scam-free apartment rentals site and need help getting ball rolling
If anyone has a place in LA they are looking to rent out, it would be awesome if you could put it on rentgene.com
Also if you have any ideas on how I can get this out to the people, I would love to hear it!
I'm not sure it's so easy to define or generate an infinitely-long program. Such a thing doesn't sound to me like it would be either possible in practice or equivalent to a Turing Machine in theory.

For example, you suggest an assignment of expressions to digits of pi. Now how would you run such a program? Presumably by generating the digits of pi, interpreting them as expressions, and evaluating the expressions, etc.

But the program you used to do that was finite. So are you running the infinite program? I think it's more fair to say you are running the finite one.
Even if salaries for teachers teaching at schools in rich and poor areas are the same, the best teachers will gravitate as much as possible towards richer schools, and who can really blame them? This is already a problem, everywhere in the world.

Allowing teachers to make more money doing easier work in an easier environment because housing prices are higher is a terrible idea. At the same time, teachers have to be able to afford to live in areas they're teaching in.

Combining the above two, teacher salaries really need to rise across the board.
One way to buy Lenovo is to google for Lot of X on ebay.com where X is about 3 years old. The off-lease deals and lots of great machines you can find is amazing.
Tesla unveils its new ‘sleek and low-profile’ solar panel made by Panasonic
The DOE is the department that designs, builds, and maintains the United States' nuclear weapons. I hope there is some science going on.
I've always been in a startup or just a full-time employee - my point still stands though, if that's an average rate then why did the article point it out?
Very neat! Looks like this is an even older language than the one I'm familiar with: bone-lisp. Bone-lisp is interpreted but ops for "explicit regions instead of garbage collection". There is also an awesome list of similar projects on the bone-lisp README (on which I now see Dale included) which I'll quote from:

> Somewhat related Free Software projects:

> * Pre-Scheme is a GC-free (LIFO) subset of Scheme

> * Carp is "a statically typed lisp, without a GC"

> * newLISP uses "One Reference Only" memory management

> * MLKit uses region inference (and a GC)

> * Linear Lisp produces no garbage

> * Dale is basically C in S-Exprs (but with macros)

> * ThinLisp is a subset of Common Lisp that can be used without GC

[1] https://github.com/wolfgangj/bone-lisp
This is great! I have a note in my ideas list for an infinitely expanding public canvas. At what point does it expand the current bounds?
I find it helpful to think of countability in terms of the following game: You have a set of items in mind. You propose a (non-terminating) scheme for listing all the items in the set. An adversary attempts to name any item X, hoping your scheme misses it. However, you then show your scheme does, in fact, get to X after a _finite_ amount of time. The set is said to be countable if you prove that your adversary cannot win this game.

Yes, the counting process is non-terminating. But every item gets counted after only finite time.
Theres lots of reasons to use Go. Mine is the language is really stupid simple.

Theres nothing fancy in the syntax, you can pick up a project you put down months ago and easily start working on it again
A set being "countably infinite" only means that you can write a function that maps each distinct entry in the set to exactly one natural number (0, 1, 2, etc.) without duplicates. That's it.

So for example, the set of natural numbers is countably infinite and we know this because we can write a function that maps each natural number to exactly one natural number: the id function.

We can extend this and say that the set of even natural numbers is countably infinite because it has a mapping function of x => x / 2.

The same is true for all integers (natural numbers + negative numbers): x => if (x < 0) { x * -1 * 2 } else if (x == 0) { 0 } else { x * 2 + 1 }, i.e. if it's negative map it to an even number and if it is positive map it to an odd number, if it's zero map it to itself.

You can even write a function that maps all rational numbers to the natural numbers, since each rational number can be written as a fraction of two integers. (Figuring out the function is a fun exercise but it is also easy to google)

However, you can't write a function that maps any real number to a natural number. The easiest to understand proof of this is Cantor's Diagonal Argument[0], which is a proof by contradiction that shows that any attempted function must exclude some real numbers. Therefore, the real numbers are not countably infinite, and we call them uncountably infinite.

EDIT: In response to your edit, Cantor's Diagonal Argument basically shows that for any given function (and you have to define the function completely ahead of time - that's key) I can give you a real number that is not included in the domain of your function.

[0]: https://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument
Here's what's going on, as far as I can tell:

A "class" in Haskell is a typeclass, sort of like a trait in Rust or an interface / abstract class in OO languages. An "instance" is a specific data type that satisfies the rules of the typeclass. The classic example is something like this:

class Eq a where
(==) :: a -> a -> Bool

instance Eq Integer where
x == y = <some native code>

That is, Eq is a class we can apply to any type a, as long as we have a way of defining the (==) operator, which takes two things of type a and returns a bool. We would like to say that Integer is an instance of this typeclass Eq.

You can use classes to express rules about multiple types, by just adding more type variables to the class definition. The Haskell wiki gives the example of matrix and vector multiplication, with "class Mult a b c", "instance Mult Matrix Matrix Matrix", and "instance Mult Matrix Vector Vector".

(One of the problems that comes up when doing this is that type inference doesn't know how to resolve overloaded types. FunctionalDependencies lets you add the "| a b -> c" syntax, which means "the type c in this typeclass is uniquely determined by whatever the type of list is, nobody can instantiate this typeclass twice for the same type of a and b". But don't let that syntax confuse you into thinking that a function, in the normal sense of something taking inputs and producing outputs, is being defined; it's just defining relationships between objects. almost Prolog-style.)

What he's doing is defining type classes for what us normal people would think of as functions. Nil and Cons are separate, unrelated types: in C++ terms, Nil would be class Nil {}, and Cons would be template <typename x, typename xs> class Cons {}. Keep in mind that x and xs are type arguments, not actual data members!

Then there are typeclasses with no functions; nothing needs to be implemented to be a member of the typeclass, but the type constraints need to be satisfied.

So we say that the two types a=Nil and b=Nil satisfy the "First" typeclass, and that the two types a=Cons x more and x also satisfy the "First" typeclass, for any type x (and any type more).

Then ListConcat gets to type constraints: the three types (Cons a as), bs, and (Cons a cs), taken together, satisfy the typeclass ListConcat as long as the three types as, bs, and cs also satisfy it. So now we're asking the type inference algorithm to start doing some recursion and probably some backtracking, but it's all hidden.

So on and so forth, with Peano integers and everything else, until we get to the meat of the queens problem: an instance of the 6-queens problem can be constructed if there are six queens not attacking each other.

Then he asks the typesystem to run type inference and figure out a plausible type for the 6-queens problem.

What's the runtime? Who knows.
I didn't mean to imply that you did, my point is that someone being being "an emotivist" isn't understandable, and it doesnt' mean the people around them should be inclusive of such an outlook on life.
What this VP should have been doing was figuring out how to get out of that scenario entirely.
A change in your perspective. Buy some really good, perspective transforming books and read them. Sorry I don't wish to offer advice on which books at this time, but there must be some such books for you somewhere.

A change in perspective can be incredibly powerful. And valuable. And I think, anything that can alter the way you see the world and yourself dramatically, is probably the most dramatic way to alter your life.
as much as keeping the pipe full and working for organizations that...have such internal problems they have to hire contractors does kinda suck.

working when you feel like you can contribute, billing exactly those hours, and filling the rest of your time with activities of your choice feels very honest and liberating.

if i feel like i can't get things done because of the environment then i don't work, and i don't bill. if i finish a job and they have no more work for me then i say, thanks, keep me in mind, let me know if you have any problems.

not really a capitalist, but the transactional nature removes all the festering emotional complications. and you can be a lot more straightforward about where things are broken.
This is actually an apples and oranges argument. All birds are not the same. What's also problematic with this argument is that even if "house cats" were the #1 problem, you still need to address both problems when we're talking at this scale--you shouldn't use one to excuse the other.

What's actually true is that "house cats" and wind turbines can be fairly effective killers in their respective niche. Cats predate primarily songbird species. Wind turbines whack relatively low-abundance birds of prey and--in offshore installations--seabirds. With the right circumstances, both can do very substantial harm to bird populations.
Your posts in this thread are good examples of how the "Rust Evangelism Task Force" meme started: it's great that you're enthusiastic about Rust, but you're not tempering your enthusiasm with pragmatism nor with empathy for your audience, like, for instance, the core team does.

Pushing back on the Rust-is-hard "misconception" where it is wrong is good, but calling the language universally easy just because you happened to learn it quickly... is wild: it incorporates ideas from a lot of different languages, so many people will be encountering more than one completely new concept. It can often take a while to "click" onto a new concept, because one isn't used to framing problems in the way that makes the concept simple. For one, saying Rust is easy so stridently, without nuance, makes people who are struggling feel stupid and demeaned (yes, I'm sure you don't mean it that way, but that's how it comes across), and makes you personally sound rather arrogant (/r/iamverysmart material).

In any case, with such ardent advocacy and combativeness, your technical arguments need to be 100% perfect: people will remember reading wild assertions they know to be wrong ("some Rust guy was talking about how ..., it wasn't even close to correct") more than they remember normal discussion about Rust. And this applies to both the people directly commenting, and the orders of magnitude more who are just reading the threads.
College grads stuck with low wages as US hiring heats up
The very first part of it is a list of commands without any explanation of what they do; perhaps you need to work on this a little more before advertising it.
"But it remains a single country and a single election period ...The dems had control only a few months ago"

No, they've been losing ground pretty steadily for 20 years. The media didn't pay much attention until recently because most of the losses were occurring in "flyover" areas.

They're paying attention now.

Even at the Federal level, the Republicans have had control of the House of Representatives since 2010, and the Senate since 2014.

And I don't agree that it's just the U.S. In other countries you have Brexit, the rise of the Le Pen family in France, etc.
Thoughts on Java 8 Functional Programming
Alternative search engines to Google (2016)
It takes just a little discipline, but nobody wants to do it. You're completely right - it's a shame how often products are made without any sense of deliberateness.
I mean one which doesn't have many similar, but variable, content structures, and/or which depending on the attributes of one of the elements.

I had to deal with large volumes of json (think log streams) that while they shared many top level attributes, also had had accreted many "optional" components with "types" that depended on the values of certain attributes (each with different nested elements too). While awkward to deal with in python (lots of `if x in y['thing']` checks), this was very cumbersome to deal with in Go. It required lots of reflection and ended up being comparatively slow (python json parsing is actually pretty zippy).

It just isn't one of Go's stronger suits in my opinion.
AlphaGo's first part of training is supervised learning i.e. it's learning from experts. By playing against alphago, experts are learning new strategies. This can then further boost alphago's performance.

Since it's a 3000 year old game, some thought that the game didn't hold a lot of unexplored moves even though the known popular move sets are complex.

Maybe this is the type of symbiosis Musk is always talking about.
So, App.net?
Numbers? Real?

Neither molecular biology nor the sane part of physics has any of em.

Btw, it is heuristic - if there are numbers involved then it is human made. Reality as it is has no such notion. Biology does not count.

Numbers require an observer, which is a by-product of the processes in vastly complex brain structures of the cortex, and cannot be the basis of anything in the underlying universe.

Any good (which means Eastern) philosophy arrived at these simple conclusions millennia ago.
Funnily enough, HN is, every so often, the bastion of this line of thought.

Post 2008, the pendulum has been swinging the other way, but regulations were often argued as negative value. Of course people weren't assanine about it, and argued as best as they could on both sides.
> Genuine question : do we know that those bugs would have been avoided using rust? Maybe some of those part would have had to be done unsafe mode for some reasons.

AFAIK no one's done a comprehensive survey, and it'd be hard to know for certain what someone would choose to use unsafe for until/unless they actually rewrite the code in question into Rust.

But if you look at code that is written in Rust today, I think you'll find less than 1% of the code is unsafe. [1] I think it's used for

* FFI / interfacing with C (common now, but less so the more you rewrite into Rust),

* low-level code (such as synchronization primitives and data structures), and

* a few bits of performance-sensitive code.

My gut feeling is that many of these bugs are in safe code, the "boring" 99%. The bugs would either be prevented by the compiler or turned into a panic at runtime instead of undefined behavior.

When people use unsafe, I'd like to think having to explicitly flag it as such would make authors and reviewers more careful. But certainly there's no 100% guarantee; I've seen broken unsafe Rust code in the wild already. As a small example, sqlite3::core::ResultRow::column_slice [2] is unsound; a following call to another column_* method would invalidate the returned pointer, [3] but as they all take a &self nothing prevents you from using the pointer after it's no longer valid. column_slice should take a &mut self instead. I haven't reported the bug because this buggy crate has been marked obsolete in favor of rusqlite.

[1] For a project of mine, it's found on 0.3% of non-comment-non-blank lines (23 unsafes / 7,390 lines). 13 of those were for FFI; the remaining 10 were due to my unfortunate obsession with optimizing for CPU. If anyone's done an accounting of more/larger projects, I'd be curious to hear it.

[2] http://www.madmode.com/rust-sqlite3/sqlite3/core/struct.Resu...

[3] https://www.sqlite.org/capi3ref.html#sqlite3_column_blob
We shouldn't, but any politician who even hints at ending it would be crucified. See http://www.npr.org/sections/money/2012/07/19/157047211/six-p...
Cons is not exclusively a Lisp operation, Haskell's lists (among other languages) are implemented with cons: [1,2] is syntactic sugar for 1:2:(). And the parens are also part of the Haskell syntax, not something added to make it look like Lisp - note the lack of parens around the outermost types.

If anything it seems closest to Idris, given the Peano arithmetic...
There is a person putting the parcels on the robots.
A: Features.
Only rarely. Golden Eagles don't tend to breed all that close to human populations centers, where domesticated and feral cats are usually found. Where they do, they tend not to do well--a steady succession of failed nesting attempts is the norm.
For convenience.

Original:

However reinforcement learning presents several challenges from a deep learning perspective. Firstly, most successful deep learning applications to date have required large amounts of hand-labelled training data. RL algorithms, on the other hand, must be able to learn from a scalar reward signal that is frequently sparse, noisy and delayed.

New:

However reinforcement learning presents challenges from a deep learning perspective - most supervised deep learning applications require large amounts of labeled training data whereas reinforcement learning algorithms must be able to learn from scalar rewards that are often delayed.

Immediately after the plagiarized section is a citation to the paper which was plagiarized (Mnih et al.).
Ok, I didn't say that such people should be accepted, description is not prescription.
Interesting how I never considered this option. It never even hit my horizon. I'm actually in the process of increasing speed since faster speed equals faster access and better productivity. Right? After reading this article, I suspect I'm wrong.

Thinking about how easy it is to get distracted when I'm online 100% of the time, no access is probably a good choice. It's going to hurt but this is something I'm going to try. Good article.
Great idea, but probably won't work for most of us unfortunately...
Some people are alcoholics. They can't exist near an open can of beer without their life going to shambles. But most people aren't and don't have the urge to binge drink.

I'm not sure how this is any different. The author of this article is an Internetaholic, therefore I should cut my tether to the Internet? And what of my LTE connection?
Flight or fight? United's 're-accommodation' of passenger a colossal mistake
Yes - I was just thinking the same thing. I have not come to a conclusion one way or another on whether it is possible to de-couple the generating program from the generated programs for the purpose of analysing the proof. It seems that there should be a way to do it... unfortunately I cannot spend more time on this now.
The IBM EXEC 2 manual (second edition 1982) is an interesting scan/read too.

http://bitsavers.trailing-edge.com/pdf/ibm/370/VM_SP/Release...
No, because they share a base Entity class.
"So what's your conclusion about what it is?"

Utter failure of the current Democratic Party to connect with those voters who made up its base for a century or more.

I don't think there's any other way to spin it. Trump won because he carried several industrial and mining states that were traditionally Democratic strongholds.

Your link is just another attempt to blame it on "stupid racists".

Did it ever occur to the Dem leadership that calling people stupid racists doesn't make them more likely to vote for you?

Those states all voted for Obama twice. While I suppose it's possible that everyone in those states turned into a stupid racist over the last four years, that's not where I'd place my bet.
> theory of random walks, risk neutral pricing, and the black scholes option pricing formula to be the most significant findings

Random walks, heck yes! Black Scholes not so much. Its a fantastic toy model, but over all I think, it did more harm than good. People took its thin tail behavior too seriously. There's way too much fluctuation in practice than a Gaussian process would fit/predict.

So I would put it as: mathematically sound enough, empirically not quite so.
What's the runtime?

Zero by the usual definition, but then again it's cheating.
Are they real? Well, when a human says something about a thing, they can never be completely sure whether they're saying something about an actual thing with an independent existence, or whether they're only saying something about what they say.
I don't see any references to Boox or mobileread in this thread. What revisions are being introduced?
I did something similar when I was in college to fix my bad grades - I didn't have a laptop or a computer at home, and didn't own a smartphone. I did all my school related work at labs in college, and this made me much more productive at home - instead of mindlessly surfing the internet, I actually did the school work. As a result, my grades shot up to summa cum laude levels and there is a distinct step function between my freshman/sophomore year grades and the junior/senior year grades. Unfortunately, living with a girlfriend who adores Netflix, I am back into my procrastinating self when I am at home.
The votes indicate that people like this idea, it's just that it's impractical for most people whom like it.
Well VP could have been exaggerating a bit as well since we were uni students back then and my friend was doing his internship there. He knew the VP through robotics.
Deploy your distributed system efficiently with fabric