skysight-inc/HackerNews huggingface dataset:
> Naming a project in such a way as to troll people is not a matter of "terminology".

1. I see no reason to NewLisp was named to troll people. It only has the effect of trolling you because you have created a subset of the English language in your head which you view as "correct" without any basis in reality.

2. In the English language, "terminology" can be applied to the names of programming languages and people will know what you're talking about. It can also be applied to things like "list", "scope", etc.; generally people use context clues to figure out what you're talking about.

> To me, NewLisp is uninteresting. I already know how to avoid sharing issues in memory management in C programs by mallocing a copy of everything and duplicating it; that bores me.

Thank you for sharing. I'm sure you're very knowledgeable and smart and whatnot, have a cookie. Now can we who are interested and curious about this have a conversation without you butting in, please?

I'd like to know:

What are the performance implications of doing ORO universally? The tradeoff seems to be that copying takes time, but it also allows you to treat everything as stack-allocated, so it saves time on heap management. What's the average case performance like? In what cases is this a good tradeoff? In which cases is this a bad tradeoff?
Put plainly, the callout and yourself are wrong. To muddy the waters about this may put small companies at risk.

I've spoken with an lawyer about this. There is case law directly concerning IQ tests.

The bar for acceptance to prove the use of IQ in hiring in a discrimination case is unattainable by most software companies. Hence, it is effectively illegal.

NB: I would desperately love to use IQ tests in the US myself. I want to be on your side and use IQ tests, but wouldn't risk my supper for it.
Chapel P.L. reaches 5th Place in Computer Language Benchmarks Game
This is a terrific class. I also recommend: https://ocw.mit.edu/courses/electrical-engineering-and-compu...
They've narrowed it down to a batch of bars that are good thru 2017. They got some sent back and tested and didn't find anything. So they're saying it's allergic reactions.

So what does a huge food company do when it releases a new product?

Say Quaker Oats rolled out a flavorless Granola Bar, do they just expect a certain number of ER visits?
http://www.thepatentscam.com
Which is NP-Hard in general, but this instantiation of it can be made significantly easier than a random instantiation (in clock time, anyways).

You could pick a similarity metric such that adjacent columns have some bound on worst-case similarity - this allows you to reject many adjacencies. This could be chosen empirically by analyzing other known images. You could additionally model the probability distributions of similarity for adjacent columns, thus allowing you to reject further adjacencies and sets of adjacencies.

By using all this structure you should be able to do much better than this simulated annealing - which I have yet to see complete successfully on my machine, at any rate.

Is the author here? What energy metric is this using? Total variation?
Sure, but outside maybe the top 20, most of those systems only have simple two line intersections (even if they do have a lot of them). And a lot of other rail systems don't make sense to depict as metro lines, because they run detailed timetables rather than linear services.

Buses do usually run linear services, but they're often sufficiently dense that metro style maps are difficult to read (they're often best represented as simplified roadmaps with each road labelled with route numbers).

Also, you don't need to get everything perfect everywhere right away to start acquiring users. It can be a continuing improvement process.
I agree that music is a good analogy. For example, in the US there is a guy who has "shortcut" piano courses. His point is that yes, if you aspire to be a concert pianist, then you should spend years learning scales, reading music, and playing music from classical composers. But if you just want to play a few Billy Joel or Beatles songs, you can skip all that and cut to the chase. You won't have that great "foundation" needed to be a master player, but most people don't want that in the first place.
Do applications motivate students? Personally I would expect examples like these to de-motivate, since they make clear that the subject does not, in fact, apply to the students' idea of real life.

If you teach abstract mathematics and make vague promises they will be really useful, some students may believe you. But if you try to demonstrate how they're useful, and the best examples you can come up with are estimating the number of piano tuners in Chicago or the number of air molecules in the room, things students know they won't ever need to do in their lives, they should become less interested.
Is it a problem?
Admittedly this might be one of the white lies I tell myself in order to stomach American political discourse. Good catch.
You are right; with the current algorithm it is quite difficult to fully unscramble the image into one single strip. For now, the best you can do is get a bunch (~20) of strips after annealing, and manually flip and rearrange them (in an image editor) to get back the original image.

The default temperature of 4000 is fine for all the example images at 600×400.

The default 30 million iterations leads to a reasonable run time of about 10 seconds, but leaves many small strips after annealing. Bumping up the number of iterations to 300 million, 3000 million, etc. will take proportionally longer time, and give marginally better results.
Great! Please star our repo if you like our tool :)
Just listening to the first episode as this sounds like the perfect thing for me in my current situation. One suggestion would be to work on sound quality, the biggest issue being background noise. Audacity [0] is an open-source software for editing sound. There's even an awesome tutorial on removing ambient sound [1].

[0] http://www.audacityteam.org/

[1] http://www.makeuseof.com/tag/remove-ambient-noise-audio-file...
Windows Server 2016 Evaluation Edition
I wrote a post that might help anyone feeling overwhelmed about all the things to learn:

What Not to Learn http://gedd.ski/post/what-not-to-learn/
Couldn't you do some feature detection on the edges of the resulting columns and repeat the annealing to get a better end-product?
Who is the owner? What does the torrent contain? Why don't you upload it to archive.org? Why was this post flagged?
you have to weigh the removal of that incentive against the degree to which the ability to give your offspring a leg up makes the system inefficient and unappealing

see Adam Smith and the Founding Fathers on eg. inheritance taxes:

http://www.economist.com/blogs/lexington/2010/10/estate_tax_...

> "A power to dispose of estates for ever is manifestly absurd. The earth and the fulness of it belongs to every generation, and the preceding one can have no right to bind it up from posterity. Such extension of property is quite unnatural." Smith said: "There is no point more difficult to account for than the right we conceive men to have to dispose of their goods after death."
That's not how trim settings work.

After establishing the desired airspeed and rate of climb, then you apply trim to reduce pilot effort. Repeat.

What you're talking about is what you would do in an emergency when flight controls were stuck or something.
Perhaps not optimal, but in a lot of cases probably a lot better than someone's previous diet.
Try Bell Labs Cardiac the cardboard computer

https://en.wikipedia.org/wiki/CARDboard_Illustrative_Aid_to_...
Previous HN context:

https://news.ycombinator.com/item?id=11024511
> Only actual Lisp dialects have a claim to the name.

Frankly, I don't give a fuck about anyone's "claim". If people can use a word to move an idea accurately from their brain to other people's brains, communication has occurred and I'm happy.

If I say "NewLisp" and my audience knows what interpreter I'm talking about, I have succeeded in my goal.
Guide to eating healthy: Avoid anything with a barcode on it.
And the scary thing is that one can do even better: https://billwadge.wordpress.com/2016/01/18/extensional-highe... https://github.com/acharal/hopes
Maybe this is not the right amount due to the effect age has on wealth accumulation
Based on the description in the webpage, I expected it to work on the default image with default parameters
Your perspective is "frighteningly" naïve, and typical of the left which imbues the government with the imaginary omnipotence to fix any and all problems.

mechanisms that has the possibility to address (if not fix) systemic inequality

What evidence do you have that this possibility exists at all?
Because they don't have any research using their bars or their drink mixture to back up any of their claims. All they are doing is looking at the recommended levels of vitamins/minerals and macronutrients and mixing some shit together, and hoping for the best.
> There isn't some set of primitive instructions programmers could target to instruct the connectome.

I wouldn't be so quick to rule that out. Think about the difference between short term memory and long term memory. Short term memory is on timescales far shorter than synaptic formation, so it stands to reason that it might take the form of electric patterns held in buffers in the brain (i.e. it is not encoded using synapses). If that is true, then why can't buffers that hold electric patterns also hold a set of instructions that can be retrieved from storage?

E.g. maybe short term memory is more like an FPGA (easily reprogrammable circuits) and long term memory is more like an ASIC (hardwired synaptic connetions that are far more dense and long-lasting).
Great game, already bought it.
The goal of our penitentiaries isn't rehabilitation or to prepare inmates for a life outside of jail
Postmates struggling to raise money
I like your idea of rejecting pairs of columns that are too dissimilar. You are correct that my simulated annealing algorithm does not completely unscramble the image, and I believe this is because of the horizontal symmetry ambiguity.

The energy metric being used is simply the sum of absolute differences across all 3 channels for all horizontal adjacent pairs of pixels.

In pseudo-Python notation: sum(abs(pix[x,y,ch] - pix[x+1,y,ch]) for x in range(width-1) for y in range(height) for ch in range(3))
I'm disappointed with Gizmodo, and started unsubscribing to them. Has anyone else notice a decline in their articles? No one reports up-to-date facts or investigations any more. This article seems more of a bash-piece then a real fact based piece. I want to see some real investigating and not references to a subreddit. I don't care if Soylent is making people sick, tell me why and what's being done about it.
I'm aware of Datomic but I feel like it will be a while before it becomes "the standard".
This link still seems to work, I suspect (?) it is the same content:

https://github.com/bsima/allmail
Laf, Joylent's site is more Cirque du Soleil than food company.
> Also, what does "optimal" even mean? You're setting the bar too high; as long as they're healthier than typical alternatives of eating lots of fast food and processed packaged foods then their addressable market is huge.

this is exactly the kind of research soylent doesnt have on their products. we have no idea if they are 'healthier' or not.
The regulation that this article tries to pretend is the problem is actually what protects so many people. Uber drivers are not harmed because the government doesn't recognise them as independent contractors, they are harmed because they aren't recognised as employees. Independent contractors should hold the power in the relationship not the other way around. As it currently stands independent contractors are just a way for companies like Uber to avoid paying taxes, sick pay and any other number of hard fought rights.
Build a Legacy: The Muse (YC W12) Is Hiring a Data Engineer
It's genetics, why is this such a mystery? The whole point of evolution is that you pass on good traits. When people do well, they pair with other people who are good genetically, and through the generations, their children do well. Why is this such a mystery?
Silicon Valley Pours $300,000 into Haiti After Hurricane Matthew
The guy who developed the Soylent product was/is a programmer who had a diet of mostly junk food. This he realised was no good for him hence the product. The market is programmers like himself plus others.
It's a great introduction to the broader world of AI, but you will barely skim the surface of ML.
if you don't like hacker rank. suggest a technical phone screen over a shared notebook or a homework problem as an alternative. See how that works.
What would you recommend then ?
You might want to check how much sugar is in those "protein" and "granola" bars. Side note: nice if Soylent produced a version with less sugar (less or no fructose specifically).
Often times people will compare with Europe when it advances their agenda, or ignore Asia if it advances their pov or just focus on America when it's convenient. Seldom will people do cross country comparisons.

So, whether your issue is guns, drugs, police brutality, censorship, inequality, bias, gender equality, etc. People tend to focus the studies in such a way to make their case and ignore things which would make things more muddled.
According to a YouTube comment... Prof. Winston did not allow OCW to share that lecture, no reason was given.
You have no idea, don't you ? :)
Latency numbers every programmer should know (2012)
I often eat one for breakfast or in the afternoon. Simple, it has more protein and fiber than other bars, with much less sugar. I like the taste.
He wants to learn to code, not how to become a mathematician.

As an EE student, there are plenty of engineers who know nothing about those topics (except maybe linear algebra) that have successfully completed the image processing/computer vision course.
At last, I have something to add to a HN thread.

I used prolog professionally quite a bit back in the early 2000s. IBM had a product, Tivoli Enterprise Console, that was used to filter, aggregate, and correlate events from their monitoring toolset at the time. All of the rules for event routing and filtering were written in an extended version of prolog.

The system was quite powerful at the time, and I found rule writing to be really intuitive once I wrapped my head around the concepts.

IBM eventually sunsetted TEC in favor of a similar product they acquired when they bought Netcool, but I'll bet there are still a few organizations out there still using it.
You should try volunteering.
> Soy protein, Algal oil, Isomaltulose, Vitamins & minerals

You call that food? Suddenly the 'balanced diet' everyone seems to be pushing is not applicable? Yeah ok, I agree that if you are coming from a mcdonalds-only diet, you might do better, but they are positioning themselves as a healthy meal replacement.
We think alike. I just posted a similar article. A lot of media sites are declining.
"to my knowledge nearly no money has been spent on DDC, and the amount of funding spent on reproducible builds is dwarfed by the funding spent on formal methods and related work (by orders of magnitude)"

By focus, I mean the IT people out there using, building, discussing, or securing FOSS. They talk a ton about these things but not that other stuff. As you note, there is a lot of work and money going into it by CompSci, proprietary companies (surprise!), and militaries.
I doubt you really want just "to not die" from your food.

Your mental health, ability to work, and happiness are all impacted pretty heavily by your diet. Lacking some nutrients can increase depression, lacking others can result in always feeling tired and sluggish, etc.

The reason I'm wary of soylent is not because I doubt that I could live on it (many people have lived for fairly significant durations on basically only soylent), but because I worry it would overall decrease my quality of life. Saving time eating is great, but it's not worth feeling like shit the rest of the time.
Ha nice, I was looking for recent advances in this branch; most of things went the CPL way.
Excellent, it's easy! Why haven't you completed this yet? :-)

So, a few thoughts.

The CSmith paper "Finding and Understanding Bugs in C Compilers" is a fun paper: https://www.cs.utah.edu/~chenyang/papers/pldi11-preprint.pdf - however, let's delve further. They found defects in every compiler they tried, proprietary and OSS. They even found defects in CompCert - because they were defects in CompCert’s unverified front-end code. What's more, they focused on "atypical combinations of C language features" - which are important, but to far fewer users.

Yes, it'd be awesome to have compilers that are perfect have absolutely no defects. Let's work on that. But it will be many, many years before they are widespread.

Besides, while no-defects would be awesome, many people are more interested in a different and simpler requirement - they want to detect subversion of binaries (where the binary and source do not correspond). Yes, provably perfect compilers could do that, but you don't need to wait for them; reproducible builds and DDC can provide that now, and you don't have to wait for anything.

So let's talk about VLISP. VLISP spawned an amazing number of papers, and was interesting work. Where's the code? MITRE never released it to my knowledge. To me, programs I can't run are in the "who cares?" category, and stuff people can't reproduce & investigate isn't really science anyway. Besides, VLISP only generated code for computers people generally don't use anymore. (You'll notice that I posted the scripts demonstrating DDC so that others can reproduce their execution.)

Sure, p-code was awesome in its time, I used it. But when newer hardware (the IBM PC) came along, it got superceded. More importantly for our story, it got superseded before there was time to develop any complex proofs. This is a more general problem: As long as formal proofs demand a massive amount of time, their results will become useless due to obsolescence. We must improve the tooling and models so that the proofs and layers can be done in a much faster and cost-effective way. Proving obsolete stuff is not very helpful. I think the ProVal approach (using Why3) is especially promising, but fundamentally, we need to make it not a massive research effort to write a high-assurance compiler.

Oh, and a little out-of-scope: As someone who's written Scheme & Common Lisp for decades, the problem with Lisp isn't its imperative nature; lots of people like Elm and Haskell, which are also functional languages. The problem with Lisps is their hideous syntax; Lisps don't even support infix by default, something every grade schooler learns. One solution is here: http://readable.sourceforge.net/

Anyway, what you've outlined is basically a program to build up from small safe components into larger trustworthy components. It's a sound strategy, and one that has been repeatedly advocated for decades by many people. But we also need to admit that it's going to take a long time, because our tooling is only just becoming good enough, and even then only in certain cases. There are serious limitations you're glossing over.

Don't ignore shorter-term smaller wins; they're valuable.
Why are SnapChat and other startups so secretive
MEGA-Recitation Videos :-)

https://ocw.mit.edu/courses/electrical-engineering-and-compu...
They do extensive testing, compare their product to existing and prior products and the testing from that.
Why must you ignore opposing viewpoints "in order to stomach American political discourse"? I find this point quite dismaying. Speaking as someone who has strong views, I think we should all strive to grant our intellectual opponents the respect we expect from them, and we should endeavor to understand their views. Ideally you would put yourself in the position where you could argue their side of the debate in a manner indistinguishable from them (according to them), only then could you claim to understand them.
Thanks, can you link to a paper you are thinking of? Actually I think right now we are totally talking past each other.
We're not even talking about money at this point. The study is talking about educational level of children vs. the education of parents and grandparents.

It stands to reason that highly educated parents produce highly educated children - they've been through college, probably know what to do in college wrt financial aid, and probably have more books in the house and talk about more educated things around the dinner table.

How is that ability to give your offspring a leg up going to be removed?
Spefications LOL yes I recall when I was a developer on the management system for SMDS (ake the countrys internet back bone) for the UK the tech was so new we had to keep going back the guys that developed the underlying tech and ITU standards - and this was after 9 months of planning before staring development (which we did in 12 weeks using RAD Agaile paradime)
A startup founder’s playbook for transforming big industry
I couldn't agree more. This is a perfect description.
Just make your own... if you can boil water you can make them, it'll be less expensive, healthier, and you can tailor it to your taste.
Which is why anyone who has experience programming in C would instead write:

#define add(a, b) ((a) + (b))
I actually tried to pay 100% out of pocket instead of using insurance.

Some procedures may cost comparably if you immediately pay 100% in cash, but these are few (of what I asked).

Some medicines may cost comparably, but prescription medications usually cost so much higher it's not even funny, e.g. $100 co-pay vs $550 out of pocket.
"rationale"
There is a link in the article - http://www.nber.org/papers/w22635.pdf

Seems like they used a PIK number created by the census bureau to track individuals and same address to create parent-child link.
That sounds pretty interesting. Where could I learn more on this?
My girlfriend had to worry about it last week. It was a pretty crappy experience.
> imagine a protocol where a CA has to ask the registry

Or maybe registries could directly act as CAs for their own TLDs (and no others). It would be an interesting discussion about how this would be better or worse than what we have now.

I imagine a lot of registries wouldn't want to pay for the infrastructure to do this, but maybe it should be regarded as a basic part of their role. Right now it would be very annoying because you could no longer get a cert for multiple names under different TLDs, at least if they were managed by different registries (so you couldn't get a single cert covering example.io, example.cc, and example.net, even if you controlled all three names). Maybe if SNI becomes more ubiquitous this limitation will seem less annoying in the future.
Lexical scope with async closures makes it very easy to write async code for example events in a gui or handling multiple clients in a server. Its a big deal.
I believe these type of statements beg the question with culture giving rise to monetary success.
I still don't see anything here which indicates to me that I should give a shit about NewLisp being called "NewLisp", or about referring to CL/Scheme/Racket/whatever as "Lisps".
They probably mean the torrent creator/initial seeder
It's in fact a long-established technique in high-assurance systems going back to I think aerospace or security-critical where the triple-modular redundancy trick was reapplied with separate teams building each one. Security through diversity also re-emerged relatively recently as a very active sub-field of INFOSEC/IT. If you're interested in that stuff, use these terms in various combination when you're Googling: "artificial diversity," "automated obfuscation," "moving target software security," "security diversity software." Also, including "pdf" helps given most good ones are papers. The word "survey" will occasionally land you on a pile of gold with references all in one spot. :)

Happy hunting!
The next manufacturing revolution is here