skysight-inc/HackerNews huggingface dataset:
Thanks! I am definitely interested in CW for myself. I've been nervous about reaching out, but have been listening in to local repeaters just to get a better idea of everything. This will be really helpful!

-KM6IBI
Sip I/O a sip server built with JavaScript and the JVM because YOLO
I've read all the books you mentioned other than Slapstick and agree with your synopsis and recommendations.

I'd personally start with Cat's Cradle over Slaughterhouse Five. Deadeye Dick is strange and hilarious, but probably better after reading a few of his books first. :)
See also: archive.org's archive of the old wiki page: http://web.archive.org/web/20160709095702/http://c2.com/cgi/...

FunctionalProgramming

* where the value of an expression is computed, usually close to the lambda calculus.

* or to put it differently: where the fundamental operation is reduction (of applicative terms).

ImperativeProgramming

* where cells in some sort of memory are filled and overwritten with values. Inspired by the TuringMachine and curiously never mentioned in the above table (or to put it differently: where the fundamental operation is assignment.)

* Actually, this generalizes to the fundamental operation being communication. The common case is simply communication to a cell maintained by some memory service (you send either a 'set' or a 'get', or possibly an 'apply-function' as needed for atomic ops or fast XOR processing). The more general case can consist of sends and receives on a fully networked, distributed model.

* * (different author replying) Actually, this "generalization" sound much more like the ActorsModel, which is no where near ImperativeProgramming, actually the actor model is much more similar to FunctionalProgramming than it is to imperative programming.

LogicProgramming (and ConstraintProgramming)

* where a solution to a set of logic formulas is sought; very declarative and incorporating some sort of search strategy like backtracking.

* or to put it differently: where the fundamental operation is satisfaction of a predicate.

* ConstraintProgramming envelopes LogicProgramming, since any logic domain can be expressed in terms of a constraint system, but the inverse is not often easy to express (due to the more strictly typed variables in LogicProgramming). However, the fields are disparate enough to have been split into LogicProgramming, ConstraintProgramming, and ConstraintLogicProgramming. (ConstraintAndLogicProgramming). This sort of programming is also called 'DeclarativeProgramming', but the word 'declarative' is somewhat overloaded.

That's it! Everything else is built on one of these three paradigms (Functional, Imperative and Logic), while sometimes incorporating elements of the others.
Go Web Examples
It surely has improved (replication and failover are much easier now, than they used to be), but still not anywhere close to "just give other node's address and we're good". And that BDR thingy for master-master stuff is still an unofficial fork (although, as I get it, it's from one of main Postgres contributors, so it's really close)
I have a similar opinion -- though I dislike Timequake more ;)

Both Cat's Cradle and Sirens of Titan I thought were great.
At night sure, in the day time the sun is adding heat across a wide band of frequencies. This heats up less, but does not drop below ambient temperature in full sunlight.

PS: You don't actually need a thing special at night to get this effect: http://www.asterism.org/tutorials/tut37%20Radiative%20Coolin...
Last time I visited C2 it was just a site that served up HTML, what is this new async loader business it's doing?

As a result, I can't see the actual content... I assume the three paradigms were:

1. Imperative

2. Functional

3. Logic-based?
But "at a high level of abstraction" and "leverages non-determinism" still isn't enough to get to "goal oriented". Garbage collection involves both of those things. So does JIT. And constraint-based layout engines. Although that last one, unlike the first two, is goal-oriented, right? Is there a pattern?
Omg amazing. Good find! :)
It's the original wiki. The article was written by a variety of people, probably in a conversational style.

I believe the wiki was recently rearchitected, which would explain why it doesn't scale any more :P.
Plug for my compilers course, which is incremental and uses some of the ideas from sibling comments re: emitting assembly and Ghuloum's great work. Last time I posted it on HN, someone got back to me in a few weeks that they'd successfully gone through the assignments, so it seems at least somewhat concretely useful:

https://www.cs.swarthmore.edu/~jpolitz/cs75/s16/
Noted in an existing GitHub issue from remodeling: full service static site - https://github.com/WardCunningham/remodeling/issues/2

That would allow for a return to cachability for archive.org.
Right, and what the poster above you was saying is that people will sacrifice in that regard (or they simply don't care) to gain the benefits of living in an urban area like the culture, food, close proximity to bars and nightlife, etc.

This isn't a black and white issue and it always disheartens me when people are so quick to trash the Bay Area.
I was planning in use Corsair Hydro H60 (http://amzn.to/2k9a9O1).

However, I wish to have a quiet system, and my brother have it and it sound louder than I wish. I don't plan on overcloking.
c2.com is unusable js crap. Hoped I'll never see that in my lifetime.
All these data on SF salaries missing the point that SF is not about high salary etc

You have some of the brightest and intelligent people of the world in one place. It is like Athens in Ancient Greece,
I'm not sure I get how the beads re-radiate energy at 8 microns that came in at other frequencies. If the energy didn't come in at a different frequency, then the building isn't going to end up any cooler. If it did, then the beads are essentially phosphorescing in the IR region, aren't they? Or exhibiting some other form of nonlinear conversion?

That would be pretty cool, no pun intended.
I don't really know, I haven't seriously used unstable. That being said, I like testing because the packages are generally new enough for my purposes but they've also had more vetting, so I don't have to worry about a broken system as much.
Yep, the parts I wish to use need some hacking. Supposedly kaby lake + nvme can be made to work. I don't need 10 cards, I can keep the 750ti
I'm in the same boat, but I feel like the problem is tying the commits to the user stories. Ideally you'd be able to make multiple commits to implement a single user story where it can't be done with a small amount of code.
An array still isn't a part of the problem domain, for most problem domains. It was introduced as part of your solution but it isn't in the same vocabulary.

A great example of transferring between problem domain language and implementation language is in game scripting. The game might have internal stuff for allocating actors and giving them various attributes, with asset references, state machines, etc. But when you go to script your behavior what you want to work with is "do this sequence of events in order, sometimes pausing, interrupting or branching it." And while you can do this by formalizing a new state machine each time, that's actually too powerful an abstraction to use to populate a script-heavy game full of one-off cutscenes, and many games will therefore go domain-specific and create a special cutscene system that limits the range of programmability.

So what I see goal oriented programming (and related ideas like model-oriented or intentional programming) arguing for is more along the lines of "principle of least power" - instead of wielding the most powerful abstractions directly, you invent a less powerful one to drive them, often compiling from less power into more power as a build step.

This is different in nature from high level abstractions intended to add more general-purpose leverage and user control over the problem definition, which garbage collection, metaprogramming, and formal-proof tools aim for.

There are many problem statements which operate on constant memory or employ a predetermined set of algorithms with known memory usage patterns, and they might employ one or more of these high level leverage tools as an intermediate to compile the definition to running code, without the user model or the runtime model needing them.
I think the point of the post is valid: it can be hard to work with a schemaless datastore. I think Cassandra is the only one you listed that supports type enforcements.
Indeed. C2 was the first wiki, and these implementation details show why for a long time such a promising concept never went as far as it should have. The standard 'template' approach of wikipedia pages, and the clarity regards edit history were a great step forward.
I wish i could look it up but the site seems to be down. I've seen it before.

But it sounds like something I experienced before. You struggle to try to understand what this "new" thing is that's hot and it doesn't seem new to you at all. It frustrates you as you see other people talking about it excitedly and you feel like you're missing something.
In my experience that's all it is. It's not new but a different spin on a long established and understood concept.
Programming is a blue-collar job
fwiw
https://www.enterprisedb.com/postgres-plus-edb-blog/marc-lin...
There are a lot of great people who don't want to move to the US.
My rule: If it can fit on a single hard drive, it's not big data.
The thing that distinguishes genuine "declarative" or "goal-based" programming is that the order of expressions in the source language doesn't affect the order of execution[0].

On the other hand, I see the level of abstraction as (roughly) the average number of machine instructions executed for every statement or expression in the source language.

With these two definitions, its clear that while "declarative" languages will almost necessarily be at a high-level of abstraction, you can also have languages that operate at a high-level of abstraction without being declarative.

caveat: the original link wouldn't load for me, so I don't know if my response makes sense in light of the original article.

[0]a more technically correct definition is provided by David Barbour https://awelonblue.wordpress.com/2012/01/12/defining-declara...
So, there are a few ways to handle it. DRF gives you a REST-oriented paradigm to work with, but in standard Django, you can do class-based views with either get, post, etc methods, or you can use generics like "ListView" and just provide some stock methods like get_queryset to flesh it out.
How much are your housing costs? Except for people who got in with rent control, I see very few apartments that cost less than $2500, and that's for a single bedroom.
Us-west-1 is having network issues
Out of curiosity, where does biotech, or specifically bioinformatics fall on a scale like this?
To be fair, if the machine also tells me it deposited the cost of the ticket back in my account, plus $500, and gives me the option of either 1) A hotel stay and a ticket for tomorrow, printed right there, 2) A list of other flights going to the same destination today, which I can book/check-in from the terminal.

The pain is a lot less, though possibly still slightly less unsympathetic, depending on the mood of the attendant you'd otherwise have gotten.
One of the canonical examples of goal oriented programming would be sorting a list.

Rather than expressing how to take an arbitrary list and rearrange the elements so that they're sorted you express what means for a list to be sorted and let the algorithm figure out how to get there.

* An empty list is sorted.

* A single element is sorted.

* If one splits the list into its first element and its remainder then it is sorted if the remainder is sorted and the first element is less than or equal to the head of the remainder.

This doesn't lead to an efficient sort but it is enough for an algorithm to take any list and produce its sorted form. You can, with the right constraints, get a goal oriented system to carry just about every sorting algorithm and the benefit is that they're really concise and they read like the high level pseudocode you might see in an algorithms class.
Actually, I agree with him/her. Using decimal points where commas belong, and vice versa, is an insanely stupid idea. People (and countries) who promulgate such ideas should not be encouraged. It's just begging for a Mars Climate Orbiter-type disaster.

I reeeeallly don't like it when I have to think about whether my bench multimeter is reading 115 volts or 115 millivolts.
spacemacs sounds interesting. first item I ever heard of it. will give a look b/c emacs scares me.
Error:

Trouble Encountered
http://c2.com/wiki/remodel/pages/ThereAreExactlyThreeParadig...
can't fetch document

See github
link: https://github.com/WardCunningham/remodeling/issues/2
> Microsoft SQL server Express/Compact/whatever is not an effective replacement.

Why not?
You can make C++ generate a ton of code from template abuse. It doesn't make it a higher level of abstraction. It can be perfectly imperative code.
Yes a bit due to asymmetry in the phase inverter circuit driving TD push-pull, but mostly because the odd harmonics are naturally cancelled out in the output transformer.
There was an edit history.

If you look at an archive.org of the old site - http://web.archive.org/web/20160709091504/http://c2.com/cgi/... for example, at the bottom the edit date is a link. That took one to the edit history showing the IP address that made the change and the diff. It was also something that was robots.txt'ed and so isn't in archive.org.
Say Hello to the Super-Stealthy Malware That’s Going Mainstream
It's sometime called an outliner.

I use OutLinerPro on iOS every day. It's now called Simple Outliner. On the Mac I recently bought OutlineEdit. It seems OK.
>If you don't work for Netflix or Google or Facebook or insert maybe a hundred other companies here, you probably do not have a Big Data problem.

I disagree over here. I have worked across multiple scenarios which warranted big data solutions and such solutions were not feasible before Apache Spark and such were available. Even our current startup (www.aihello.com) has 8.7 million products and calculating LDA + Cosine Similarity reaches trillions of matrices which is simply not feasible with traditional tools.

Telstra/Sensis, the telecom company in Australia that I consulted for, went from a month delayed reporting to near real time reporting due to apache spark.

Also keep in mind that the scale of data is growing exponentially for all of us since storage is getting cheaper and big data analysis is proving game changer in many scenarios.
This is a localization (localisation?) issue: different locales have different conventions. It is important to decide on a standard on, say, a project. In the case of an international forum like HN, it makes sense to ask for clarification when necessary. Even if a convention were added to the FAQ, there will always be those who aren't aware of the convention. Cut each other some slack, at least until the HN community decides to launch a satellite.
Agreed. My partner is a Wine Educator and this is one of her favorite rants. Consider the costs of getting wine onto a store shelf:

- Glass bottle

- Bottling & Labelling

- Transport

- Cork/closure

- Taxes (29% here in Aus)

- Retail Markup - 25-50%

- Promotions, payment processing, business overhead, etc.

An eight dollar bottle of wine does not leave a lot of money for grape growing, harvest, wine making, aging etc, all the good stuff that makes wine tasty. Probably under one dollar.

Some grape varieties cost a lot more than others, e.g. Pinot Noir is expensive to grow and harvest because it has thin skins and so is easily damaged. However, any recent vintage bottle that retails for more than $100 is about meeting a market price point, not production costs.
It seems that having great speech to text would make remote teams workable. Meeting notes are automatically taken and organized into a searchable journal
> I don't plan on living in the Bay Area long-term
Interesting! Thanks for explaining it :)
havent watched that one, will have to do it I guess haha
A perfect example of how a low-effort and non-substantiative comment can rise to the top as long as it is amusing.
Discussed earlier today https://news.ycombinator.com/item?id=13609762
There have been a few successful goal-based programs. Not many.

- TK Solver [1] Once called "the crooked accountant's spreadsheet", it's a spreadsheet like program where you can change the outputs, and it will try to compute a consistent set of inputs. Good for "what if" problems.

- Kang. This was an early hacking program. It took a set of attacks, and given a starting state (such as "user not logged in") and a goal state ("kernel mode execution") would try to use its tools to reach the desired state.

- Map route finders. Specify start and goal, and a route is generated.

[1] https://www.uts.com/ItemDetails.asp?ItemID=0100-50-0010-00
They have published a blog post with a short explanation http://blog.instapaper.com/post/157027537441.

The post mentiones an uptime of 99 % for 2016 and it's true - I cannot even remember when the service was down last time.
Any way to do the remap with Gnome on Linux?
Title has been editorialized.

Actual title: Time for Tesla to Listen
The right therapeutic level of dosing can do great things. If your brain is stingy with dopamine (due to a variety of causes) just the right size dose of amphetamines to get the dopamine up to "normal" levels does the trick. I think it is why so many ADHD sufferers that become really successful at managing it become runners/distance athletes. The regular 5+ hrs of running is just another way to squeeze the dopamine and such out of our brains :)
Segment length can be set to 1 second, if you're brave. 5 seconds for live streams just happens to be the most commonly reached compromise.
There's some truth in what you say, but there's a leap that we have not yet been able to make. The way I think of it, anyway, is that we'd like to specify just the contract (preconditions and postconditions) of a module, and have an efficient implementation synthesized automagically (complete with well-designed submodules with their own contracts).

That capability would be more than just another rung up the abstraction ladder.

Interestingly, the problem of reasoning about programs at that level seems to be pretty nearly "AI-complete". This is true even though it's a formal domain -- one doesn't need, for example, the intuitions about the behavior of physical objects that we humans acquire through years of experience, nor an understanding of human behavior and emotions, etc. etc. We work pretty hard to make sure the behavior of a program is predictable just from understanding the program itself (there are occasional exceptions, of course). Yet even reasoning in such a restricted domain, about even very pedestrian programs, is beyond the state of the AI art at the moment.
You're right, they're not enough. I guess it really boils down to making the computer reason about the data it has to achieve a goal or answer a question, rather than applying algorithms to data. The algorithms are intrinsic and hidden. https://en.m.wikipedia.org/wiki/Reasoning_system

Constraint based layout engines are such an example. Business rules engines are another. It's the fuzzy dividing line where we start considering programming techniques to be AI instead of conventional. This line is somewhat arbitrary based on history.
Thanks! I'm gonna check it out.
I hope Mr Moran has another job lined up.
Not much left in Seattle under 500k. The market is pushing the prices even higher.
Looking for an intern/coworker? I also want to ride the waves early. I am roadtripping from Boston to SF and need place to stay. Will code or file your taxes if I can also surf and learn from you. :)
State to stop paying Flint's water bill, ending credits for residents
Could you share some of those problems? (genuinely interested)
Seattle average is 180k and Austin is 198k. That's insane. What companies are offering this crazy salaries?
> Can they write good code?

This is the most important but also impossible for non-technical managers, or even technical ones that were never that good themselves.

Are there companies out there the do independent audits of developers/code quality? If always wondered if there is a business opportunity there.
This has actual cooling capacity. From the publication:

"A 72-hour continuous measurement of the ambient temperature and the surface temperature of an 8-in-diameter hybrid metamaterial under direct thermal testing. A feedback-controlled electric heater keeps the difference between ambient and metamaterial surface temperatures less than 0.2°C over the consecutive three days. The heating power generated by the electric heater offsets the radiative cooling power from the hybrid metamaterial. When the metamaterial has the same temperature as the ambient air, the electric heating power precisely measures the radiative cooling power of the metamaterial. The continuous measurement of radiative cooling power over three days shows an average cooling power > 110 W/m2 and a noon-time cooling power of 93 W/m2 between 11am – 2pm. The average nighttime cooling power is higher than that of the daytime, and the cooling power peaks after sunrise and before sunset. The measurement error of the radiative cooling power is well within 10 W/m2 (32)."

Fans won't drop temperatures below ambient. This will.
Ah sorry about that, missed it and didn't see it on the front page. Looks like the hash added the the URL didn't catch it as a duplicate
Derailing the intent of your parent comment and then taking the higher ground...good job bud
Care to share why?

My apologies if you have street cred in the field, but I don't know you, so have no reason to trust your recommendation. Please tell me what makes this particular project better than any alternatives.
isn't air temperature control the largest energy expense in most countries' homes?
Just a heads up, your other site tournative.com has an expired SSL certificate and Css is not loading correctly on mobile.
> such as a certain user can only see public fields of other users

In Graphql, the solution is usually to return `null` for restricted field. This is arguably better security than raising unauthorized exception, since attacker can't differentiate having no permission to having no data.

> You can only change your vote after 10 minutes

This in done in mutable action, which can have permission check inside.
Its the little things in life sometimes.
I think the short answer to deconstruction is that meaning comes from the regularities of the human body and the world in which it lives. However, contrary to much (but certainly not all) Western philosophy, this meaning cannot be fully described in a single set of precise concepts.

I think the key to understanding deconstruction is that is is what the French left became when it lost its faith in the Communist movement, but still wanted to maintain a hope in bringing about a radical new world that would overcome all the problems of the modern liberal industrial era.
This is especially true for new grads who are willing to share an apartment. Student loan also doesn't scale with COL. For frugal engineers without family, SF Bay Area or Seattle can make a lot of sense.
I had never seen that before, and I read news for a few hours every day.
https://news.ycombinator.com/item?id=13607407
User friendly in terms of I don't have to read documentation or learn anything to install it. Like windows or OSX.

I'm sure Arch for what it is trying to be is user friendly in that sense, but it's not what I'm looking for right now.
Because the post you originally responded to was contrasting Tesla's (alleged) treatment of its employees with its save-the-world ethos in order to question the sincerity of the latter.

By adding the "if necessary" bit you turned it into a trolley problem which misses the point entirely.