skysight-inc/HackerNews huggingface dataset:
Start-up project web developer [UK – London]
Hello everyone,

I am an avid reader of the forum and thought I would post a start-up project listing here.

The start-up’s key product is centered on the virtualization of work and the way we interact to deliver services. This is a one-in-a-kind type of idea, and we firmly believe our website has the potential to pave the way for a virtualization that will become increasingly common in the future.

With regards to the team, we are two friendly individuals working on this project (one is currently a postgraduate at the University of Oxford and the other is a financial analyst in the City). We are looking for a web developer to join the team to spearhead the development of the product.

This is currently a side-project that we work on every day and as such we are looking for someone equally disciplined and passionate about disruptive change. There is no remuneration due to the infancy of the project but equity is on the table as we are looking for a partner. This is why we would be delighted to hear from those of you that are not only talented coders, but that have a wider intellectual curiosity when it comes to strategy and what makes for a great user experience.

We have a preference for coders/full-stack developers capable of working on both the client and server side and with knowledge of some of core languages (e.g. Python/ Ruby, Java, HTML, CSS…). Location wise we are based in the UK, but are open to CVs for a remote type of work.

Minimum qualifications:

•	BSc or MSc degree in Computer Science, related field of study or equivalent practical experience.

•	Web application and/or Mobile/tablet development application experience in one or more general purpose programming languages.

•	Communication skills in verbal and written English.

If you think that this project is something that could interest you, and would like to discuss about it further, please send us your CV and questions at: matt.farnarier@gmail.com

Best,
Matt
Reading news this days is becoming crazy:

1) Something happened

2) You google for it, confirmation

3) Then you google for something opposite

4) You find another 20 news sources confirming the opposite

I would really welcome the source (TEPCO in this case) to be open and publish just raw numbers.

If they are brave like gitlab a live stream would also be nice.
Problems with emacs:

* some languages are not included by default
* some very good extensions are not included by default also (ace-jump)
Well, the sort of irreverent crackpottery that made up life in the first dot com boom doesn't really fly right now.

If you've read the "Life in the Boy's Dorm" series by Nancy Hauge, the power dynamic was very different then. Sun's engineers refused to stop smoking pot for the visit of the President (or Vice President, I don't remember which) of the United States. They promptly put on a protest against The Man when asked to cut out the potheadery. Completely unreasonable, and downright hilarious in their adherence to their principles, as illegal as that may be. That's not an engineering thing but it's emblematic of the wild seat-of-your-pants approach that characterized the Gold Rush years.

It was inevitable it wouldn't last, though. The market learned to harness this unbridled power and direct it along the appropriate channels. And that combined with a greater spread of information means that non-standard actions will meet the weight of the community.

Sun's cannabis-powered engineers unwilling to give up their fuel source weren't a well known thing and that may have helped. The thing with "break the rules" mode is that everyone wants you to follow the rules. If everyone knows you're willfully breaking the rules (often just for the sake of it) you will be hammered down. The justifications come afterward, and they're always easily accessible. After all, you _are_ breaking the rules. The broader the reach of news, the more conformist the reported must be if they are to get away with their actions.

Cormack and Romero ghost shifted on computers at their daytime employer. Philippe Kahn started Borland while illegally in the United States. How much of this would you tolerate? Probably little. Probably neither of those actions.
There is no objective mathematical reality, because it cannot include a statements about its own consistency

I'm assuming we're talking about Gödel's incompleteness theorems?

Don't they just say that if there's such a thing as objective mathematical reality, it can't be effectively axiomatized?
Deep learning is a game changer for image processing (that should be fairly obvious to anyone reading HN). It still requires a lot of expertise to use, but it's enabling people to do things that were previously extremely difficult or even impossible to achieve.
Are you aware of the concept of periods ? This is a quite fascinating, countable, ring of numbers, that captures all of the above:

Kontsevich and Zagier introduce and develop this concept quite far:

http://www.maths.ed.ac.uk/~aar/papers/kontzagi.pdf
The axiom of choice always seemed intuitively wrong to me. You can't just take a set and arbitrarily pick something out of it! Making a choice requires information, and you can't pluck information out of thin air at whim; applying the axiom amounts to creating information out of nothing.

I suppose this is because i'm not a mathematician, but have a natural sciences background. In the physical universe, memorably, "the law that entropy always increases holds, I think, the supreme position among the laws of Nature" [1], and so we do not accept the mathematicians' fake information.

More specifically related to choice from a set, Curie's principle that "when certain causes produce certain effects, it is the elements of symmetry of the causes that may be found in the effects produced" [2] forbids something uniform from becoming arbitrarily non-uniform; whenever that appears to happen, there must be some hidden cause which already carries that non-uniformity.

[1] https://en.wikipedia.org/wiki/Second_law_of_thermodynamics

[2] https://hal.archives-ouvertes.fr/jpa-00239814 - "Enfin, lorsque certaines causes produisent certains effets, les éléments de symétrie des causes doivent se retrouver dans les effets produits."; please excuse the not-so-literal translation
Lots of people, apparently. http://newatlas.com/david-mayman-vtol-flying-car-jpa-intervi...
I know he was talking about the audio, but my critique works both about flash in general and about audio support in particular.

ELEVEN YEARS ago Flash was already capable of both playing and recording audio from multiple sources, using several different codecs and offering the usual bells and whistles you're expected to find in any multimedia framework (vis.eq., channels, etc). And everything working exactly the same way in every browser equipped with a flash player.

And I'm taking eleven years ago because that's when AS3 was released. Flash had considerable audio support before that anyway.
I have a small screen with my laptop so I can only fit one terminal. It's pretty handy to change terminals all the time. Also it's handy to have all the terminals I was using popup again when I'm rebooting my computer (tmux-ressurection)
autonomous cars & swarm control
the video doesn't work for me. HN hug?

EDIT: I think it opens up as a pop up to here: https://www.youtube.com/watch?v=Ca0BHUNoTF0&feature=youtu.be

EDIT2: CONIKS starts at around 40 minutes https://youtu.be/Ca0BHUNoTF0?t=2379
If you're looking to install OpenVPN, can I suggest you use the following bash file?

> https://github.com/Nyr/openvpn-install

It automates the process of installing & creating OpenVPN, and means so that anyone who can download a file & run a bash file will be able to make a VPN.
Thank you for the lovely words!

We certainly do put a lot of care and efforts into producing a high quality software product that is not only open source with a liberal license (MIT) but which is also developed in the open (we're happy to invite anyone to our Slack team at https://appleseedhq.slack.com where all development discussions and decisions take place).
Same setup with a bunch of pdf open as well. Any idea how I could stop having so many papers open? (I'm on macOS)
I see lots of companies offering competitions where you have to comment on a post and sometimes tag a friend to have a chance to win something. If instead of doing that they required people to signup for their newsletter, then they would use Facebook for farming new subscribers, which is a relationship they own (they probably have to pay for the sending service, but that is like me having to pay for gas: I am not beholden to a monopoly).
That's not a bad answer though - it demonstrates you understand the value of those things we should have had years ago, and might include things which aren't being worked on yet (even though they should be).
Are the computable numbers continuous? If not, is that a problem for analysis? If so, can you construct some computable analogue of continuity which is sufficient?
It's "back" as much as a zombie is "back". Yeah it works on the latest OS, but several features are broken.

Shoutcast still working is a little miracle. Though I am quite pleased with the Podcast Downloading feature w/ RSS. ( for example you can pull stuff from soundcloud )
Compilation:

- Meta-tracing, e.g. PyPy.

- End-to-end verification of compilers, e.g. CompCert and CakeML.

Programming languages:

- Mainstreamisation of the ideas of ML-like languages, e.g. Scala, Rust, Haskell, and the effect these ideas have on legacy languages, e.g. C++, Java 9, C#.

- Beginning of use of resource types outside pure research, e.g. affine types in Rust and experimental use of session types.

Foundation of mathematics:

- Homotopy type theory.

- Increasing mainstreamisation of interactive theorem provers, e.g. Isabelle/HOL, Coq, Agda.

Program verification:

- Increasing ability to have program logics for most programming language constructs.

- Increasingly usable automatic theorem provers (SAT and SMT solvers) that just about everything in automated program verification 'compiles' down to.
Thanks! You're right, Maxwell and appleseed have a lot in common: both are (or can be) unbiased spectral renderers with animation rendering capabilities. They also both have a "studio" GUI application for scene composition, inspection and rendering.
There is pushing the boundary on regulation as a political act and there is pushing the boundary so that you gain competitive advantage over companies that follow the law.

There is element of idealism in pushing for open crypto which is simply missing from what (for example) Uber is doing. Uber behavior is closer to what Microsoft used to be doing (not in power, just in ethical considerations) then to what crypto pushing projects were doing.

"Not to mention whatever is/was happening between SV and the intelligence agencies. It's pretty hard today to find projects or communities that have similar levels of energy and disregard for rules."

What is happening between SV and the intelligence agencies is oftentimes disregard of the rules. The only difference is that their disregard for rules does not benefit you - but lawbreaking being done for benefit of random strangers is rather exceptional thing.
No, but this looks interesting. Thanks for the reference!
ASCII was invented in 1963, so the author's statement that Telex was ASCII-based is probably wrong. Is the rest of the article also as inaccurate?
Didn't they had two copies? (staging server and LVM snapshot)
Makes sense. I don't see what the big deal is, surprised to see this at the top of the front page? I had to double check I wasn't looking at /new
Ask HN: Is demand for mobile developers dropping?
I spoke to a recruiter the other day and she said that demand for mobile developers is not even close to what it used to be.
Indeed, there is no shortage of open source ray tracers and renderers. That said, there are very few open source renderers with full OSL (https://github.com/imageworks/OpenShadingLanguage) support and the required features for animation and VFX works. I actually know only two (both actively developed): Cycles and appleseed.
There really is no such thing as a free lunch. If you want to skip having to learn the native platforms, you're going to have to put up with your app having at least one giant external dependency in it.

(Native iOS app developer here, dabbled in React Native and went "nope" as soon as I saw how it worked and how heavily it depended on 3rd party components.)
> Don't they just say that if there's such a thing as objective mathematical reality, it can't be effectively axiomatized?

No they don't. Real space doesn't appear to be infinite, and Zn is not subject to Godel's incompleteness theorem.

If you drop the requirement of infinite numbers and "recursive" infinites (e.g. real numbers), as reality appears to do, there is no problem.
Deep learning architectures built by machines (so we no longer have to design architecture to solve problems) https://arxiv.org/abs/1611.01578

Transfer Learning (so we need less data to build models) http://ftp.cs.wisc.edu/machine-learning/shavlik-group/torrey...

Generative adversarial networks (so computers can get human like abilities at generating content) https://papers.nips.cc/paper/5423-generative-adversarial-net...
I think that's actually just bash messing with you. Bash implements it's own erase-word and binds it to whatever is set to werase in the terminal, so if you don't clear the werase entry bash will just keep rebinding it every new prompt. It's definitely not the kernel's doing - for example vim, which also uses raw mode, can use C-w just fine, and the functionality bash gives to C-w is different from what the kernel provides.
> (what company is even working on flying cars?)

For example http://www.aeromobil.com/ or http://lilium-aviation.com/

I'm personally are rather disappointed that we still don't have a moon colony. Making that happen is unfortunately not part of my field.
It's all subjective, but as a data analyst I'm excited about probabilistic databases. Short version: load your sample data sets, provide a some priors, and then query the population as if you had no missing data.

Most developed implementation is BayesDB[1], but there's a lot of ideas coming out of a number of places right now.

[1] http://probcomp.csail.mit.edu/bayesdb/
I'm honestly just super-pumped about any artificial intelligence system that's starting to get an intuition of physics.

Google's Deep Mind put out some kind of cool stuff recentely [1], but I'm mostly just excited for anything that Ilker Yildirim [2] is doing with Joshua Tanenbaum, because it seems to triangulate more with how humans think about physics. When I was at CogSci 2016, Joshua mentioned combining this with analogical reasoning and that also sounded super cool, even though I'm not sure how to the two fit together.

[1] https://arxiv.org/abs/1612.00222
[2] http://www.mit.edu/~ilkery/
What information are we going to lose when it's deleted? Will IMDB consider handing the data to the Internet Archive?
Location: Ukraine

Remote: yes

Willing to relocate: not now

Technologies: Python, Django, Javascript, jQuery, Tornado, Asyncio, Celery, Redis, C++

Résumé/CV: https://www.dropbox.com/s/seva99xlc78q08m/CV_Alexander_Kaluz...

Email: alexander.kaluzhny@gmail.com

LinkedIn: https://www.linkedin.com/in/alexanderkaluzhny/

Python developer. Have 6 years of C++ experience as a corporate employee of the outsourcing software development and the product-oriented software development companies. Focused on development of web backends and backend components. Interested in development of high-load web services.
My field is web development, and, to be honest, the most exciting thing going on is that more people are starting to complain about the complexity of development. Hopefully this will lead to people slowing down and learning how to write better web software.

As an example, one survey (https://ashleynolan.co.uk/blog/frontend-tooling-survey-2016-...) put the number of developers who don't use any test tools at almost 50%. In the same survey about 80% of people stated their level of JS knowledge was Intermediate, Advanced or Expert.
Is there any evidence to back this up?
Thanks! Our target is about one release roughly every three months. We've somehow managed to maintain this cadence for nearly 8 years now.
I disable my Terminal.app buffer. If not in tmux, can't scroll back. All scrolling and copy and pasting is done with tmux. Also use vi keybindings so I select text and copy using same keys in vim and tmux.
This is excellent. You should put your contact details in your profile.

We do disease (and other) predictive modeling and I'm looking for people interested in the field...

Edit: my contact details are in my profile. My group funds and does engineering for work like https://arxiv.org/abs/1609.08283
On the low-volume boards for not-so-popular movies, I've found some of the posts incredibly valuable, and all of that is now going to be out of the reach of search engines.
"coinbase" is a term from the bitcoin source code[1]. The company came later.

[1] https://github.com/bitcoin/bitcoin/blob/master/src/coins.cpp
Absolutely.

(It is pronounced "ziff-skick-squirtle-ubb-liorate" not "ziff-skick-squirtle-oob-liorate" isn't it?)
And not much of value was lost. Those boards had terrible usability. IIRC not long ago you could only see one comment per page and had to click on every single comment to read the thread.

That changed a little while ago but you still have multi-pages for comments and it's hard to keep track of who replies to whom. They also have these weird signatures which are completely impossible to distinguish from the body of the comment unless the poster used a different color or something.

Not that the discussions were generally very insightful, mostly celebrity gossip and flamewars.
IMDb is one of the biggest websites in the world, and they're deleting a large percentage of the content on their site. Seems front-page-worthy if only for the scale of the content being lost, whatever your view of the value of that content.
Λίμπιντο: 5 συμβουλές για να την αυξήσετε στα ύψη – escorts| athens escorts
You're talking about the opposite of what I said. My implication was

1 billion USD revenue => benefiting everybody

Yours is

Benefiting everybody => 1 billion USD revenue

I stand by the first but not by the second.
The list is of people who underwent a pre-employment biometric background check. So, roughly, anybody who works for a bank, is a public school teacher, acquires a security clearance, or is in the military. The level of "real patriotism" on the list is going to roughly correspond with the "real patriotism" of those groups of people.

I don't understand why there's so much fascination with the idea that this is some protester-busting tool. The article merely posits the hypothetical scenario that some people could be punished by their employer, because their employer might get a rap back and they wouldn't be able to tell it was First Amendment activity as opposed to some actual serious crime, because the FBI and local law enforcement is bad at data entry. Somehow people read that and think that the point of the whole system is "corporate fascism stopping the patriotic protesting democracy" when none of the employers actually care about that. Or in other words, an emergent problem in the system that might occur is being assumed to be the central planned feature of it.
IBM's approach (3270) was pretty different. More structured, with control blocks, first class support for things like user editable fields, etc.

http://www.tommysprinkle.com/mvs/P3270/start.htm
> Selling something to someone is benefitting them.

This is so myopically capitalist. It's like the argument for the free market distilled into a single sentence.

People would not just rather have the good or service than the money; people have no use for money. Money isn't a real thing. It's an artificial construct designed to allow us to exchange goods and services freely and to avoid loss.

Exchanging money has nothing to do with a benefit for the consumer. It is simply an exchange. There is no law of nature that says all exchange is fair, or a benefit. Quite often, the buyers are at a disadvantage. The entire idea of providing for a "need" precludes that someone can be taken advantage of.

If you sell me cancer drugs at $800 a bottle, it benefits me in that my cancer is staved off for a month. But then I have no more money, and can't buy the drugs, and die. Who did it really benefit?
Embedded systems - Wireless Sensors Networks, I know it has been there for long time but IoT would encourage it more. It could enable development of different kinds of devices as well. Look at camera industry for example. There should be more types of sensor to be more popular than just the image sensor. Quadcopter/Drone/AI etc.

In my view, there are still a huge room of applications where wireless and sensor combined, and we already have web/native platforms. This is so exciting development!
I use FreeCAD for my 3D printing designs. It works great on Windows and Ubuntu (not so great on Mac), but for designing enclosures for electronics projects and printing them, it has met my needs. I think it takes longer to learn than AutoCAD's maker apps, but I know i will always have access to my designs. It will be a shame if all of this open hardware for 3D printing, and CNC routers doesn't result in a feature rich CAD application. From what I can see, AutoDesk saw the risk and has inserted themselves with "fun and easy" web based and cloud apps.
> Writing a shell script that wants to read passwords? cat a file which disables input echoing. After invoking readline, cat a different file to re-enable it. "Feature".

Sending control characters to the tty won't do that. Input echo is done in the kernel and you need an ioctl to disable it.
Uber and AirBnB made a billion dollars by having a lot of satisfied customers. Being satisfied is a benefit. In other words, they benefited a lot of people.

The fact that I have to explain this makes me wonder...
- Every real number can be represented as a limit of rational numbers, which are uncountable.
- So for every countable subset you can find a (Cauchy) sequence of rationals that does not converge.

Hence, you loose one of the most important tools in Analyisis (Cauchy criterium for convergence).
You can still work with the remaining set, but formulating and proving theorems, is going to be much harder.

- If integrals over f and g exists, then the integral over f * g does not need to exists.
- E.g. Integrals over bounded regions will not always exists.
- Theorem of Montonic convergence fails
- Function spaces will not be complete (L2).

A nice theory of constructible "periods" has been developed by Kontsevich and Zagier (http://www.maths.ed.ac.uk/~aar/papers/kontzagi.pdf) but it relies heavily on the existing body of Analysis being available.
Just in case:

https://phys.org/news/2017-01-smart-glasses-automatically-fo...
Not a great loss, but it's amusing to read imdb's definition of "ample time" to backup anything of value.
Here's an example of an article that gives partial instructions to build a "TV Typewriter" from 1973:

http://www.swtpc.com/mholley/RadioElectronics/TV_Typewriter....
Do you have any examples where they did that purely on the market, without benefiting from regulatory capture?
Ask HN: Is Gitlab safe now to host side-projects after recent shortage?
>IIRC not long ago you could only see one comment per page and had to click on every single comment to read the thread

That's the case on medium.com right now for comment replies. I was surprised to see how nested comments and replies work there. It's terrible.
This is legacy built on legacy built to work with minimal CPU cycles on existing hardware designed to be compatible with hardware from the 40s.

Yes, concerns aren't separated ;)

A much more recent and far superior design can be found in Windows NT, where things like coloring are done entirely through an ioctl-equivalent (whereas Unix has amounts of in-band signaling, while some later extension use tty_ioctl).