Become a fan of Slashdot on Facebook


Forgot your password?

Submission + - An Infinite Number of Ways To Say "I Love You" With Relational Programming->

Baldrson writes: This is an interesting angle on relational programming: Relate a functional or even imperative language program to its outputs, provide constraints and then reverse to do fun things like generate all programs that say "I love you.", generate all Quines, etc. This is demonstrated in PolyConf 15: The Promise of Relational Programming / William Byrd. (The afore video link skips past the boring logic programming type stuff like reversible append.) But this is more than a mere novelty, as demonstrated in the final section of the presentation: Imperative programs (involving destructive assignment, error traps, etc.) can be interpreted under the relational paradigm to answer questions like, "What input conditions to this program yield this output condition?"
Link to Original Source

Comment Re:Greeks surrender: no restructuring (Score 1) 485 485

l2718 asks:

wonder how Tsirpas will sell this to his constituents who just voted a firm "NO" to a deal without restructuring.


The All New Slashdot IMF Editorial Policy is to leave questions like that answered in the subtext of the original post: The People Don't Matter and If You Think They Do You're a 'Populist' which is just shy of being an 'Extremist'.

Comment Treaties Don't Override the Bill of Rights (Score 1) 423 423

The combination of freedom of speech and of the press combined with the _very_ strong language of the 2nd amendment nullifies any law against publishing instructions on building firearms.

This does not mean that the US Government will not only pass but enforce such laws. The US Government hasn't been lawful for a long time.

Comment Change your name to Sanjay Gupta (Score 0) 135 135

The guys that kept their jobs during the DotCon collapse were those that had "community organizers" that helped them negotiate big cuts in salary and finding shared housing in the area to cut living expenses.

In practice what this means: Try to hook into the H-1b ethnic network somehow. Perhaps the best way to survive a collapse in employment is to get a tan, change your legal name to the moral equivalent of Sanjay Gupta and contact one of the many immigration law firms in the valley that aid and abet H-1b immigration fraud with a sob story about how you're going to be sent back "home" (don't tell them "home" is Champaign Urbana Illinois) if you can't find a job -- and that you'll be willing to take a big pay cut and live in a beehive to stay in "America". Do it with the appropriate accent. They'll hook you up with a "community organizer".

Comment Didn't they see "The Internship"??? (Score 2) 349 349

If non-technical guys like Owen Wilson and Vince Vaughn played in "The Internship" at ages 46 and 45 respectively can get jobs at Google, what's wrong with the rest of these no-talent old farts? This smells like envy, if you ask this faithful movie-goer.

Comment Social Science (Score 1) 892 892

If your favorite social theory is being tested on the masses, when things good, it is because of your social theory and when things go bad they are going as good as they could have gone in all possible worlds.

That's why those who object to your social theory don't need to be consulted for their consent prior to your experiment being run on them. Indeed, if they strenuously object (say, because an aspect of your social theory is that "sexual pressure ushers, guides or shepherds the process of sexual awakening" in your prison system), their extremism is a clear and present danger to the stability of society and it is only reasonable to preemptively treat their psychological disorder, with or without their consent.

Comment Tax Net Assets, Not Actions (Score 2) 79 79

The primary function of government is protection of property rights. Early anarcho-capitalist Lysander Spooner described all legitimate government as a mutual property insurance company. Guys like Gates, and now Zuckerberg, should be taxed on their net assets, not on their actions (ie: not on income, capital gains, sales, value added, inheritance, etc...) as that is the closest thing to a property insurance premium.

Comment A part what? (Score 1) 221 221

Are we now to revisit the apartheid era with the emphasis on PART as the white supremacists in South Africa (you KNOW they're still there) start harvesting organs from hapless African men in order to retain the sexual fidelity of their Jungle Fevered wives without beating them (the way you just KNOW they beat their children and even dogs)?

Comment The Pagan Bible (Score 1) 187 187

From the description of "The Devourer," it sounds like Cixin could relate to "The Pagan Bible" by Melvin Gorham and "The Social Conquest of Earth" by E. O. Wilson.

Both describe civilization as a eusocial superorganism -- with Gorham being more pessimistic than Wilson as to the potential for containing its ecological conquest of sexual species.

Comment System Development Foundation (Score 1) 45 45

Its "System Development Foundation" not "System Development Corporation" and Charlie's full name is Charles Sinclair Smith. He's semi-retired now and living the next county over from me in southeast Iowa where we've been collaborating on a couple of projects -- one of which is to photosynthesize all of the CO2 effluent from US fossil fuel power plants (as Charlie got his start co-founding the Energy Information Administration of the DoE under Carter).

Its ironic that in the 80s I was living in La Jolla, which was an epicenter of the neural net revival at UCSD, had taken neural net courses from Robert Hecht-Nielsen and by 1990 had prototyped the highest performance neural network image processing system (as Neural Engines Corporation) -- but I then later worked with Charlie for almost 15 years before discovering he had had played such a key role in the revival of neural nets. Even more ironic is that, circa 2005, I came up with the idea for the Hutter Prize for Lossless Compression of Human Knowledge -- based on Hutter's entirely different, top down mathematics approach to AI -- and Shane Legg, founder of Deep Mind, which is largely identified with deep learning neural nets, actuality studied under Hutter and achieved Deep Mind's famous ability to learn to play video games using Hutter's approach but everyone thinks that capability is uniquely attributable to deep neural net learning alone.

Comment War, Not Aggression, Is the Failing (Score 1) 532 532

Virtually all sexual species exhibit aggression. The problem is war, not mere aggression. And this problem goes beyond mere conflict between human groups. E. O. Wilson's "The Social Conquest of Earth" describes how group selection dominates the environment and, in the case of human eusocial organization, degrades biodiversity.

The price of civilization is eusocial organization and the price of eusocial organization is war.

One way of addressing this failing is to turn civilization outward, away from the biosphere, toward "war" on lifeless rock in space -- converting it to life -- leaving the biosphere free of human eusocial organization.

Is there a place for humans in the biosphere?

Yes, but only if individual sovereignty is ruthlessly enforced.

Like punning, programming is a play on words.